｛“id”：“https://openalex.org/W1992391625“，”doi“：”https://doi.org/10.1016/0743-1066（92）90050-d“，”title“：“重写程序：语义和与序言的关系”，”display_name“：”重写程序：语义学和与序语的关系“，”publication_year“：1992，”publiction_date“：”1992-10-01“，”ids“：{”openalex“：”https://openalex.org/W1992391625“，”doi“：”https://doi.org/10.1016/0743-1066（92）90050-d“，”mag“：”1992391625“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0743-1066（92）90050-d“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S86488779“，”display_name“：”\u0098The \u009cjournal of logic programming“，”issn_l“：”0743-1066“，”isn“：[”0743-10“，”1873-5789“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]http://profs.sci.univr.it网站/~bonacina/paperss/JLP1992rewprograms.pdf“，”any_repository_has_fulltext“：true}，”作者“：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5082604888“，”display_name“：”Maria Paola Bonacina“，”orcid“：”https://orcid.org/0000-0001-9104-2692“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Maria Paola Bonacina“，”raw _ affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5058983757“，”display_name“：”Jieh XIang“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Jieh-XIang null，“apc_payed”：nullfwci“：3.084，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：19，”ciped_by_percentile_year“：{”min“：86，”max“：87}，”biblio“：{“volume”：“14”，“issue”：“1-2”，“first_page”：“155”，“last_page”：”180“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9847，“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.543452｝]，”concepts“：[｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7456151}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.7453115}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.7229499}，{”id“：”https://openalex.org/C89448276，“wikidata”：https://www.wikidata.org/wiki/Q5259284“，”display_name“：”Actor模型的指称语义“，”level“：5，”score“：0.7080815}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.7044072}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5743505}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5347236｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5232379}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.42011768}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40423685}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3651542}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2812691}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0743-1066（92）90050-d“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S86488779“，”display_name“：”\u0098The \u009cjournal of logic programming“，”issn_l“：”0743-1066“，”isn“：[”0743-10“，”1873-5789“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.105.2305，“pdf_url”：http://profs.sci.univr.it网站/~bonacina/papers/JLP1992rewprograms.pdf“，”来源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，“type”：“repository”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.105.2305，“pdf_url”：http://profs.sci.univr.it网站/~bonacina/papers/JLP1992rewprograms.pdf“，”来源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，“type”：“repository”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W145263823","https://openalex.org/W1519073978","https://openalex.org/W1530765221","https://openalex.org/W1937022991","https://openalex.org/W2034034435","https://openalex.org/W2036748304","https://openalex.org/W2048748607","https://openalex.org/W2086747974","https://openalex.org/W2091210577","https://openalex.org/W2092371432","https://openalex.org/W2108911687","https://openalex.org/W2143382644","https://openalex.org/W2394529788","https://openalex.org/W4206370914","https://openalex.org/W55064848“]，”related_works“：[”https://openalex.org/W3036972880","https://openalex.org/W2348616540","https://openalex.org/W2257517306","https://openalex.org/W2154982982","https://openalex.org/W2092481413","https://openalex.org/W2072493788","https://openalex.org/W2066556632","https://openalex.org/W1968765218","https://openalex.org/W1929699059","https://openalex.org/W1768718906“]，”ngrams_url“：”https://api.openalex.org/works/W1992391625/ngrams（英文）“，”“abstract_inverted_index”：{“重写”：[0,20]，“程序”：[1,4,21116]，“是”：[2,35134]，“逻辑”：[3]，“表示”：[5]，“作为”：[6,30,32]，“重写”:[7,43,62,93115]，“规则”：[8]，“其”：[9]，“执行”：[10]，“机制”：[11]，“通常”：[12]，“使用”：[13]，“一些”：[14]，“版本”：[15]，“of”：[16103124128]，“Knuth-Bendix”：[17]，“type”：[18]，“completion.”：[19]，“allow“：[22]，”one“：[23]，”to“：[24,48,82]，”express“：[25]，”interactive“：[26]，”exclusively“：[27]，”defined“：[28]，”predicates“：[29]，”well“：[31]，”these“：[33127]，”which“：[34]，”not。“：[36]，”In“：[37,80]，”this“：[38]，”paper“：[39]，”we“：+40,86]，”demove“：[41]，”that“：[42]，”programs，“：[44,94]，”虽然“：[45]，”外延“：[46]，”等价“：[47]，”Prolog“：[P9,73133]，”on“：[50]，”the“：[51,71101112121]，”ground“：[52]，”level，“：-53]，”may“：[54,64]，“生产”：[55]，“更少”：[56]，“答案”：[57,69]，“In”：[58]，“概述”。“：[59]，”因此，“：[60]，”a“：[61,88]，”program“：[63,74]，”halt“：[65]，”with“：66]，”finitely“：[67]，”many“：[68]，”while“：[70]，”corresponding“：[72]，”goes“：[75]，”into“：[76]，”an“：[77]，”infinite“：[78]，”loop。“：[79]，“顺序”：[81]，“解释”：[83]，“这些”：[84]，“观察值”：[85]，“存在”：[87]，“精确”：[89]，“操作”：[90]，“语义”：[91]，“for”：[92132]，“定义”：[95]，“它们的”：[96]，“指称”：[97108]，“（定点）”：[98]，“语义学”：[99109]，“证明”：[100]，“等价”：[102]，“可操作”：[104]，“模型”：[105]，“理论”：[106]，“和“：[107110117126]，”clear“：[111]，”relationships“：[113]，”between“：[114120]，”Prolog。“：[118]，“比较”：[119]，“修剪”：[122]，“效果”：[123]，“简化”：[125]，“基于包容”：[129]，“循环检查”：[130]，“机制”：[131]，“也”：[135]，“包括在内。“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1992391625“，”counts_by_year“：[{”年份“：2013，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-06-23T18:33:49.769872“，”创建日期“：“2016-06-24”}