{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,12]，“日期时间”：“2024-04-12T01:09:04Z”，“时间戳”：171288414186}，“引用-计数”：0，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：“日期部分“：[[1995,11,1]]，“日期-时间”：”199 5-11-01T00:00:00Z“，”时间戳“：81518400000}，“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”：6468，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[1995,11]]}，”DOI“：”10.1006\/inco.1995.1145“，”type“：”journal-article“，”created“：{”date-part“：[[2002,10,7]]，”date-time“：”2002-10-07T14:14:15Z“，”timestamp“：1034000055000}”，“page”：“149-177”，”source“Crossref”“，”，“is-referenced-by-count”：40，“title”：[“非类型化\u03bb-Calculus的非确定性扩展”]，“prefix”：“10.1006”，“volume”：“122”，“author”：[{“给定”：“U.”，“family”：“Deliguoro”，“sequence”：“first”，“affiliation”：[]}，{“given”：”A.“，”family“Piperno”，“序列”：“additional”，“从属关系”：[]}]，“member”：“78”，“container-title”：【“信息和计算”]，“原标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0895540185711455？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0895540185711455？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,5,7]]，“date-time”：“2019-05-07T05:27:49Z”，“timestamp”：1557206869000}，“score”：1，“resource”：{“primary”：{URL：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540185711455”}}，副标题“：[]，”短标题“：[[]，”已发布“：{”日期部分“用法：[[1995,11]]}，“references-count”：0，“journal-issue”：{“issue”：“2”，“published-print”：}“date-parts”：[[19995,11]]}、“alternative-id”：[“S0890540185711455”]，“URL”：“http://\/dx.doi.org\/10.10006\/inco.1995.1145”，“relational”：{}，”ISSN“：[”0890-5401“]，“ISSN-type”：[{“value”：“”0890-5401“，”type“：”print“}]，”subject“：[]，”published“：{”date-parts“：[[1995,11]]}}