{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T05:53:29Z”，“时间戳”：1649051609556}，“参考-计数”：9，“出版商”：“爱思唯尔BV”，“许可证”：[{“开始”：{-“日期-零件”：[2016,10,1]]，“日期时间”：”2016-10-01T00:00:00 Z“，”timestamp“：1475280000000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2016,9,20]]，“date-time”：“2016-09-20T00:00:00Z”，“timestamp”：14743296000000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/license\/by\/4.0 \/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2016,10]]}，“DOI”：“10.1016\/j.entcs.2016.09.044”，“type”：“journal-article”，“created”：{“date-ports”：[C016,10,7]]，“date-time”：“2016-10-07T16:34:22Z”，“timestamp”：14758062000}，”page：“299-304”，“source”：”Crossref“，”is-refered nced-by-count“：1，“title”：[“On the Representation of Semigroups and Other Conjuences in the Lambda Calculus”]，“prefix”：“10.1016”，“volume”：“325”，“author”：[{“gived”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：“，”年份“：“1982”}，{“key”：“10.1016\/j.entcs.2016.09.044_br0020”，“article-title”：“关于Entscheidungs问题的注释”，“volume”：”1“，“author”：“Church”，“year”：“1936”，“journal-title“：符号逻辑杂志”}“1958”}，{“密钥”：“10.1016\/j.entcs.2016.09.044_br0040”，“series-title”：“组合符和分区理论”，“author”：“Statman”，“year”：“1988”}，{“key”：“10.106\/j-entcs.20160.09.044_br0050”，”doi-asserted-by“：”crossref“，”doi“：”10.1016\/0304-3975（93）90096-C“，作者“：”Statman“，”年份“：”1993“，“journal-title”：“理论计算机科学”}，{“key”：“10.1016\/j.entcs.2016.09.044_br0060”，“unstructured”：“R.Statman，On Cartesian Monoids，CSL'97 LNCS 1258.”}；{“key”：”10.1016\/j.entcs.2016.08.044_br 0070“，”series-title“：”CSL“，”article-title“：“V集的形态和分区”，“author”：“Statman”，“year”：“1998”}、{“密钥”“”：“10.1016\/j.entcs.2016.09.044_br0080”，“series-title”：“MFPS 2010”，“article-title”：“Cartesian Monoids”，“volume”：第65卷，“author”：“Statman”，“year”：“2010”}，{“key”：”10.1016\/j.entcs.2016.08.044_br 0090“，”series-title“：”TLCA“，”article-title“：“Near semiring and lambda calculus”，“author”：“Statman”，”year“2014”}]，“集装箱标签”：[“理论计算机科学电子笔记”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066116300950？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066116300950？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,9,7]]，“date-time”：”2018-09-07T17:24:56Z“，”timestamp“：1536341096000}，“score”：1，“resource”：{”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066116300950”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2016,10]]}，”references-count“：9，”alternative-id“：[”S15710661163000950“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.entcs.2016.09.044”，“relation”：{}，ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-00661“，”type“:”print“}]，“主题”：[]，“发布”：{“日期部分”：[[2016,10]]}}