{“id”：“https://openalex.org/W2108852136“，”doi“：”https://doi.org/10.1007/11799573_24“，”title“：”逻辑过程解释的合成语义“，”display_name“：”逻辑学过程解释的组成语义“，“publication_year”：2006，“publiction_date”：“2006-01-01”，“ids”：{“openalex”：“https://openalex.org/W2108852136“，”doi“：”https://doi.org/10.1007/11799573_24“，”mag“：”2108852136“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11799573_24“，”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、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“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”：true，“oa_status”：“green”，“oa_url”：https://arxiv.org/pdf/cs/0602098v1.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031090793“，”display_name“：”M.H.van Emden“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I212119943“，”display_name“：”维多利亚大学“，”ror“：”https://ror.org/04s5mat29“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I212119943“]}]，”countries“：[”CA“]，”is_corresponding“：true，”raw_author_name“：”Maarten H.van Emden“，”raw _affiliation_strings“：【”维多利亚大学计算机科学系“】，”affiliations“：[{”raw _affiliation_string“：”维多利亚大学计算科学系“，”institution_ids“：[“https://openalex.org/I212119943“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5031090793“]，”对应的机构ID“：[”https://openalex.org/I212119943“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.352，”has_fulltext“：false，”cited_by_count“：3，”cited_by_percentile_year“：{“min”：75，“max”：77}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“315”，“last_page”：“329”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9995，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”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.9959，“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“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.600045}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.543536}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.54345}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.543125}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.53336}]，”concepts“：[{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.6706011}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6561986}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6255118｝，｛”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.588779}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.57540464}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.522831}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5218452}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.5073306}，{”id“：”https://openalex.org/C114408938，“wikidata”：https://www.wikidata.org/wiki/Q333373“，”display_name“：”抽象语法“，”level“：3，”score“：0.4577784}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.45296645}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.4519028}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.43404847}，{”id“：”https://openalex.org/C2039508，“wikidata”：https://www.wikidata.org/wiki/Q7239631“，”display_name“：”谓词函子逻辑“，”level“：5，”score“：0.42727768}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.41460764}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27120307}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.2706148}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.22633895}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.20143282}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.18224835}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.17183444}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11799573_24“，”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、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“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}，{“is_oa”：true，“landing_page_url”：nuld，“pdf_url“：”https://arxiv.org/pdf/cs/0602098v1.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://arxiv.org/abs/cs/0602098“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/cs/0602098v1.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[｛”score“：0.54，”display_name“：”优质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：12，”referrenced_works“：【”https://openalex.org/W1578044518","https://openalex.org/W1592287058","https://openalex.org/W1979966822","https://openalex.org/W2006668087","https://openalex.org/W2017160649","https://openalex.org/W2052436826","https://openalex.org/W2108911687","https://openalex.org/W2113757735","https://openalex.org/W3022987785","https://openalex.org/W4206370914","https://openalex.org/W4251033482","https://openalex.org/W4254453129“]，”related_works“：[”https://openalex.org/W91938043","https://openalex.org/W4251136403","https://openalex.org/W4230105910","https://openalex.org/W2950623176","https://openalex.org/W2585220424","https://openalex.org/W2383225166","https://openalex.org/W2370285767","https://openalex.org/W2108911687","https://openalex.org/W2108852136","https://openalex.org/W1975908952“]，”ngrams_url“：”https://api.openalex.org/works/W2108852136/ngrams网站“，”“abstract_inverted_index”：{“语义”：[0]，“of”：[1,15,43,48,58,65,86,96110]，“逻辑”：[2,21,66,75]，“程序”：[3]，“has”：[4,67]，“been”：[5]，“给定”：[6]，“by”：[7,13,51116]，“proof”：[8]，“theory”：[9]，“model”：[10]，“理论”：[11]，“and”：[12,80]，“fixpoint”：[14]，“the”：[16,40,46,56,82104119]，“immediate consequence”：[17120]，“operator.”：[18121]，“If”：[19]，“子句“：[20]，”is“：[22101]，”a“：[23,31,49,52,87]，”programming“：[24,37]，”language，“：[25]，”then“：[26]，”it“：[27,79]，”should“：[28]，”also“：[29]，”have“：[30]，”compositional“：[32,88105]，”semantics。“：[33,89]，”合成“：[34]，”语义“：[35106115]，”for“：[36,74,92107]，”languages“：[38]，”follows“：[39]，”abstract“：[41,72]，”syntax“：[42,73]，”programs“：[44]，”composing“：[45]，”meansing“：47]，”unit“：50]，”mathematical“：[53]，”operation“：[54]，”on“：[55]，”messages“：[57]，”its“：59]，“成分”：[60]，“单位”。“：[61]，”The“：[62]，”procedural“：[63]，”interpretation“：[64]，”only“：[68]，”yielded“：[69]，”an“：[70]，”incomplete“：[71]，”programs。“：[76]，“我们”：[77,90112]，“完成”：[78]，“使用”：[81]，“结果”：[83]，“作为”：[84]，“基础”：[85]，“现在”：[91]，“比较”：[93]，“Tarski\u2019s”：[94]，“代数化”：[95]，“一阶”：[97]，“谓词”：[98]，“逻辑”：[99]，“其中”：[100]，“in”：[102]，“实质”：[103]，“他的“：[108]，”choice“：[109]，”语法。“：[111]，”特征“：[113]，”我们的“：[114]，”等价“：[117]，”with“：[118]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2108852136“，”counts_by_year“：[{”年“：2012，”cited_by_count“：2}]，”更新日期“：”2024-06-27T00:46:33.002118“，”创建日期“：“2016-06-24”}