{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,5]]，“日期-时间”：“2024-07-05T17:38:48Z”，“时间戳”：1720201128922}，“引用-计数”：55，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[1986,1,1]]，《日期-时间》：“1986-01-01T00:00:00Z“，”timestamp“：504921600000}，”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”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90175-1“，”type“：”journal-article“，”created“：{”date-part“：[[2003,5,13]]，”date-time“：”2003-05-13T00:04:58Z“，”timestamp“：1052784298000}“page”：“189-200”，“source”：“交叉参考”，“is-referenced-by-count”：51，“special_numbering”：“C”，“title”：[“方程理论中的统一器和匹配器的完整集合”]，“prefix”：“10.1016”，“volume”：“43”，“author”：[{“given”：”Fran\u00e7ois“，“family”：“Fages”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“G\u00e9rard”，“fame”：“Huet”，“序列”：“additional”，“从属关系”：[]}]，“成员”：“78”，“reference”：[｛“key”：“10.1016/0304-3975（86）90175-1_bib1”，“文章标题”：“统一的复杂性”，“作者”：“Baxter”，“年份”：“1977”｝，｛“key”：“10.1016/0304-3975（86）90175-1_bib2”，“doi asserted by”：“crossref”，“首页”：“170”，“doi”：“10.1016/S0019-9958（78）90172-9”，“文章标题”：“三阶并元统一问题的不可判定性”，“volume”：“38”，“author”：“Baxter”，“year”：“1978”，“journal-title”：“Inform.and Control”}，{“key”：”10.1016\/0304-3975（86）90175-1_bib3“，”series-title“：”POP-2中的编程“，”author“：”Burstall“，“year:”1971“}，“key“”：“L'anatomie de Prolog II”，“author”：“Van Caneghem”，“year”：“1984”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib5”，“series-title”：“Rappt.Int.，Groupe d'Intelligence Artificielle”，“article-title”：《PrologⅡ》，manuel de r \u00e9f \u00e 9rence et mod \u00e-8le th\u00e_9orique”，“作者”：“Colmerauer”，“年份”：“1982”}，{“键”：“10.1016\/0304-3975（86）90175-1_bib6”，“series-title”：“Rappt.Int.，GIA”，“article-title”：“\u00c9tude et r\u00e9alisation d'un syst\u00e8me PROLOG”，“作者”：“Colmerauer”，“年份”：“1972”}，{“问题”：“3”，“密钥”：“10.1016\/0304-3975（86）90175-1_bib7”，“doi-asserted-by”：“crossref”，“首页”：“233”，47”，“文章标题”：“希尔伯特的第十个问题无法解决”，“卷”：“80”，“author”：“Davis”，“year”：“1973”，“journal-title”：“Amer.Math.Monthly”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib8”，“doi-asserted-by”：“crossref”，”doi“：”10.1016\/S0747-7171（85）80027-4 J.符号计算“}，{”键“：“10.1016\/0304-3975（86）90175-1_bib9”，“article-title”：“Formes canoniques dans les alg\u00e8bres bool\u00e 9ennes et application\u00e0la d\u00e9monstration automatique en logique de premier ordre”，“author”：“Fages”，“year”：“1983”}，{“key”：“10.106\/0304-1975（86）90 175-1_bin10_1”，“unstructured”：“F.Fages，Associative-commutative unified，Res●●●●。REpt公司。巴黎LITP；提交给J.符号计算。；“}，{”key“：”10.1016\/0304-3975（86）90175-1_bib10_2“，”series-title“：”INRIA Rept.No.287 presented at CADE'7“，”volume“：“170”，”author“：”Fages“，”year“：”1984“}”，{“key”：“10.1016\/0304-2975（86 u00e9sentation et objectorie，mise en\u0153vre“，”author“：”Fages“，”年份：“1985”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib12”，“series-title”：“第四次自动演绎研讨会”，“首页”：“161”，“文章-标题”：“方程理论中的一阶统一”，“author”：“Fay”，“year”：“1979”}I“：”10.1016\/0304-3975（81）90040-2“，“文章标题”：“二阶统一问题的不可判定性”，“卷”：“13”，“作者”：“戈德法布”，“年份”：“1981年”，“期刊标题”：《理论》。计算。科学。“}，{”key“：”10.1016\/0304-3975（86）90175-1_bib14“，”article-title“：”omega顺序逻辑的匹配过程“，”author“：”Gould“，”year“：”1966“，”journal-title”：“Scient.Rept.1，AFCRL 66-781”}，“key”：“10.1016\/0304-2975（86“日志标题”：“科学报告。1，AFCRL 64-411“}，{“key”：“10.1016\/0304-3975（86）90175-1_bib16_1”，“article-title”：“Recherches sur la th\u00e9orie de la d\u00e9管理”，“author”：“Herbrand”，“year”：“1930”}，}“key:”10.1016\\0304-3975：“Herbrand”，“年份”：“1968”}，{“密钥”：“10.1016\/0304-3975（86）90175-1_bib17“，”article-title“：“自动定理证明和程序生成的主题”，“author”：“Xiang”，“year”：“1982”}，{“key”：“10.1016\/0304-3975（86）90175-1_ bib18”，“doi-asserted-by”：“crossref”，“first-page”：“257”，“doi”：“101016\/S0019-9958（73）90301-X”，“article-title”：“三阶逻辑统一的不可判定性”，“volume”：”22“，“”作者：“Huet”，“year”：“1973”，“journal-title”：“Inform”。和Control“}，{“issue”：“1”，“key”：“10.1016\/0304-3975（86）90175-1_bib19”，“doi-asserted-by”：“crossref”，“first-pages”：“27”，“doi”：“101016\/0304-3975（75）90011-0”，“article-title”：“typed\u03bb-calculus的统一算法”，“volume”：”1“author”：“Huet”，“year”：“1975”，“journal-title“Theoret.Compute.Sci”}，{“键”：“10.1016\/0304-3975（86）90175-1_bib20“，”article-title“：”R\u00e9solution d'\u00e 9quations dans des langages d'ordre 1,2，。。。，\u03c9“，”author“：”Huet“，”year“：”1976“}，{”issue“：”3“，”key“：”10.1016\/0304-3975（86）90175-1_bib21“，”doi-asserted-by“：”crossref“，”first-page:“144”，”doi“：”101016\/20020-0190（78）90078-9“，“article-title”：“生成齐次线性Diophantine方程解的基础的算法”，“volume”：“7”，“author”：“Huet”，“年份”：“1978”，“journal-title“：”通知。过程。莱特。“｝，｛”key“：”10.1016/0304-3975（86）90175-1_bib22“，”系列标题“：”形式语言：视角和开放问题“，”文章标题“：”方程和重写规则：调查“，”作者“：”Huet“，”年份“：”1980“｝，｛”key“：”10.1016/0304-3975（86）90175-1_bib23“，”文章标题“：”汇编形式的经典文献“，”作者“：”Hullot“，”year“：”1980“}，{”key“：”10.1016\/0304-3975（86）90175-1_bib24“，”doi-asserted-by“：”crossref“，”first page“：“123”，”doi“：”101016\/0304-3975（76）90021-9“，“article-title”：“通过统一实现\u03c9阶型理论的机械化”，“volume”：“3”，“author”：“Jensen”，“year”：“1977”，“journal-title“：”Theoret.Compute.Sci.}，{“键”：“10.1016\/0304-3975（86）90175-1_bib25“，”series-title“：”Proc。10th ICALP”，“文章标题”：“等式理论中统一算法的增量构建”，“作者”：“Jouannaud”，“年份”：“1983”}，{“密钥”：“10.1016/0304-3975（86）90175-1_bib26”，“系列标题”：“重写技术与应用程序”，“首页”：“417”，“文章标题”：“匹配问题的复杂性”，“卷”：“202”，“作者”：“Kapur”，“年份：“1985”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib27”，“article-title”：“Contribution\u00e0la r\u00e9solution d'\u00e 9quations dans les alg\u00e-8bres libres et les varia\u00e_9tes\u00e9quationnelles d'alg\u 00e8bres”，“author”：“Kirchner”，“year”：“1982”}、{“key”：”10.1016\/0304-975（86）90175-1_bib28“，”文章标题“：”M\u00e9thodes et outils de conception syst\u00e 9matique d'algorithmes d'unified dans les-th\u00e_9ories\u00e9quationnelles“，“author”：“Kirchner”，“year”：“1985”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib29”，“series-title”：“抽象代数中的计算问题”，“first page”：author“：”Knuth“，”year“：”1970“}，{”key“：”10.1016\/0304-3975（86 kford“，”年份“：”1983“}，{“key”：“10.1016\/0304-3975（86）90175-1_bib32”，“series-title”：“国际报告3\/76”，“文章标题”：“袋子和布景的统一”，“作者”：“Livesey”，“年份”：“1976”}，}“key:”10.1016\/0304-2975（86结合性、交换性、分配性和幂等公理组合的统一问题”，“author”：“Livesey”，“year”：“1979”}，{“issue”：“2”，“key”：“10.1016\/0304-3975（86）90175-1_bib34”，“first page”：《287》，“article-title”：“自由半群中方程的可解性问题”，《volume》：“23”，“作者”：“Makanin”，“年份”：“1977”，“新闻标题“：”阿卡德。恶心。SSSR公司。TOM“}，{“issue”：“2”，“key”：“10.1016\/0304-3975（86）90175-1_bib35”，“doi-asserted-by”：“crossref”，“first page”：《首页》：“258”，“doi”：“101145\/357162.357169”，《article-title》：“高效统一算法”，“卷”：“4”，“作者”：“Martelli”，“年份”：“1982”，“日志标题”：“ACM TOPLAS”}，}“key“：”10.1016\/030 4-3975（86）90175-1_bib36“，”系列标题“：”程序。第二届斯堪的纳维亚逻辑研讨会”，“article-title”：“递归可枚举谓词的丢番图表示”，“author”：“Matiyasevich”，“year”：“1970”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib37”，“doi-asserted-by”：“crossref”，“first page”：《158》，“doi”：“101016\/20022-0000（78）90043-0”，《article-title》：“线性统一”，“卷”：“16”，“作者”：“Paterson”，“年份”：“1978年”，“新闻标题”：“J.Compute。系统科学。“}，{”issue“：”2“，”key“：”10.1016\/0304-3975（86）90175-1_bib38“，”doi-asserted-by“：”crossref“，”first-page“：”233“，”doi“：”101145\/32248.322251“，”article-title“：”带完全统一算法的方程理论的完整约简集“，”volume“：“28”，“author”：“Peterson”，“year”：“1981”，“journal-title”：“J.ACM”}，”{“key”：“10.1016 0304-3975（86）90175-1_bib39“，“首页”：“73”，“文章标题”：“内建方程理论”，“卷”：“7”，“作者”：“Plotkin”，“年份”：“1972年”，“期刊标题”：《机器智能》}，{“关键”：“10.1016\/0304-3975（86）90175-1_ bib40”，“论文标题”：”匹配与统一问题的最新发展简况“，卷”：第13卷，“作者“：”Raulefs“，年”：“1979年，“新闻标题”：“Sigsam Bull。1979年），{“key”：“10.1016/0304-3975（86）90175-1_bib41”，“doi断言者”：“crossref”，“第一页”：“32”，“doi”：“10.1145\/32250.321253”，“文章标题”：“基于解析原理的面向机器的逻辑”，“卷”：“12”，“作者”：“Robinson”，“年份”：“1965”，“期刊标题”：“J.ACM”}，{“key”：“10.1016/0304-3975（86）90175-1_bib42”，“第一页”：“135“，”article-title“：”等式一阶理论中的Paramodulation和定理证明“，“volume”：“4”，“author”：“Robinson”，“year”：“1969”，“journal-title”：“机器智能”}，{“key”：”10.1016\/0304-3975（86）90175-1_bib43“，”series-title“：“技术注释73”，“article-title”:“QA4：直觉推理的程序演算”，“作者”：“Rulifson”，”年：“1972年“}，{“key”：“10.1016\/0304-3975（86）90175-1_bib44”，“series-title”：“Memo CSM-4-78”，“article-title”：”统一与匹配问题“，“author”：“Siekmann”，“year”：“1978”}，“key“：”10.1016\/0304-2975（86，“年份”：“1982年“}，{”key“：”10.1016\/0304-3975（86）90175-1_bib46“，”doi-asserted-by“：”crossref“，”first page“：“622”，“doi”：“10.1145\/321850.321859”，“article-title”：“带简单化子、交换性和结合性的理论的自动理论证明”，“volume”：“21”，“author”：“Slagle”，“year”：“1974”，“journal-title“：”J.ACM“}/0304-3975（86）90175-1_bib47“，”series-title“：”第四国际。人工智能联合委员会“，“article-title”：“关联交换函数的完整统一算法”，“author”：“Stickel”，“year”：“1975”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib48”，“article-titel”：“人工智能语言的统一算法”10.1016\/0304-3975（86）90175-1_bib49“，”doi-asserted-by“：”crossref“，”first page“：”423“，”doi“：”10.1145\/32261.322262“，”article-title“：”关联交换函数的完整统一算法“，”volume“：“28”，“author”：“Stickel”，“year”：“1981”，“journal-title”：“J.ACM”}，{“issue”：“IV”，“key”：“10.1016\\0304-3975（86）90175-1_磅50“，”doi-asserted-by“：”crossref“，”first-page“：”361“，”doi“：”10.1007\/BF02575754“，”article-title“：”一阶表达式统一算法的复杂性“，”volume“：”XII“，”author“：”Venturini Zilli“，”year“：”1975“，”journal-title”：“Calcolo”}，{“key”：“10.1016\/0304-3975（86）90175-1_bib51“，”article-title“：”理论组合与不相交函数符号集的统一”，“作者”：“潮汐”，“年份”：“1985年”，“期刊标题”：“皇家理工学院计算机科学系，S-100 44”}，{“关键”：“10.1016\/0304-3975（86）90175-1_bib52”，“级数”：“组合有限方程理论的统一算法”，“作家”：“Yellick”，“年”：“1985年“}，{”key“：”10.1016\/0304-3975（86）90175-1_bib53“，”article-title“：”计算逻辑：统一计算“，”volume“：“Vol.6”，”author“：”Robinson“，”year“：”1971“}]，”container-title”：[“理论计算机科学”]，”original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\\/api.elsevier.com/content\/article:/PII:0304397585 6901751？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901751？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,3,21]]，“date-time“：”2019-03-21T08:53:05Z“，”timestamp“：1553158385000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397586901751“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1986]}，《参考计数》：55，“alternative-id”：[“030439756901751]”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（86）90175-1“，”关系“：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”值“：”0304-975“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[1986]]}}}