{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,15]]，“日期-时间”：“2023-02-15T15:53:12Z”，“时间戳”：1676476392005}，“引用-计数”：21，“发布者”：“Elsevier BV”，“问题”：“4”，“许可证”：[{“开始”：{:“日期-零件”：[2007,4,1]]04-01T00:00:00Z“，”时间戳“：1175385600000}，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“https:\/\/weelsevier.com\/tdm\/userlicense\/1.0\/”｝，｛“开始”：｛“日期部分”：[[2013,7,17]，“日期时间”：“2013-07-17T00:00:00Z”，“时间戳”：1374019200000｝，“内容版本”：“vor”，“延迟天数”：2299，“URL”：“https:\/\/weelsevier.com\/open-access\/userlicense\/1.0\/”｝]，“内容域“：｛”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[2007,4]]}，”DOI“：”10.1016\/j.ic.2006.11.001“，”type“：”journal-article“，”created“：{”date-part“：[2007,1,26]]，”date-time“：”2007-01-26T17:44:42Z“，”timestamp“：1169833482000}”，“page”：“624-650”，”source“：”Crossref“，“is-referenced-by-count”：3，“title”：[“Permutative rewriting and unified”]，“prefix”：“10.1016”，“volume”：“205”，“author”：[{“给定”：“Thierry”，“family”：“Boy de la Tour”，”sequence“：”first“，”affiliation“：[]}，{“given”：”Mnacho“，”family“Echenim”，“sequence”：“additional”，“affiliance”：[]]}]，“member”：“78”，“reference”：[{“key”：10.1016\/j.ic.2006.11.001_bib1“，“series-title”：“第二届国际自动推理联合会议，IJCAR 2004”，“第一页”：“430”，“文章-标题”：“计算模置换理论的有效算法”，“作者”：“Avenhaus”，“年份”：“2004”}，{“key”：“10.1016\/j.ic.2006.11.001_bib2”，“series-标题”:“术语重写及所有内容”，“author”：“Baader”，“年”：“1998”}、{“密钥”：“10.1016\/j.ic.2006.11.001_bib3”，“首页”：“445”，“文章标题”：“统一理论”，“卷”：“第一卷”，“作者”：“巴德”，“年份”：“2001”}，{“问题”：“3”，”key“：”10.1016\/j.ic.2006.11.001_bib4“，”doi-asserted-by“：”crossref“，”首页“：“477”，“doi”：“10.1145\/174130.174133”，“论文标题“”：“交换理论的统一，希尔伯特\u2019s基定理和Gr\u00f6bner基”，“卷”：“40”，“作者”：“Baader”，“年份”：“1993年”，“期刊标题”：“ACM杂志”}，{“key”：“10.1016\/j.ic.2006.11.001_bib5”，“series-title”：“第二届国际自动推理联合会议，IJCAR 2004”，“首页”：“430”，“article-title”：“重叠叶置换方程”，“author”：“de-la-Tour”，“year”：“2004”}，{“key”：“10.1016\/j.ic.2006.11.001_bib6”，“series-title”：“第十六届国际重写技术与应用会议，RTA 2005”，“first page”：”105“，“article-title”：”一类置换理论的统一“，”author“：”de-la-Tour“，”year“2005”}、{“key”：“10.1016\/j.ic.2006.11.001_bib7”，“系列标题”：“计算机科学讲义559”，“doi断言”：“crossref”，“doi”：“10.1007\/3-540-54955-22_37”，“文章标题”：“置换群的基本算法”，“作者”：“Butler”，“年份”：“1991”}，{“密钥”：“10.1016\/j.ic.2006.11.001_bib8”，“非结构化”：“Mnacho Echenim。D\u00e9生产与统一与变革。博士论文，格勒诺布尔国立理工学院，2005年12月。”}，{“密钥”：“10.1016\/j.ic.2006.11.001_bib9”，“doi断言”：“crossref”，“首页”：“257”，“doi”：“10.1016\/S0747-771（87）80004-4”，“文章标题”：“联想交换统一”，“卷”：“3”，“author”：“Fages”，“year”：“1987”，“journal-title”：“journal of Symbolic Computation”}，{“issue”：“3“，“key”：“10.1016\/j.ic.2006.11.001_bib10”，“doi-asserted-by”：“crossref”，“first-page”：“217”，“doi”：“101016\/S0747-7171（87）80001-9”，“article-title“：”结合性和交换性下统一的代数方法“，”卷“：”3“，”作者“：“Fortenbacher”，“year”：“1987”，“journal-title”：“journal of Symbolic Computation”}，{“key”：“10.1016\/j.ic.2006.11.001_bib11”，“doi-asserted-by”：“crossref”，《非结构化》：“M.Furst，j.Hopcroft，E。卢克斯。置换群的多项式时间算法，摘自：《计算机科学基础第二十届年度研讨会论文集》，1980年10月，第36\u201341页年份：“1979”}，{“key”：“10.1016\/j.ic.2006.11.001_bib13”，“series-title”：“计算机科学课堂讲稿136”，“article-title”：《群理论算法与图同构》，“author”：“Hoffmann”，“year”：“1981”}基于术语重写的定理证明中的一组十一个重要开放问题，“卷”：“31”，“作者”：“Jouannaud”，“年份”：“1987”，“期刊标题”：“EATCS公报”}，{“关键”：“10.1016\/j.ic.2006.11.001_bib15”，“系列标题”：《第五届IEEE计算机科学逻辑研讨会论文集》，LICS 1990，“第一页”：“270”article-title“：“句法理论与统一”，“author”：“Kirchner”，“year”：“1990”}，{“key”：“10.1016\/j.ic.2006.11.001_bib16”，“series-title”：“CADE-18，第十八届国际自动演绎大会”，“首页”：“471”，“article-title”：《基本句法变异》，“卷”：“2392”，“作者”：“Lynch”，“年份”：“2002”}10.1016\/j.ic.2006.11.001_bib17“，”doi-asserted-by“：”crossref“，”first page“：”87“，”doi“：”10.1023\/A:1005764526878“，”article-title“：”可变交互理论的单对同时方程统一和方程统一“，”volume“：“19”，”author“：”Narendran“，”year“：”1997“，”journal-title”：“journal of Automated Reasoning”}，{“issue”：“”1“，”key“：”10.1016\/j.ic.2006.11.001_bib18“，”doi-asserted-by“：”crossref“，”first page“：“1”，”doi“：”101006\/inco.1998.2730“，”article-title“：”通过基本参数调制的可决定性和复杂性分析“，”volume“：_bib19“，”首页“：”274“，”article-title“：”p140和p141问题的解决方案“，”volume“：”34“，”author“：”Schmidt-Schau\u00df“，”year“：”1988“，”journal-title”：“EATCS公告”}，{“issue”：“4”，“key”：“10.1016\/j.ic.2006.11.001_bb20”，“doi-asserted-by”：“crossref”，“首页”：“415”，“doi”：“1016\/S0747-7171（89）80037-9“，”文章标题“：”置换方程理论中的统一是不可判定的”，“卷”：“8”，“作者”：“Schmidt-Schau\u00df”，“年份”：“1989年”，“期刊标题”：“符号计算杂志”}，{“关键字”：“10.1016\/j.ic.2006.11.001_bib21”，“doi-asserted-by”：“crossref”，《首页》：“423”，“doi”：“101145\/32261.322262”，“article-title”：“关联交换函数的统一算法“，”volume“：”28“，”author“：”Stickel“，”year“：”1981“，”journal-title“：”journal of the Association for Computing Machinery“}]，”container-title”：[“Information and Computation”]，”original-title:“[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0890540106001568？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540106001568？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“deposed”：{“date-parts”：[2019,1,9]]，“date-time“：”2019-01-09T16:58:40Z“，”timestamp“：1547053120000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540106001568”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2007,4]]}，《参考计数》：21，“日志发布”：}“发布”：“4”“，”published-print“：{”date-parts“：[[2007,4]]}}，”alternative-id“：[”S0890540106001568“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ic.2006.11.001”，“关系”：{}，“ISSN”：[“0890-5401”]，“ISSN-type”：[{“值”：“0890-5 401”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2007,4]]}}}}