{“id”：“https://openalex.org/W1999783590“，”doi“：”https://doi.org/10.1145/635499.635503“，”title“：”关于证明约束逻辑程序的左终止“，”display_name“：”关于证明约束逻辑程序的左终止“，”publication_year“：2003，”publication_date“：”2003-04-01“，”ids“：｛”openalex“：”https://openalex.org/W1999783590“，”doi“：”https://doi.org/10.1145/635499.635503“，”mag“：”1999783590“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/635499.635503“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5002144715“，”display_name“：”Fr\u00e9d\u00e9 ric Mesnard“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210164187“，”display_name“：”世界科学观察站“，”ror“：”https://ror.org/05mv3tj33“，”“country_code”“：”RE“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I24715933","https://openalex.org/I4210148025","https://openalex.org/I4210164187“]}]，”国家“：[”RE“]，”is_corresponding“：false，”raw_author_name“：”Fred Mesnard“，”raw _affiliation_strings“：[“伊朗，法国国立大学\u00e9 de La R\u00e 9union”]，”affiliations“：[{”raw _affiliation_string“：”伊朗，法国州立大学\u00 e9 de La R\u 00e9union“，”institution_ids“：[https://openalex.org/I4210164187“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5071524745“，”display_name“：”Salvatore Ruggieri“，”orcid“：”https://orcid.org/0000-0002-1917-6087}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Salvatore Ruggieri“，”raw _ afiliation_strings“：[“University \u00e0 di Pisa”]，”affiliations“：[{”raw _affiliation_strong“：”University \ u00e0-di Pisa“，”institution_ids“https://openalex.org/I108290504“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”fwci“：9.649，”has_fulltext“：false，”cited_by_count“问题”：“2”，“first_page”：“207”，“last_page”：“259”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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.9991，”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.9963，“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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.664534}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.544694}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.541116｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.539043}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.525276}]，”concepts“：[{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.76834977}，{”id“：”https://openalex.org/C204306468，“wikidata”：https://www.wikidata.org/wiki/Q5159106“，”display_name“：”并发约束逻辑编程“，”level“：5，”score“：0.7560972}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.6919075}，{”id“：”https://openalex.org/C189790780，“wikidata”：https://www.wikidata.org/wiki/Q933932“，”display_name“：”Horn子句“，”level“：3，”score“：0.6450153}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.6441206｝，｛”id“：”https://openalex.org/C96315309，“wikidata”：https://www.wikidata.org/wiki/Q5508829“，”display_name“：”函数逻辑编程“，”level“：4，”score“：0.5667249}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5325367}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.50009966}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.48897636}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.4872376}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.46986708}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.46082887}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44819465}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42987573}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.41245505}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267“，”display_name“：”编程范例“，”level“：2，”score“：0.2539521}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.1958074}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14123678}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/635499.635503“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null:“sustainable_development_goals”：[{“score”：0.51，“display_name”：“Quality education”，“id”：“”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：46，”referrenced_works“：【”https://openalex.org/W1581559774","https://openalex.org/W1584357601","https://openalex.org/W1584569710","https://openalex.org/W1766332311","https://openalex.org/W1814221162","https://openalex.org/W1834328158","https://openalex.org/W1973337882","https://openalex.org/W1980047375","https://openalex.org/W1983420826","https://openalex.org/W1988095917","https://openalex.org/W1989462119","https://openalex.org/W1991816648","https://openalex.org/W1996679397","https://openalex.org/W2009286786","https://openalex.org/W2010266648","https://openalex.org/W2011889853","https://openalex.org/W2012069736","https://openalex.org/W2012397892","https://openalex.org/W2013417779","https://openalex.org/W2014573748","https://openalex.org/W2035855976","https://openalex.org/W2041608581","https://openalex.org/W2043100293","https://openalex.org/W2053616158","https://openalex.org/W2054616907","https://openalex.org/W2055807110","https://openalex.org/W2059709382","https://openalex.org/W2060498389","https://openalex.org/W2063727779","https://openalex.org/W2065067255","https://openalex.org/W2081810835","https://openalex.org/W2093199226","https://openalex.org/W2106356822","https://openalex.org/W2111883026","https://openalex.org/W2114898754","https://openalex.org/W2120869002","https://openalex.org/W2121757274","https://openalex.org/W2123396057","https://openalex.org/W2132661148","https://openalex.org/W2561675875","https://openalex.org/W41900915","https://openalex.org/W4212983671","https://openalex.org/W4251912342","https://openalex.org/W4255812609","https://openalex.org/W4293282487","https://openalex.org/W4301808069“]，”related_works“：[”https://openalex.org/W9461901","https://openalex.org/W3202748019","https://openalex.org/W316728381","https://openalex.org/W2611103758","https://openalex.org/W2080672497","https://openalex.org/W1999783590","https://openalex.org/W1840715060","https://openalex.org/W177435153","https://openalex.org/W1589232796","https://openalex.org/W1517880980“]，”ngrams_url“：”https://api.openalex.org/works/W1999783590/ngrams网站“，”“abstract_inverted_index”：{“The”：[0,50]，“Constraint”：[1]，“Logic”：[2]，“Programming”：[3]，“（CLP）”：[4]，“Scheme”：[5]，“merges”：[6]，“Logic”：[7,28,48104]，“Programming”：[8105]，“with”：[9]，“Constraint”：[10,27,94]，“solving”：[11]，“over”：[12]，“predired”：[13]，“domains”：[14]，“：[15]，”this“：[16]，”article“：[17]，”we“：[18]，”study“：[19]，”proof“：[20]，”方法“：[21]，”for“：[22,40,66,75]，”universal“：[23]，”left“：[24,38]，”termination“：[25,39101]，”of“：[26,37,47,58,77]，”programs。“：[29,49]，”我们“：[30,70109]，”提供“：[31]，”a“：[32,72112]，”声音“：[33100]，”和“：[34,87]，”完整“：[35]，”表征“：[36,51]，”理想“：[41]，”CLP“：[42,85]，”语言“：[43,86]，”其中“：[44,62,80]，”概括“：[45]，”可接受性“：[46,60125]，”是“：[52,63,81]，”然后“：[53]，”细化“：[54]，”到“：[55]，”的“：[56,78,97]，”概念“：[57]，”部分“：[59]，”，“：[61]，”well“：[64]，”suitated“：[65]，”automatic“：[67]，”modular“：[68]，”inference“。“：[69]，”描述“：[71]，”理论“：[73]，”框架“：[74]，”自动化“：[76]，”方法“：[79]，”实现。“：[82]，”对于“：[83]，”非理想“：[84]，”没有“：[88]，”任何“：[89]，”假设“：[90]，”关于“：[91111]，”他们的“：[92]，”不完整“：[93]，”解算器“：[95]，”偶数“：[96]，”大多数“：[98]，”基本“：[99]，”标准“：[102]，”来自“：[103]，”does“：[106]，”not“：[107]，”提升。“：[108]，”焦点“：[110]，”特定“：[113]，”系统“：[114]，”即“：[115]，”CLP（R）“：[116]，”by“：[117]，”提议“：[118]，”some“：[119]，”additional“：[120]，”conditions“：[121]，”that“：[122]，”make“：[123]，”（partial）“：[124]，”sound“。“：[126]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1999783590“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-06-26T18:02:41.552402“，”创建日期“：“2016-06-24”}