{“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“}