{“id”：“https://openalex.org/W1736252565“，”doi“：”https://doi.org/10.1007/978-3-540-71070-7_30“，”title“：”Unification and Matching Modulo Leaf-Permutative Equational Presentations“，”display_name“：”Unification andmatching Modulo-Leaf-Permutative Equational Propentations”，“publication_year”：2008，“publiation_date”：“2008-08-29”，“ids”：{“openalex”：“https://openalex.org/W1736252565“，”doi“：”https://doi.org/10.1007/978-3-540-71070-7_30“，”mag“：”1736252565“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-71070-7_30“，”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“：”施普林格科学+商业媒体“，”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“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Thierry Boy De La Tour“，”raw _affiliation_strings“：【”CNRS/INPG-Laboratoire d\u2019Informatique De Grenoble，France“】}，{”author_position“：”middle“，”author“：{”id“https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”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“：”Mnacho Echenim“，”raw _affiliation_strings“：[“CNRS/INPG-Laboratoire d\u2019Informatique de Grenoble，France”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5083889587“，”display_name“：”Paliath Narendran“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I392282“，”display_name“：”奥尔巴尼大学，纽约州立大学“，”ror“：”https://ror.org/012zs8222“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I392282“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Paliath Narendran“，”raw _affiliation_strings“：【”奥尔巴尼大学计算机科学系\u2014 SUNY，奥尔巴尼，NY 12222，美国“】}]，“countries_distict_count”：2，“institutions_distinact_count”：3，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value”：5000，“currency:”EUR”，“value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：67}、“biblio”：{“volume”：null，“issue”：null，“first_page”：“332”，“last_page”：“347”}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9997，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9997，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”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/T11269“，”display_name“：”文本压缩和索引算法“，”score“：0.9985，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/string匹配“，”display_name“：”字符串匹配“，”score“：0.526576}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.510016}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.87935543}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.8528873}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.8124685}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.7008352}，{”id“：”https://openalex.org/C157486923，“wikidata”：https://www.wikidata.org/wiki/Q1376436“，”display_name“：”String（physical）“，”level“：2，”score“：0.6438521}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4900097}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4685199}，{”id“：”https://openalex.org/C165064840，“wikidata”：https://www.wikidata.org/wiki/Q1321061“，”display_name“：”Matching（statistics）“，”level“：2，”score“：0.4652534｝，｛”id“：”https://openalex.org/C68859911，“wikidata”：https://www.wikidata.org/wiki/Q1503724“，”display_name“：”模式匹配“，”level“：2，”score“：0.41961148}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3922634}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3578434}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.33389425}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”Arithmetic“，”level“：1，”score“：0.32192636｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20120174}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.18072486}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1040076}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”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-71070-7_30“，”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“：”施普林格科学+商业媒体“，”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”：13，“referenced_works“：[”https://openalex.org/W1543811964","https://openalex.org/W1590849606","https://openalex.org/W1690616301","https://openalex.org/W1967953866","https://openalex.org/W1998613054","https://openalex.org/W2011039300","https://openalex.org/W2031613223","https://openalex.org/W2033288425","https://openalex.org/W2055611812","https://openalex.org/W2561675875","https://openalex.org/W2914314632","https://openalex.org/W4230919050","https://openalex.org/W4302964898“]，”related_works“：[”https://openalex.org/W4386363566","https://openalex.org/W354575360","https://openalex.org/W2312503573","https://openalex.org/W2158605963","https://openalex.org/W2154964291","https://openalex.org/W2142543897","https://openalex.org/W2083675736","https://openalex.org/W2058284624","https://openalex.org/W1981828430","https://openalex.org/W1223318389“]，”ngrams_url“：”https://api.openalex.org/works/W1736252565/ngrams“，”“abstract_inverted_index”：{“Unification”：[0]，“modulo”：[1]，“variable-permuting”：[2,27]，“equational”：[3]，“presentations”：[4]，“is”：[5,38,48]，“known”：[6,30]，“to”：[7]，“be”：[8]，“underdecidable”：[9,49]，“We”：[10,34,50]，“address”：[11]，“here”：[12]，“the”：[13,16,23]，“问题”：[14,47]，“的”：[15,18,25]，“存在”：[17]，“a”：[19,42]，“统一”：[20,46]，“算法“：[21]，”for“：[22]，”class“：[24]，”linear“：[26]，”presentations“，“：[28]，”also“：[29,51]，”as“：[31]，”leaf-pervariative“：[32,43,85]，”prosentations。“：[33，86]，”show“：[35]，”that“：[36]，”there“：[37]，”none“：[39]，”by“：[40，70]，”展览“：[41]，”演示“：[44，55]，”其“：[45，56]，”展览“：[52]，”one“：[53]，”such“：[54]，”word“：[57]，”and“：[58，82]，”pattern“：[59]，”matching“：[60]，”problems“：[61]，”are“：”[62]，“PSPACE完成。“：[63]，”The“：[64]，”proof“：[65]，”process“：[66]，”in“：[67]，”three“：[68]，”stages，“：[69]，”transforming“：[71]，”length-preserving“：[72]，”string-rewiting“：[73,80]，”systems“：/74]，”into“：[75,78,84]，”atomic“：[76]，”then“：[77]，”bit-swapping“：%79]，”“systems，”：[81]，“finally”：[83]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W1736252565“，”counts_by_year“：[]，”updated_date“：”2024-06-05T07:00:49.284117“，”created_dates“：”2016-06-24“}“