{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T19:49:24Z”，“时间戳”：1648928964567}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540659228”，“类型”：“打印”}，{“值”：“9783540488552”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，”crossmark-restriction“：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[1999]]}，“DOI”：“10.1007\/10703163_21”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,10,9]]，“date-time”：“2006-10-09T18:15:50Z”，“timestamp”：1160417750000}，”page“：”313-322“，”source“：“Crossref”，“is-referenced-by-count”：2，“title”：[“V集的形态和分区”]，“前缀”：“101007”，”author“：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“21_CR1”，“volume-title”：“The Lambda Calculus”，“author”：“H.Barendregt”，“year”：“1983”，“unstructured”：“Barendreg，H.：The Lamba Calculus.North Holland，Amsterdam（1983）”}，{“key”：“非结构化”：“Rogers，H.：递归函数理论。McGraw Hill，New York（1967）”}，{“key”：“21_CR3”，“volume-title”：“递归可枚举集合和度数”，“author”：“R.Soare”，“year”：“1993”，“unstructured”：“Soare，R.：递归可枚举集和度数。Springer，Heidelberg：“10.1016\/0304-3975（89）90148-5”，“volume”：“66”，“author”：“R.Statman”，“year”：“1989”，“unstructured”：“Statman，R.：关于组合方程的解集。TCS\u00a066，99\u2013104（1989）”，“journal-title”：“TCS”}，{“key”：：“二阶遗传组合子，CMU数学系研究报告88-33（1988）”}，{“键”：“21_CR7”，“首页”：“259”，“卷标”：“柯里：组合逻辑、兰姆达微积分和形式主义论文”，“作者”：“R.Statman”，“年份”：“1972”，“非结构化”：“Statman，R.，Visser，A.：To H.B.中的数值、兰姆达微积分和算术。摘自：Hindley，J.R.，Seldin，J.P.（编辑）Curry：《组合逻辑论文》，《Lambda微积分与形式主义》，第259\u2013284页。学术出版社，伦敦（1972）“}”，“container-title”：[“计算机科学逻辑”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/10703163_21”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,5,19]]，”date-time“：”2019-05-19T19:29:38Z“，”timestamp“：1558294178000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com\/10.1007\/10703163_21“}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-part”：[1999]]}，，“ISBN”：[“9783540659228”，“97839228”540488552“]，”references-count“：7，”URL“：”http:\/\/dx.doi.org\/10.1007\/10703163_21“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”主题“：[]，”published“：{”date-parts“：[1999]]}}}}