{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,6]]，“日期-时间”：“2023-01-06T16:37:27Z”，“时间戳”：1673023047538}，“引用-计数”：21，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[[1995,10,1]]，”日期-时间“：”199 5-10-01T00:00:00Z“，”时间戳“：812505600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：6499，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1995,10]]}，”DOI“：”10.1016\/0304-3975（95）00080-g“，”type“：”journal-article“，”created“：{”date-part“：[[2003,5,13]]，”date-time“：”2003-05-13T00:04:58Z“，”timestamp“：105278429800}”，“page”：“361-374”，“source”“：”Crossref“，“is-referenced-by-count”：13，“title”：[“r-consistent and left-linear term rewriting systems的模块化终止”]，“prefix”：“10.1016”，“volume”：“149”，“author”：[{“给定的”：“Manfred”，“family”：“Schmidt-Schau\u00df”，《sequence》：“first”，“affiliation”：[]}，{“given”：“”，“family”：“Panitz”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/0304-3975（95）00080-G_BIB1”，“series-title”：“Proc 8th Conf.on Automated Deduction”，“first page”：”5“，”article-title“：”Commutation，transformation and termination“，”volume“Vol.230”，“author”：“Bachmair”，“year”：“1986”}，{“key”：“10.1016\/0304-3975（95）00080-G_BIB2”，“doi-asserted-by”：“交叉引用”，“首页”：“69”，“doi”：“10.106\/S0747-7171（87）80022-6”，“文章标题”：“重写的终止”，“卷”：“3”，“作者”：“Dershowitz”，“年份”：“1987”，“日志标题”：《符号计算杂志》。“}”，{“键”：“1016\/030-3975（95-00080-G_BIB IB3“，“首页”：“243”，“文章标题”：“重写系统”，“卷”：“卷B”，“作者”：“Dershowitz”，“年份”：“1990”}，{“key”：“10.1016\/0304-3975（95）00080-G_BIB4”，“doi-asserted-by”：“crossref”，“article-title”：“Termersetzungsysteme”，“author”：“Drosten”、“year”：“1989”，“doi”：“101007\/978-3642-74769-4”}（95）00080-G_BIB5“，“系列标签”：“Proc.Internat.Conf.on Logic Programming and Automated Reasoning”，“first page”：“285”，“article-title”：“Relating innermost，weak，uniform and moduled term termination of term rewriting systems”，“volume”：《第624卷》，“author”：“Gramlich”，“年份”：“1992”}，{“key”：”10.1016\/0304-3975（95）00080-G_BIB6“，“doi-asserted-by”：“crossref”，“首页”：“797”，“doi”：“10.1145\/32217.322230”，“文章标题”：“Confluent reduction:抽象属性和术语重写系统的应用”，“卷”：“27”，“作者”：“Huet”，“年份”：“1980”，“期刊标题”：“J.ACM”}，｛“密钥”：“10.1016/0304-3975（95）00080-G_BIB7”，“首页”：“1”，“文章标题”：“术语重写系统”，“卷”：“第2卷”，“作者”：“Klop”，“年份”：“1992”｝，{“key”：“10.1016\/0304-3975（95）00080-G_BIB8”，“首页”：“357”，“文章标题”：“术语重写系统中简单终止的模块化”，“卷”：“14”，“作者”：“Kurihara”，“年份”：“1991年”，“期刊标题”：《J.Inform.Processing》}，{“key”：：“UN\u2192用于左线性项重写系统的模块化”，“author”：“Marchiori”，“year”：“1994”}，{“key”：“10.1016\/0304-3975（95）00080-G_BIB10”，“doi-asserted-by”：“crossref”，”article-title“：“Modularity of completemplety reviewed”，“作者”：“Marchiori“，”year“：”1994“，”doi“10.1007\/3-59200-8_43”}975（95）00080-G_BIB11“，“series-title”：“第四届IEEE计算机科学逻辑交响曲汇编”，“第一页”：“396”，“文章标题”：“重写系统直和终止的充分条件”，“作者”：“Middeldorp”，“年份”：“1989”}，{“键”：“10.1016\/0304-3975（95）00080-G_BIB12”，“论文标题”：：“Middeldorp”，“年份”：“1990”}，{“key”：“10.1016\/0304-3975（95）00080-G_BIB13”，“series-title”：“Proc.4th RTA-91”，“首页”：“188”，”article-title“：“构造器系统组合的完备性”，“卷”：“Vol.488”，“author”：“Midteldorp”，“year”：“1991”}ted-by“：”crossref“，”首页“：”347“，“DOI”：“10.1016\/0020-0190（94）00187-4”，“article-title”：“终止对于汇合的变量存储项重写系统来说不是模块化的”，“volume”：“53”，“author”：“Ohlebusch”，“year”：“1995”，“journal-title“：“Inform.Processing Lett.”}，{“key”：”10.1016\/0304-3975（95）00080-G_BIB15“，”DOI-asserted-by“crossref”，“article-titel”：“可组合术语重写系统的模块属性”，“author”：“Ohlebusch”，“year”：“1994”，“DOI”：“10.1006\/jsco.1995.1036”}，{“key”：“101016\/0304-3975（95）00080-G_BIB16”，“article-title”：“逻辑程序的终止特征”，“author”:“Rao”，“year”：”：“1993”}、{“key”：参考“，“首页”：“65”，“DOI”：“10.1016\/0020-0190（87）90039-1”，“文章标题”：“终止术语重写系统的直接和”，“卷”：“26”，“作者”：“Rusinowitch”，“年份”：“1987”，“新闻标题”：”通知处理信件“}，{“关键字”：“101016\/0304-3975（95）00080-G_BIB18”，“DOI-asserted-by”：“crossref”，“首页面”：“51”，“Do”我“：“10.1016\/S0747-7171（89）80022-7”，“article-title”：“任意不相交方程理论组合的统一”，“volume”：“8”，“author”：“Schmidt-Schau\u00df”，”year“：“1989”，“journal-title“：”J.Symbolic Comput.“}，{“key”：”10.1016\/0304-3975（95）00080-G_BIB19“，”doi-asserted-by“：”crossref“，”first page“：”141“，“doi”：“10.12016”\/0020-0190（87）90122-0“，“article-title”：“重写系统直接和终止的反例”，“volume”：“25”，“author”：“Toyama”，“year”：“1987”，“journal-title“：”Inform.Processing Lett.“}，{“key”：”10.1016\/0304-3975（95）00080-G_BIB20“，”doi-asserted-by“：”crossref“，”first page“：”128“，”doi“：”10.1145\/7531.7534“，”article-title“：“关于重写系统项直接和的Church-Rosser属性”，“卷”：“34”，“作者”：“富山”，“年份”：“1987”，“新闻标题”：“J.ACM”}，{“键”：“10.1016\/0304-3975（95）00080-G_BIB21”，“系列标题”：：“左线性项重写系统的直接和的终止”，“卷”：“Vol.355”，“作者”：“富山”，“年份”：“1989”}]，“容器-标题”：[“理论计算机科学”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:030439759500080G？httpAccept=text\/xml”，“内容类型”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:030439759500080G？httpAccept=text\/plain”，“content-type”：“文本\/plaine”，“内容-version“：”vor“，”intended-application“：”text-miniing“}”，“存放”：{“日期-部件”：[2019,4,26]]，“日期-时间”：“2019-04-26T1 8:54:10Z“，”时间戳“：1556304850000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/030439759500080G”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1995,10]]}，‘references-count’：21，‘journal-issue’：{‘issue’：“2”，‘published-print’：{”date-ports“：[[1995,10]]}}，“alternative-id”：[“03043975950080G”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（95）00080-g”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期-部件”：[[1995,10]]}}}}