{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,3]]，“日期-时间”：“2022-04-03T09:02:32Z”，“时间戳”：1648976552705}，“引用-计数”：0，“发布者”：“爱思唯尔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”：[“符号计算杂志”]，“published-print”：{“date-parts”：[[1996,11]]}，”DOI“：”10.1006\/jsco.1996.0065“，”type“：”Journal-article“，”created“：{”date-part“：[[2002,10,7]]，”date-time“：”2002-10-07T11:30:58Z“，”timestamp“：1033990258000}”，“page”：“521-553”，“source”“：”Crossref“，“is-referenced-by-count”：1，“title”：[“Deriving Liveness Goals from Temporal Logic Specifications”]，“prefix”：“10.1006”，“volume”：“22”，“author”：[{“给定”：“C.”，“family”：“CALEIRO”，“sequence”：“first”，“affiliation”：[]}，{“given”：：“附加”，“affiliation”：[]}]，“member”：“78”，“container-title”：[“Journal of Symbolic Computation”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S07477196900656？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0747717196900656？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,5,7]]，“日期-时间”：“2019-05-07T13:57:36Z”，“时间戳”：1557237456000}，“分数”：1，“资源”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S07477196900656”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1996,11]]}，”references-count“：0，”journal-issue“：{”issue“：”5-6“，”published-print“：{”date-part“：[[19996,11]}”，“alternative-id”：[“S074771996900656“”]，“URL”：“http://\/dx.doi.org\/10.1006\/jsco.1996.0065”，“关系”：{}，“ISSN”：[“0747-7171”]，“issn-type”：[{“value”：“0747.7171”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1996,11]]}}