{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:35:56Z”，“时间戳”：1725489356545}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540734475“}，{”类型“：“electronic”，“value”：“9783540734499”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2007]]}，“DOI”：“10.1007\/978-3-540-73449-9_7”，“type”：“book-chapter”，“created”：{”date-part“：[[2007，8，13]]，“date-time”：“2007-08-13T16:49:53Z”，“timestamp”：1187023793000}，”page“：”63-77“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“Determining Unif-Stable Presentations”]，“prefix“：”10.1007“，”author“：[{”given“：”Thierry“，“family”：“Boy de la Tour”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Mnacho”，”family“：”Echenim“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“key”：”7_CR1“，”doi-asserted-by“：“crossref”，《doi》：“10.1017\/CBO9781139172752”，“volume-title”：“Term Rewriting and All That”，“author”“：”F.Baader“，”year“：”1998“，”unstructured“：“Baader，F.，Nipkow，T.：术语重写和所有这一切。剑桥大学出版社，剑桥（1998）”}，{“key”：“7_CR2”，“unstructured”：“Boy de la Tour，T.，Echenim，M.：确定统一表示法（长版），\n\n http://\/www-leibniz.imag.fr\/~boydelat\/papers\/”}：“人工智能课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“430”，”doi“：“10.1007\/978-3-540-25984-8_32”，“volume-title”：“自动推理”，“author”：“T.Boy de la Tour”，年：“2004”，“非结构化”：“Boy de la Tour，T.，Echenim，M.：重叠叶置换方程。in:Basino，D.，Rusinovitch，M.（eds.）IJCAR 2004。LNCS（LNAI），卷\u00a03097，第430\u2013444页。Springer，Heidelberg（2004）“}，{”issue“：”4“，”key“：”7_CR4“，“doi-asserted-by”：“publisher”，“first page”：“624”，“doi”：“10.1016\/j.ic.2006.11.001”，“volume”：”25“，”author“：”T.Boy de la Tour“，“year”：“2007”，“unstructured”：“Boy de la Tour，T.，Echenim，M.：永久重写和统一。信息与计算\u00a025（4），624\u2013.650（2007）“，”journal-title“：“信息与计算”}，{“volume-title”：“置换群的基本算法”，“year”：“1991”，“series-title”：“计算机科学课堂讲稿”，“key”：《7_CR5》，“unstructured”：“Butler，G.（ed.）：置换群的基础算法。LNCS，vol.\u00a0559。Springer，Heidelberg（1991）“}，{“key”：“7_CR6”，“unstructured”：“The GAP\u00a0Group.GAP\u 2013 Groups，Algorithms，and Programming，Version 4.4（2006），\n\n http://www.GAP-system.org”}，}“volume-title”：“Group-Theoretic Algoritoms and Graph Isotorphics”，“year”：“1982”，“series-title”：计算机科学课堂讲稿“，“key”：“7_CR7”，“unstructured”：“Hoffmann，C.（ed.）：群理论算法和图同构。LNCS，卷\u00a0136。Springer，Heidelberg（1982）“}，{”key“：”7_CR8“，”first page“：“11”，”volume-title“：”LICS 1992“，”author“：”D.Kapur“，”year“：”1992“，“unstructured”：“Kapur，D.，Narendran，P.：计算一整套ac-unifiers的双指数复杂性。In:Scedrov，a.（ed.）LICS 1992，pp.11\u201321。IEEE Computer Society Press，Washington，DC，USA（1992）“}，{”key“：”7_CR9“，”first page“：“270”，”volume-title“：”LICS 1990“，”author“：”C.Kirchner“，”year“：“1990”，”unstructured“：”Kirchner，C.，Klay，F.：句法理论与统一。In:Mitchell，J.（ed.）LICS 1990，pp.270\u2013277。IEEE Computer Society Press，Washington，DC，USA（1990）“}，{“key”：“7_CR10”，“unstructured”：“Lankford，D.S.，Ballantyne，A.：具有置换公理的简单方程理论的决策程序：置换约化的完整集。德克萨斯大学奥斯汀分校数学与计算机科学系技术报告（1977）”}，}“issue”：“1”，“key“：”7_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”87“，”doi“：”10.1023\/A:1005764526878“，”volume“：“19”，”author“：”P.Narendran“，”year“：”1997“，”unstructured“：”Narendren，P.，Otto，F.：可变交互理论的单方程统一与同时方程统一。J.自动化。推理\u00a019（1），87\u2013115（1997）“，“期刊标题”：“J.Autom。推理“}，{”问题“：“1”，“key”：“7_CR12”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1006\/inco.1998.2730“，”volume“：”147“，”author“：”R.Nieuwenhuis“，”year“：”1998“，”unstructured“：”Nieuwenchuis，R.：通过基本参数调制进行的可决定性和复杂性分析。信息与计算\u00a0147（1），1\u201321（1998）“，”杂志标题“：“”信息与计算“}，{“key”：“7_CR13”，“首页”：“274”，“卷”：“34”，“作者”：“M.Schmidt-Schau\u00df”，“年份”：“1988”，“非结构化”：“Schmidt-Schau\u 00df，M.：问题p140和p141的解决方案。EATCS\u00a034，274\u2013275（1988）“，”杂志标题“：”EATCS公告“}，{“期”：“4”，“键”：“7_CR14”，”doi-asserted-by“：”publisher“，”首页“：”415“，”doi“：”10.1016\/S0747-7171（89）80037-9“，“卷”：“8”，“作者”：“M.Schmidt-Schau00df”，“年份”：“1989”，“非结构化”：“Schmidt Schau\u00df，M.：置换方程理论中的统一是不可判定的。J.塞姆。计算。\u00a08（4），415\u2013421（1989）“，“新闻标题”：“J.Symb。计算。“}]，”container-title“：[”计算机科学课堂讲稿“，”术语重写与应用“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73449-9_7“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[[2019,5,22]]，“date-time”：“2019-05-22T01:01:22Z”，“timestamp”：1558486882000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-73449-9_7”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2007]]}”，“ISBN”：[“9783540734475“，”9783540734499“]，”references-count“：14，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-73449-9_7“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2007]]}}}}