{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部件”:[[2024,6,26]],“日期-时间”:“2024-06-26T13:15:10Z”,“时间戳”:1719407710113},“引用-计数”: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”:{“日期部分”:[[1996,11]]},”DOI“:”10.1006\/jsco.1996.0072“,”type“:”Journal-article“,”created“:{”date-parts“:[[2002,10,7]],”date-time“:”2002-10-07T15:30:58Z“,”timestamp“:1034004658000},source“:”Crossref“,“is-referenced-by-count”:23,“title”:[“处理时序逻辑编程中的时间多重粒度”],“prefix”:“10.1006”,“volume”:“22”,“author”:[{“给定”:“CHUCHANG”,“family”:“LIU”,“sequence”:“first”,“affiliation”:[]}“”:[“符号计算杂志”],“original-title”:[],“language”:“en”,“link”:[{“URL”:“https:\/\/api.elsevier.com/content\/article\/PII:S07477196900723?httpAccept=text\/xml”,“content-type”:“text\/.xml”,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“http://api.elsevier.com/content\/aarticle\/PII:S0747717196900723?httpAccept=text\/plain“,”content-type“:”text\/prain“,“content-version”:“vor”,“intended-application”:“text-mining”}],“deposed”:{“date-parts”:[[2019,5,7]],“date-time”:“2019-05-07T17:57:34Z”,“timestamp”:1557251854000},“score”:1,“resource”:{primary“:{”URL“https:”https:\\//linkinghub.elsevier.com\/retrieve\/pi\/S074i 7717196900723“}},”副标题“:[],”shorttitle“:[],”issued“:{”date-parts“:[[1996,11]]},”references-count“:0,”journal-issue“:{“issue”:“5-6”,”published-print“:{”date-parts“:[[1996,11]}},“alternative-id”:[“S07477196900723”],“URL”:“http://\/dx.doi.org\/10.1006\/jsco.1996.0072”,“relation”:{},,“ISSN”:[“0747-7171”],“ISSN-type”:[{“value”:“0747.7171”,“type”:“print”}],“subject”:[],“已发布“:{“date-parts”:[[1996,11]]}}}