{“id”：“https://openalex.org/W2157383659“，”doi“：”https://doi.org/10.1007/978-3-540-73449-9_7“，”title“：”Determining Unify-Stable Presentations“，”display_name“：”Determining Unify-Stabile Presentation“，”publication_year“：2007，”publiation_date“：”2007-01-01“，”ids“：{”openalex“：”https://openalex.org/W2157383659“，”doi“：”https://doi.org/10.1007/978-3-540-73449-9_7“，”mag“：”2157383659“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73449-9_7“，”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”：“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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5036533236“，”display_name“：”Thierry Boy de la Tour“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703“，”https://openalex.org/I1294671590“，”https://openalex.org/I1326498283“，”https://openalex.org/I4210104430“，”https://openalex.org/I4210159245“，”https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Thierry Boy de la Tour“，”raw _affiliation_strings“：[“CNRS-Laboratoire d\u2019Informatique de Grenoble，France”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I119439378“，”display_name“：”维罗纳大学“，”ror“：”https://ror.org/039bp8j42“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I119439378“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Mnacho Echenim“，”raw _affiliation_strings“：[“意大利维罗纳大学\u00e0 degli Studi di Verona”]}“，”countries_distict_count“：2，”institutions_distect_count“：3，”corresponding_author_ids“：[]，”correcponding_institution_ids值“：5000，”货币“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”货币“：“EUR”，”value_ usd“:5392，“出处”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：66}，《图书》：{卷：null，“issue”：null、“first_page”：“63”，“last_page“：”77“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9923，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9828，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.480051｝]，”concepts“：[｛”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.84253836}，{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.74528015}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6616827｝，｛”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.6358957}，{”id“：”https://openalex.org/C2777601897，“wikidata”：https://www.wikidata.org/wiki/Q3409113“，”display_name“：”演示（产科）“，”级别“：2，”分数“：0.5909438}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.56822324}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5452323}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4436155}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43976358}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.42702708｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.34001893}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3043285}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20686227}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.19940662}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15854156}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C126838900，“wikidata”：https://www.wikidata.org/wiki/Q77604“，”display_name“：”放射学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73449-9_7“，”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”：“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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：6，“referenced_works“：[”https://openalex.org/W1543811964“，”https://openalex.org/W1859857349“，”https://openalex.org/W1966042322“，”https://openalex.org/W1967953866“，”https://openalex.org/W1998613054“，”https://openalex.org/W4230919050“]，”related_works“：[”https://openalex.org/W2742582826“，”https://openalex.org/W2566029784“，”https://openalex.org/W2498892212“，”https://openalex.org/W2160250760“，”https://openalex.org/W1981828430“，”https://openalex.org/W1865715204“，”https://openalex.org/W1583400373“，”https://openalex.org/W153224469“，”https://openalex.org/W1424724424“，”https://openalex.org/W1223318389网址“]，”ngrams_url“：”https://api.openalex.org/works/W2157383659/ngrams“，”“abstract_inverted_index”：{“The”：[0,42]，“class”：[1]，“of”：[2,44]，“equational”：[3,48]，“theorys”：[4]，“defined”：[5]，“by”：[6,93]，“所谓的”：[7]，“unify-table”：[8,37,52,72102]，“presentations”：[9,29]，“was”：[10]，“recently”：[11]，“introduced”：[12]，“as”：[13,15]，“well”：[14]，“a”：[16,32,51,71,83,89,98101107]，“完整”：[17]，“和”：[18,38,66,91104]，“终止“：[19]，”统一“：[20]，”算法“：[21,86]，”模“：[22]，”任意“：[23,75]，”这样“：[24,88106]，”理论。“：[25]，”“然而，”：[26]，“两个”：[27]，“等价”：[28]，“可以”：[30]，“有”：[31]，“不同”：[33]，“状态，”：[34]，“一个”：[35,78]，“存在”：[36]，“该”：[39112]，“其他”：[40]，“不存在”。“：[41]，”问题“：[43,63]，”决定“：[45,96]，”是否“：[46,97]，”一“：[47]，”理论“：[49,99]，”承认“：[50100]，”陈述“：[53,73103108]，”或“：[54]，”否“：[55]，”因此“：[56]，”保持“：[57]，”开放。“：[58]，”We“：[59,80]，”show“：[60]，”that“：[61,67,95]，”this“：[62]，”is“：[64]，”decitable“：[65]，”We“：68]，”can“：[69]，”compute“：%70]，”for“：[74,87]，”theory“：76]，”provided“：[77]，”exists“存在。“：[79]，”也“：[81]，”提供“：[82]，”公平“：[84]，”有效“：[85]，”任务“：[90]，”结论“：[92]，”证明“：[94]，”计算“：[105]，”是“：[109]，”问题“：[110]，”in“：[111]，”Luks“：[113]，”等价“：[114]，”类。“：[115]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2157383659“，”counts_by_year“：[]，”updated_date“：”2024-06-05T07:27:47.958171“，”创建日期“：”2016-06-24“}