{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,7]]，“日期-时间”：“2023-01-07T15:29:36Z”，“时间戳”：1673105376595}，“引用-计数”：9，“发布者”：“爱思唯尔BV”，“问题”：“3”，“许可证”：[{“开始”：{:“日期-零件”：[[1981,1]]，”日期-时间“：”198 1-01-01T00:00:00Z“，”时间戳“：347155200000}，“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”：11885，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1981]]}，”DOI“：”10.1016\/0304-3975（81）90086-4“，”type“：”journal-article“，”created“：{”date-part“：[2002,10,10]]，”date-time“：”2002-10-100T19:13:42Z“，”timestamp“：1034277222000}”，“page”：“329-338”，“source”“：”Crossref“，“is-referenced-by-count”：11，“title”：[“关于类型化\u03bb演算II:统一问题的转换”]，“前缀”：“10.1016”，“卷”：“15”，“作者”：[{“给定”：“R.”，“家族”：“Statman”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“key”：“101016\/0304-3975（81）90086-4_BIB1”，“author”：“Baxte”R“，“年份”：“1977年”，“期刊标题”：“统一的复杂性，论文，滑铁卢大学数学系CS-77-25”}，{“key”：“10.1016\/0304-3975（81）90086-4_BIB2”，“series-title”：“组合逻辑第一卷”，“author”：“Curry”，“year”：“1968”}，“DOI”：“10.1016\/0304-3975（81）90040-2”，“article-title”：“二阶统一问题的不可判定性”，“volume”：“13”，“author”：“Goldfarb”，“year”：“1981”，“日记标题”：“Theoret.Compute.Sci.”}，{“key”：plms \/s3-2.1.326“，”文章标题“：“抽象代数中的可除性排序”，“volume”：“32”，“author”：“Higman”，“year”：“1952”，“journal-title”：“Proc.London Math.Soc.”}，{“key”：”10.1016\/0304-3975（81）90086-4_BIB5“，”first page“：”192“，”article-title“：”Unification in typed\u03bb calculations“，”volume“：10.1016\/0304-3975（81）90086-4_BIB6“，“doi-asserted-by”：“crossref”，“first page”：“67”，“doi”：“10.1016\/0304-3975（79：“crossref”，“first page”：“73”，“DOI”：“10.1016\/0304-3975（79）90007-0”，“article-title”：“类型化的\u03bb-calculus不是初等递归”，“volume”：“9”，“author”：“Statman”，“year”：“1979”，“journal-title“：”Theoret.Compute.Sci.“}，{”key“：”10.1016\/0304-975（81）90086-4_BIB8“，”DOI-asserted-by“：”crossref“，”unstructured“：”R。《Statman，完备性，不变性和\u03bb-definitibility》，J.符号逻辑，即将出版。“，”DOI“：”10.2307\/2273377“}，{“key”：“10.1016\/0304-3975（81）90086-4_BIB9”，“unstructured”：“R.Statman，On the existing of closed terms in the typed \u03bb-calculus I.to appear in the festschrift for H.B.Curry.”}]，“container-title”：[“Theory Computer Science”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0304397581900864？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397581900864？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“存放”：{“date-parts”：[[2019,4,11]]，“date-time“：”2019-04-11T09:25:17Z“，”timestamp“：1554974717000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397581900864”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1981]}，‘references-count’：9，‘journal-issue’：{‘issue’：“3”，“pub”lished-print“：{”date-parts“：[[1981]]}}，”alternative-id“：[”0304397581900864“]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（81）90086-4”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1981]]}}}}