{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T02:41:34Z”，“时间戳”：1649040094370}，“引用-计数”：3，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[1979,7,1]]，“日期时间”：“1979-07-01T00:00:00Z”，“时间戳”：29963520000}，“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”：12435，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“交叉标记限制”：false｝，“短容器标题”：[“理论计算机科学”]，“已发表的印刷品”：｛“日期部分”：[[1979,7]]｝，“DOI”：“10.1016\/00304-3975（79）90004-5”，“类型”：“期刊文章”，“创建的”：｛“日期部分”：[[2002,7,25]，“日期时间”：“2002-07-25T23:48:55Z”，“时间戳”：1027640935000｝，“页面”：“27-38”，“来源”：“Crossref”，“is-referenced-by-count”：9，“title”：[“Church-Rosser strategies in the lambda calculation”]，“prefix”：“10.1016”，“volume”：“9”，“author”：[{“给定”：“Jan”，“family”：“Bergstra”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Jan Willem”，“家族”：“Klop”，“序列”：“additional”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“key”：”10.1016\/0304-3975（79）90004-5_BIB1“，”article-title“：“关于lambda约简的一些注释”，“author”：“Barendregt”，“year”：“1976”，“journal-title”：“lambda演算中的度、约简和表示性”}，{“key”：“10.1016\/0304-3975（79）90004-5_BIB2”，“author”:“Klop”，“year”：”1977“，”journal-title“”：“组合逻辑中的约简循环”}90004-5_BIB3“，“首页”：“160”，“文章标题”：“树操作系统和丘吉尔定理”，“卷”：“20”，“作者”：“Rosen”，“年份”：“1973年”，“期刊标题”：”J.A.C.M.“}]，“容器标题”：[“理论计算机科学”]，“原文标题”：[]，“语言”：“en”，”链接“：[{“URL”：“https:\\/api.elsevier.com/content\/article\/PII:03043979 579900045？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397579900045？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，”存放“：{“date-parts”：[[2019,4,12]，“日期时间”：“2019-04-12T23:42Z”，“时间戳”：1555111422000｝，“分数”：1，“资源”：｛“主要”：｛1979,7]]}，”alternative-id“：[”0304397579900045“]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（79）90004-5”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1979,7]]}}}}