{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,3,31]]，“日期-时间”：“2022-03-31T06:44:32Z”，“时间戳”：1648709072888}，“引用-计数”：0，“发布者”：“Elsevier BV”，“问题”：“5-6”，“许可证”：[{“开始”:{“日期-零件”：[[1996,11]]，”日期-时间“：”1996-11-01T00:00:00Z“，”时间戳“：84680640000}，“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”：6102，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Symbolic Computation”]，“published-print”：{“date-parts”：[[1996,11]]}，”DOI“：”10.1006\/jsco.1996.0068“，”type“：”Journal-article“，”created“：{”date-part“：[[2002,10,7]]，”date-time“：”2002-10-07T06:52:02Z“，”timestamp“：1033973522000}”，“page”：“615-625”，“source“：”Crossref“，“is-referenced-by-count”：5，“title”：[“用于非单调推理的可执行时序逻辑”]，“prefix”：“10.1006”，“volume”：“22”，“author”：[{“给定”：“JORI”，“family”：“ENGELFRIET”，“sequence”：“first”，“affiliation”：[]}，{“given”：：[“符号计算杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S07477196900681？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com/content\/aarticle\/PII:S0747717196900681？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,5,6]]，“date-time”：“2019-05-06T21:57:55Z”，“timestamp”：1557179875000}，“score”：1，“resource”：{primary“URL”：“https://linkinghub.elsevier.com\/retrieve\/pi\/S0 747717196900681“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1996,11]]}，”references-count“：0，”journal-issue“：{“issue”：“5-6”，”published-print“：{”date-parts“：[[1996,11]}}，“alternative-id”：[“S07477196900681”]，“URL”：“http://\/dx.doi.org\/10.1006\/jsco.1996.0068”，“relation”：{}，，“ISSN”：[“0747-7171”]，“ISSN-type”：[{“value”：“0747.7171”，“type”:“print”}]，“subject”：[]，“已发布“：{“date-parts”：[[1996,11]]}}}