{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T12:24:51Z”，“时间戳”：1648556691808}，“引用-计数”：2，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[[1986,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”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90085-x“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：1051265344000}，“交叉参考”，“is-referenced-by-count”：1，“title”：[“每个可数偏序集都可嵌入到不可解词的偏序集中”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[{“给定”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/0304-3975（86）90085-X_BIB1”，“seriest-title”：“the Lambda Calculus”“，”作者“：“Barendregt”，“年份”：“1984”}，{“key”：“10.1016\/0304-3975（86）90085-X_BIB2”，“首页”：“68”，“卷”：“第二卷”，“作者”：“Mostowski”，“年”：“1979”}]，“容器-时间”：[“理论计算机科学”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\\/api.elsevier.com/content\/article\/PII:030439758690085X？httpAccept=text\/xml“，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:030439758690085X？httpAccept=text\/plain”，“内容类型”：“文本\/plaine”，“content-version“：”vor“intended-application:”text-mining“}”，“存放”：{“日期段”：[2019,3,21]]，“日期-时间”：“2019-03-21T20:53:58Z”，“timestamp”：1553201638000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/030439758690085X”}}，《副标题》：[]，“shorttitle”：[]URL“：”http://\/dx.doi.org\/10.1016\/0304-3975（86）90085-x“，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1986]]}}}