{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T23:43:03Z”，“时间戳”：1649202183269}，“出版商位置”：“柏林，海德堡”，“参考计数”：3，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540291060”，“类型”：“打印”}，{“值”：“9783540320241”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11560586_32“，”type“：”book-capter“，”created“：”{“date-part”：[2005,10,20]]，“date-time”：“2005-10-20T14:08:27Z”，“时间戳”：1129817307000}，“页面”：“406-409”，“源”：“Crossref”，“被计数引用”：0，“title”：[“Two Variables Are Not Enough”]，“prefix”：“10.1007”，“author”：[｛“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“32_CR1”，“nonstructured”：“Barendregt，The Lambda Calculus，North Holland（1984）”｝，｛“key”：“32_CR2”，“nonstructured”：“Klop，组合约简系统数学.Centrum Amsterdam（1980）”}，{“key”：“32_CR3”，“unstructured”：“Statman，二阶组合子CMU数学系技术报告88-33（1988年8月）”}]，“container-title”：[“计算机科学课堂讲稿”，“理论计算机科学”]，“original-tittle”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11560586_32.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,4,27]]，“date-time”：”2021-04-27T07:13:21Z“timestamp”：1619507601000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/11560586_32”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2005]]}43“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-349“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2005]]}}}