{“id”：“https://openalex.org/W1507296325“，”doi“：”https://doi.org/10.1007/3-540-48958-4_3“，”title“：”逻辑程序合成中的语用学“，”display_name“：”逻辑学程序合成的语用学”，“publication_year”：1999，“publiation_date”：“1999-01-01”，“ids”：{“openalex”：“https://openalex.org/W1507296325“，”doi“：”https://doi.org/10.1007/3-540-48958-4_3“，”mag“：”1507296325“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48958-4_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5082359224“，”display_name“：”David G.Robertson“，”orcid“：”https://orcid.org/0000-0002-0327-212X}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”David Robertson“，”raw _affiliation_strings“：[“爱丁堡大学信息学系”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院信息学系https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5040978128“，”display_name“：”Jaume Agust\u0131\u0301“，”orcid“：null}，”institutions“：[]，”countries“：[”ES“]，”is_corresponding“：false，”raw_author_name“”：“Jaume Agust\u00ed”，“raw_affiliation_strings”：[“IIIA（CSIC），Bellaterra Barcelona，Spain”]，“afliations”：[{“raw_affiliation_string”：“IIIA：[]}]}]，“countries_distiction_count“：2，”institutions_disticent_count”：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc _ pay”：null，“has_fulltext”：false，“cited_by_count）：3，“citected_by_percentile_year”：{“min”：70，“max”：73}，“biblio”：{“volume”：空，“issue”：空first_page“：”41“，”last_page“：”60“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9989，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9989，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9951，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.550734}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.520963}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.512308}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84132993}，{”id“：”https://openalex.org/C11693617，“wikidata”：https://www.wikidata.org/wiki/Q181839“，”display_name“：”语用学“，”level“：2，”score“：0.81090933}，{”id“：”https://openalex.org/C88548561，“wikidata”：https://www.wikidata.org/wiki/Q347599“，”display_name“：”sort“，”level“：2，”score“：0.71173}，{”id“：”https://openalex.org/C2775945657，“wikidata”：https://www.wikidata.org/wiki/Q381442“，”display_name“：”结构化“，”级别“：2，”分数“：0.7067916}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.65546457｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47043866}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.4561318}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.40529886}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.13219386}，{”id“：”https://openalex.org/C23123220，“wikidata”：https://www.wikidata.org/wiki/Q816826“，”display_name“：”信息检索“，”level“：1，”score“：0.11130285}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48958-4_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：7，“referenced_works“：[”https://openalex.org/W1517007512","https://openalex.org/W1988161832","https://openalex.org/W2002319359","https://openalex.org/W2086200448","https://openalex.org/W2107594169","https://openalex.org/W2117322118","https://openalex.org/W2130617267“]，”related_works“：[”https://openalex.org/W756498608","https://openalex.org/W4285395220","https://openalex.org/W4251394462","https://openalex.org/W2486167009","https://openalex.org/W2366107444","https://openalex.org/W2135201366","https://openalex.org/W1898246925","https://openalex.org/W1595575899","https://openalex.org/W1580673008","https://openalex.org/W1510936208“]，”ngrams_url“：”https://api.openalex.org/works/W1507296325/ngrams网站“，”“abstract_inverted_index”：{“Many”：[0]，“of”：[1,39,49,57,69,84104135142148151]，“the”：[2,44,82133]，“systems”：[3]，“which”：[4,59,76]，“we”：[5]，“and”：[6,28107]，“these”：[7]，“who”：[8]，“have”：[9,13,78]，“worked”：[10]，“with”：[11,23]，“us”：[12]，“build”：[14]，“曾经”：[15]，“有意”：[16]，“到”：[17,26,64,80131]，“制造”：[18,60]，“它”：[19]，“更容易”：[20,63]，“对于“：[21]，“人”：[22]，“特殊”：[24,61,85]，“背景”：[25]，“构造”：[27]，“理解”：[29,81]，“逻辑”：[30]，“程序”。“：[31]，”A“：[32]，”major“：[33]，”issue“：[34]，”when“：[35]，”designing“：[36]，”this“：[37,70143149]，”sort“：[38]，”system“：[40]，”is“：[41]，”语用学：“：[42]，”from“：[43,91]，”many“：[45]，”logical“：[46]，”equivalent“：[47]，”ways“：[C8,74]，”描述“：[50]，”A“：[51]，“程序”：[52105]，“我们”：[53,77]，“必须”：[54]，“标识”：[55]，“样式”：[56]，“描述”：[58134]，“任务”：[62]，“支持。”：[65]，“The”：[66139]，“first”：[67]，“half”：[68141]，“paper”：[71144]，“describes”：[72]，“three”：[73]，“in”：[775112121]，“未遂”：[79]，“语用学”：[83]，“domains”：[86]，“using”：[87,97]，“well”：[88]，“known”：[89]，“methods”：[90]，“computational”：[92]，“logic”：[93]，“这些”：[94109]，“是：”：[95]，“设计”：[96122]，“可参数化”：[98]，“组件；”：[99]，“合成”：[100]，“by”：[101]，“incremental”：[102]，“addition”：[103]，“slices；”：[106]，“meta-interpretation.”：[108]，“are”：[110129]，“help”：[111]，“structuring”：[113]，“designs”：[1114128]，“but”：+115]，“do”：116]，“not”：117]，“necessary”：[118]，“provide”：%11]，“guidence”：[120]，“生命周期”：[123]，“-”：[124]，“where”：[125]，“less”：[126]，“详细”：[127137]，“使用过”：[130]，“指南”：[132]，“更多”：[136]，“设计。”：[138]，“第二”：[140]，“总结”：[145]，“一”：[146]，“示例”：[147]，“形式”：[150]，“指导。”：:152]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1507296325“，”counts_by_year“：[]，”updated_date“：”2024-06-15T22:56:57.946965“，”创建日期“：”2016-06-24“}