{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,8,12]，“日期-时间”：“2022-08-12T02:29:22Z”，“时间戳”：1660271362554}，“引用-计数”：4，“发布者”：“爱思唯尔BV”，“问题”：“3”，“许可证”：[{“开始”:{“日期-零件”：[[1989,8,1]]，“日期时间”：“1989-08-01T00:00:00Z”，“时间戳”：617932800000}，“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”：8751，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1989,8]]}，”DOI“：”10.1016\/0304-3975（89）90157-6“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,26]]，”date-time“：”2002-07-26T00:17:21Z“，”timestamp“：1027642641000}”，“page”：“323-331”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“On pseudo-c\u03b2normal form in combination logic”]，“prefix”：“10.1016”，“volume”：“66”，“author”：[{“给定”：“Mohamed”，“family”：“Mezghiche”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0304-3975（89）90157-6_BIB1“，”series-title“组合逻辑”I“，”author“：”Curry“，”year“：”1958“}，｛“键”：“10.1016/0304-3975（89）90157-6_BIB2”，“作者”：“Hindley”，“年份”：“1982”，“期刊标题”：“一些\u03b2强还原”｝，｛“键”：“10.1016/0304-3975（89）90157-6_BIB3”，“系列标题”：“\u03bb微积分和组合器的介绍”，“作者”：“Hindley”，“年份”：“1986”｝，｛“键”：“10.1016/0304-3975（89）90157-6_BIB4”，doi断言由“：”交叉引用“，“首页”：“151”，“DOI”：“10.1016\/0304-3975（84）90132-4”，“文章标题”：“Une nouvelle c\u03b2 reduction dans la logique combinetoire”，“volume”：“31”，“author”：“Mezghich”，“year”：“1984”，“journal title”：“Theoret.Compute.Sci.”}]，“container title”:[“理论计算机科学”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397589901576？httpAccept=text\.xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsevier.com\/content\/artracle\/PII：0304397589901576？httpAccept=text\/plain”，“内容类型”：“文本\/plaine”，“content-version“”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,4,12]]，“date-time”：“2019-04-12T09:56:13Z”，“timestamp”：1555062973000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/0304397589901576”}，”substitle“：[]，”shorttitle“:[]，“issued”：{date parts“：[[1989,8]]}，“references-count”：4，“日志-问题”：{“问题”：“3”，“发布-打印”：{“日期-部分”：[[1989,8]]}}，“替代id”：[“0304397589901576”]，“URL”：“http://\\/dx.doi.org\/10.1016\/0304-3975（89）90157-6”，“关系”：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}”]，“主题”：[]，“已发布”：{“日期部分”：[[1989,8]]}}