{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T04:25:47Z”，“时间戳”：164870074754}，“引用-计数”：33，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DOI“：”10.1109\/lics.1998.705663“，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,11,27]]，“date-time”：“2002-11-27T20:47:00Z”，“timestamp”：1038430020000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“二阶统一与同时刚性E-unified的关系”]，“prefix”：“10.1109”，“author”：[{“given”：：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref32”，“author”：“voronkov”，“year”：“1998”，“journal-title”：“与Herbrand定理相关的同时刚性E-统一和其他决策问题”}，{“key”：”ref31“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1998.705662“}，”{“密钥”：“ref30”，“首页”：“32”，“卷”：“1104”，“author”：“voronkov”，“year”：“1996”，“journal-title”：“自动演绎？CADE-15”}，{“key”：“ref10”，“首页”：“243”，“volume”：”b“，”author“：”dershowitz“，“year:”1990“，”journal-title“：”理论计算机科学手册“}，”{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（88）90015-2”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（06）80003-4”}，{“key”：“ref13”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/LICS.1988.5121“}”，{”key“：”ref14“，”first page“：“338”，“article-title”：“使用刚性E-统一的定理证明：方程组配”，“author”：“galler”，”year“：”1987“，”journal-title“：“Proc IEEE Conference on Logic in Computer Science（LICS）”}，{“key”：“ref15”，“author”：“g\uffdcseg”，“year”：“1984”，“journal-title”：“Tree Automata”}、{“密钥”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（81）90040-2”}：“与Herbrand定理相关的一些不可判定问题”}，{“key”：“ref18”，“doi-asserted-by”：“crossref”，“first page”：”154“，“doi”：“10.1007\/3-540-63165-8_173”，“article-title”：“一元同时刚性E-统一及相关问题”，“volume”：《1256》，“author”：“gurevich”，“year”：“1997”，“journal-title“：“自动机语言与程序设计第24届国际学术讨论会ICALP’97”}，{“key”：“ref22b”，“volume”：“117”，“year”：“1981”，“期刊标题”：“Amer Math Soc Transl（2）”}，{“key”：“ref19”，“author”：“hopcroft”，“year”：“1979”，“期刊标题”：“自动机理论语言与计算导论”}，{“key”：“ref22a”，“doi asserted by”：“publisher”，“doi”：“10.1070\/SM1977v032n02ABEH002376”}，{“key”：“ref28”，“author”：“veanes”，“year”：“1997”，“journal-title”：“On Simultaneous Rigid E-Unification”}、{“密钥”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0052370”}：“Church-style多态性的二阶统一和类型推断”}，{“key”：“ref3”，“first page”：”95“，“volume”：：“909”，“author”：“dauchet”，“year”：“1993”，“journal-title”：“Term Rewriting（French Spring School of Theory Computer Science）”}、{“key”：《ref6》，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1996.561466”}，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-63385-5_52”}，{“key”：“ref5”，“author”：“degtyarev”，“year”：“1996”，“journal-title”：“Herbrand定理和方程推理问题及解决方案”}泰亚雷夫“，“年份”：“1995年”，“新闻标题”：“同时刚性电子统一是不可判定的”}，｛“key”：“ref2”，“doi断言”：“publisher”，“doi”：“10.1006\/jsco.1997.0185”}，｛“key”：“ref9”，“doi断言”：“publisher”，“doi”：“10.1016\/00304-3975（96）00092-8”}，｛“key”：“ref1”，“首页”：“117”，“卷”：“2”，“作者”：“barendregt”，“年份”：“1992”，“期刊标题”：“计算机科学中的逻辑“，{“key”：“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-61464-8_63”}“article-title”：“递归可枚举集的不幻象”，“author”：“matiyasevi？”，“year”：“1970”，“journal-title”：“Soviet Mathematical DoMady”}，{“key”：“ref26”，“author”：“schmidt-schau\ufffd”，“年”：“1995”，“日记标题”：“分层二阶项的统一”}、{“密钥”：“ref25”，“作者”：“plaisted”，“年份”：“95”，“日志标题”：”刚性电子统一的特例和替代品“}]，“event”：{“name”：“第十三届IEEE计算机科学逻辑研讨会”，“地点”：“印第安纳波利斯，印第安纳州，美国”，“首字母缩写词”：“LICS-98”}，“容器-标签”：[“会议记录.第十三届计算机科学逻辑IEEE研讨会（分类号98CB36226）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx4\/5684\/15253\/00705663.pdf？arnumber=705663”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,3,11]]，“date-time”：”2020-03-11T11:41:59Z“，“timestamp”：1583926919000}，“score”：1，“resource”：{primary“：”{“URL”：“http://ieeexplore.iee.org\/document\/705663\/”}，”subtittle“：[]，“短标题”：[]，”已发布“：{”日期部分“：[[null]]}，“references-count”：33，“URL”：“http://\/dx.doi.org\/10.109\/lics.1998.705663”，“relation”：{}，”subject“：[]}}”