{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,1]]，“日期-时间”：“2022-04-01T09:39:11Z”，“时间戳”：1648805951899}，“引用-计数”：9，“发布者”：“爱思唯尔BV”，“问题”：“1-2”，“许可证”：[{“开始”：{/“日期-零件”：[1993,12,1]]，1993-12-01T00:00:00Z“，”时间戳“：754704000000}，“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”：7168，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1993,12]]}，”DOI“：”10.1016\/0304-3975（93）90096-c“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,25]]，”date-time“：”2002-07-25T23:47:37Z“，”timestamp“：1027640857000}“page”：“441-448”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“不存在组合词的一些示例”]，“prefix”：“10.1016”，“volume”：“121”，“author”：[{“given”：”Rick“，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：（10.1016\/0304-3975（93）90096-C_BIB1“，”series-title“：”The Lambda Calculus“，”author“Bar”endregt“，”年份“：”1985“}，{”关键“：“10.1016\/0304-3975（93）90096-C_BIB2”，“doi-asserted-by”：“交叉引用”，“首页”：“71”，“doi”：“10.12016\/034-3975（93）90004-7”，“文章标题”：“关于简单lambda-terms的一些新结果”，“卷”：“121”，《作者》：“Berarducci”，“年份”：“1993”，“期刊标题”：《理论计算科学》}，{“关键字”：“1016\/030-397 5（93）90096-C_BIB3“，“卷”：“卷1”，“作者”：“咖喱”，“年份”：“1958”}，{“key”：“10.1016\/0304-3975（93）90096-C_BIB4”，“series-title”：“To Mockingbird”，“author”：“Smullyan”，“year”：“1985”}le-title“：“关于组合方程的解集”，“卷”：“66”，“作者”：“Statman”，“year”：“1989”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：“10.1016\/0304-3975（93）90096-C_BIB6”，“unstructured”：“R.Statman，没有超循环S，K组合子，卡内基梅隆数学技术部报告91-133。”}al标题“：“弱组合逻辑和lambda演算IAC报告中的递归和头递归”}，{“key”：“10.1016\/0304-3975（93）90096-C_BIB8”，“series-title”：“组合逻辑、lambda微积分和形式主义论文”，“首页”：“259”，“article-title”：《数值、lambda-演算和算术》，“author”：“Visser”，“year”：“1980”}、{“key”：“10.1016\/0304-3975（93）90096-C_BIB9”，“article-title”：“不动点组合词的存在与缺失”，“author”：“Wos”，“year”：“1988”，“journal-title“：”预印数学与C.S.Argonne Nat.Labs“}]，“container-title：“https:\/\/api.elsevier.com/content\/article\/PII:030439759390096C？httpAccept=text\.xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}，{“URL”：“http:\/\-api.elsever.com/content\/article \/PII:0304390096c？httpAccess=text\/plain”离子“：”vor“，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,4,13]]，“date-time”：“2019-04-13T00:25:10Z”，“timestamp”：1555115110000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/030439759390096C”}}，”subtitle“：[]，”shorttitle“：[]，”issued“{”date-parts“：[[1993,12]}，”references-count“：9，“日志-问题”：{“问题”：“1-2”，“发布-打印”：{“日期-部分”：[[1993,12]]}}，“替代id”：[“030439759300096C”]，“URL”：“http://\\/dx.doi.org\/10.1016\/0304-3975（93）90096-c”，“关系”：{}，”ISSN“：[”0304-975“]，”ISSN-type“：[{”value“：”0304-3975“，”type“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1993,12]]}}}