{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,12,31]]，“日期-时间”：“2022-12-31T08:10:19Z”，“时间戳”：1672474219765}，“引用-计数”：25，“发布者”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：{-“日期-零件”：[[2004,12]]，“date-time”：“2004-12-01T00:00:00Z“，”时间戳“：1101859200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3186，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2004,12]]}，”DOI“：”10.1016\/j.apal.2004.04.005“，”type“：”journal-article“，”created“：{”date-part“：[[2004，6,22]]，”date-time“：”2004-06-22T14:23:17Z“，”timestamp“：1087914197000}”，“page”：“33-59”，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“决定多项式时间内某些术语重写系统的汇合”]，“prefix”：“10.1016”，“volume”：“130”，“author”：[{“给定”：“Guillem”，“family”：“Godoy”，“sequence”：“first”，“affiliation”：[]}，{“given”：“维玛”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“11”，“key”：“10.1016\/j.apal.2004.04.005_B1”，“首页”：“1134”，“article-title”：“Persistency of confluence”，“volume”：”3“author”：“Aoto”，“year”：“1997”，“journal title”：《Universal Computer Science杂志》}，{“key“：”10.1016\/j.apal.2004.0 4.005_B2“，”系列标签“：“标准等式证明”，“作者”：“Bachmair”，“年份”：“1991”}，{“key”：“10.1016\/j.apal.2004.04.005_B3”，“series-title”：“自动演绎会议”，“首页”：“64”，“文章-标题”：“抽象同余闭包和专门化”，“卷”：“第1831卷”，“author”：“Bachmair”，“年”：“2000”}页码2004.04.005_B4“，“doi-asserted-by”：“crossref”，“first page”：“129”，”doi“：“10.1023\/B:JARS.000009518.26415.49”，“article-title”：“抽象同余闭包”，“卷”：“31”，“作者”：“Bachmair”，“年份”：“2003”，“日志标题”：“自动推理杂志”}，{“key”：”10.1016\/j.apal.2004.04.005_B5“，”doi-assert-by“：”crossref.“，”unstructured“L.P。Chew，术语重写系统中的范式，博士论文，普渡大学，1981年”，“DOI”：“10.1145\/800076.802452”}，｛“key”：“10.1016\/j.apal.2004.04.005_B6”，“series title”：“第42届IEEE计算机科学基础年度研讨会，FOCS”，“首页”：“298”，“文章标题”：“基本术语重写系统的合流在多项式时间内是可判定的”，“author”：“Comon”，“year”：“2001”}，{“issue”：“2”，“key”：“10.1016\/j.apal.2004.04.005_B7”，“doi-asserted-by”：“crossref”，”first page“：”187“，”doi“10.1016 \/0890-5401（90）90015-A”，”article-title“：”有限基本项重写系统与其他相关术语重写系统合流的可判定性”，“卷”：“88”，“作者”：“Dauchet”，“年份”：“1990”，“期刊标题”：“信息与计算”}，{“问题”：“3”，“关键”：“10.1016\/j.apal.2004.04.005_B8”，“doi-asserted-by”：“crossref”，“首页”：“279”，“doi”：“101016\/0304-975（82）90026-3”，“article-title“：”term-rewriting systems的订购“，”volume“：”17“，”author“：”Dershowitz“，”year“：”1982“，”journal-title”：“理论计算机科学”}，{“issue”：“8”，“key”：“10.1016\/j.apal.2004.04.005_B9”，“doi-asserted-by”：“crossref”，“first page”：”465“，”doi“：”10.1145\/359138.359142“，”article-title“”：“用多集订购提供术语”，“”卷”：“22”，“作者”：“Dershowitz”，“年份”：“1979”，“期刊标题”：“ACM通讯”}，{“密钥”：“10.1016\/j.apal.2004.04.005_B10”，“作者”：“Dershowitz”}，{“问题”：“4”，“密钥”：“10.1016\/j.apal.2004.04.005_B11”，“doi断言者”：“crossref”，“第一页”：“758”，“doi”：“10.1145\/32217.322228”，“文章标题”：“常见子表达式问题“，”volume“：”27“，”author“：”Downey“，”year“：”1980“，”journal-title“：”计算机协会J.“}，{”issue“：”2“，”key“：“10.1016\/J.apal.2004.04.005_B12”，”doi-asserted-by“：”crossref“，”first page“：author“：”Godoy“，”year“：”2004“，”journal-title“：”ACM Transactions on Computational Logic（TOCL）“}，{”key“：”10.1016\/j.apal.2004.04.005_B13“，”series-title“：“第20届国际计算机科学理论研讨会”，“首页”：“85”，“article-title”：“关于线性浅词重写系统的融合”，“volume”：“vol.2607”，“author”：“Godoy”，“年份：“2003”}，{“key”：“10.1016\/j.apal.2004.04.005_B14”，“series-title”：《Bar-Ilan人工智能基础国际研讨会》，“article-title”：“On The complexity Of confluence for ground rewrite systems”，“author”：“Hayrapetyan”，“year”：“2001”}、{“issue”：“5”，“key“10.1016”：“j.apal.2004.04.005 _B15”，《doi-asserted-by》：“crossref”首页“：”265“，”DOI“：”10.1016\/S0020-0190（03）00310-7“，”article-title“：”平面术语重写系统的可达性和汇合性是不可判定的“，”volume“：”87“，”author“：”Jacquemard“，”year“：”2003“，”journal-title”：“Information Processing Letters”}，{“key”：“10.1016\/j.apal.2004.04.005_B16”，“series-title”：”抽象代数中的计算问题”，“首页”：“263”，“article-title”：“泛代数中的简单单词问题”，”author“：”Knuth“，”year“：”1970“}，{“key”：“10.1016\/j.apal.2004.04.005_B17”，“series-title”：”重写技术与应用RTA-93“，”首页“：”17“，”article-title“：”双重写，单调顺序关系的术语重写技术”，“卷”：“vol.690”，“作者”：“Levy”，“年份”：“1993”}，{“问题”：“2”，“关键”：“10.1016\/j.apal.2004.04.005_B18”，“doi-asserted-by”：“crossref”，“首页”：“356”，“doi”：“101145\/322186.322198”，《文章标题》：“基于同余闭包的快速决策程序”，“卷宗”：“27”，“author”：“”Nelson“，”year“：”1980“，”journal-title“：”journal of the Association for Computing Machinery“}，{”key“：”10.1016\/j.apal.2004.04.005_B19“，”series-title“：“第十一届IEEE计算机科学逻辑研讨会”，“首页”：“473”，“文章标题”：“基本参数调制和可判定理论”，“作者”：“Nieuwenhuis”，“年份”：“1996”}，“问题”：“1”，“key”：“”10.1016\/j.apal.2004.04.005_B20“，”doi-asserted-by“：”crossref“，”first page“：”43“，”doi“：”10.1016\/0304-3975（87）90100-9“，“article-title”：“Church\u2013Rosser属性对于地面术语书写系统是可判定的”，“volume”：“49”，“author”：“Oyamaguchi”，“year”：“1987”，“journal-title“：”理论计算机科学“}，{“issue”：“7”，“key”：”10.1016\/j.apal.2004.04.005_B21”，“文章标题”：“从一组地面方程生成简化地面重写系统的快速算法”，“卷”：“15”，“作者”：“Snyder”，“年”：“1993”，“期刊标题”：“符号计算期刊”}，｛“键”：“10.1016\/j.apal.2004.04.005_B22”，“系列标题”：“软件技术和理论计算机科学基础会议”，“首页”：“334”，“文章标题”：“重写基本AC理论和消去AC理论的闭包”，“卷”：“第2245卷”，“作者”：“Tiwari”，“年份”：“2001”}，{“关键”：“10.1016\/j.apal.2004.04.005_B23”，“系列标题”：《IEEE计算机科学中的逻辑研讨会》，LICS 2002，“第一页“：”447“，”article-title“：”决定多项式时间内某些术语重写系统的汇合“，”author“：”Tiwari“，”year“：”2002“}，{“issue”：“4”，“key”：“10.1016\/j.apal.2004.04.005_B24”，”doi-asserted-by“：”crossref“，”first page“：”227“，“doi”：“101016\/S0020-0190（02）00395-2”，“article-title”：“重写问题的算法和约简”，“volume“：”84“，”author“：”Verma“，”year“：”2002“，”journal-title“：”Information Processing Letters“}，{“issue”：“3”，“key”：“10.1016\/j.apal.2004.04.005_B25”，“first-page”：“257”，“article-title”：“重写问题的算法和约简”，“volume”：”43“，”author“”：“Verma”，“year”：“2001”，“journal-title”“：”Fundamental Informaticae“}]，”containerty-title“：[”Pure and Applied Logic年鉴“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0168007204000673？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://api.elsevier.com/content\/aarticle\/PII：S0168007204000673？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,6]]，“date-time”：“2019-02-06T19:50:03Z”，“timestamp”：1549482603000}，“score”：1，“resource”：{primary“：{”URL“https:”https:\\//linkinghub.elsevier.com\/retrieve\/pi\/S01686 007204000673“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2004,12]]}，”references-count“：25，”journal-sissue“：{“issue”：“1-3”，“published-print”：{“date-part”：[[2004，12]]}}，“alternative-id”：[“S0168007204000673”]，“URL”：“http://\/dx.doi.org\/101016\/j.apal.2004.04.005”，“relation”：{}，8-0072“]，”ISSN-type“：[{”value“：”0168-0072“，”type“:”print“}]，”subject“：[]，“发布了“：{“date-parts”：[[2004,12]]}}}