{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T19:12:20Z”，“时间戳”：1649013140337}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540657637”，“类型”：打印“}，{”值“：“9783540489597”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_25“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16 Z“，”时间戳“：1178211136000}，”页面“：”355-364“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“Jacopini\u2019s定理的结果：一致的等式和方程”]，“prefix”：“10.1007”，”author“：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,5,27]]}，“reference”：[{key：“25_CR1”，非结构化”：“Barendregt，The Lambda Calculus，North Holland，1984年。”}，{“key”：“25_CR2”，“unstructured”：“Berrarducci and Intrigila，Dezani-Ciancaglini，Ronchi Della Rocha，and Venturini Zilli中简单Lambda项的一些新结果，荣誉贡献集Corrado Bohm，Elsevier，1993年。”，“volume-title”：“识别任何组合逻辑模型的两个元素的条件”，“author”：“Jacopini”，“year”：“1975”，“unstructured”：“Jacopini，Bohm编辑的，《计算机科学讲义》，37，Springer-Verlag，1975。”}，{“key”：“25_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Statman，关于组合子方程的解集，TCS，66，p.99\u2013104.”，“DOI”：“10.1016\/0304-3975（89）90148-5”}，{“key”：“25_CR5”，“非结构化”：“Statman，Morphism and partitions of V set，Carnegie Mellon University，Department of Mathematical Sciences Research Report 97-210，September，1997”}，“unstructured”：“Statman，On the existence of n but not n+1 easy combinators，Carnegie Mellon University，Department of Mathematical Sciences Research Report 94\u20131651994年3月。”}，{“key”：“25_CR7”，“unsructured“：“Visser，Numerations，lambda calculations，and算术，in Hindley and Seldin，eds.，To H.B。柯里：《组合逻辑、Lambda微积分和形式主义论文》，学术出版社，1980年。“}”，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-48959-2_25”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,4,27]]，”日期时间“：”2019-04-27T17:22:14Z“，”时间戳“：1556385734000}，”分数“：1，”资源“：{primary”：{“URL”：“http:\/\/link.sprimary.com\/10007\/3-540-48959-2_25”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1999]}，“ISBN”：[“9783540657637”，“978354489597”]，“references-count”：7，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-48959-2_25”，“关系”：{}，“ISSN”：[“0302-9743”]，“ISSN-type”：[{“值”：“0302-7743”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1999]]}}}