{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部件”:[[2022,4,1]],“日期-时间”:“2022-04-01T09:48:27Z”,“时间戳”:1648806507633},“参考-计数”:0,“出版商”:“Springer Science and Business Media LLC”,“问题”:“9”,“许可证”:[{“开始”:}“日期-零件”:[[2002,8,1]]“:”2002-08-01T00:00:00Z“,“timestamp”:1028160000000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“http://www.springer.com/tdm”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},”short-container-title“:[”Acta Informatica“],”published-print“:{”date-parts“:[[2002,8,1]}”,“DOI”:“10.1007\/s00236-002-0087-2”,“type”:“journal-article”,“created”:{“date-parts”用法:[[2003,2,12]],“日期-时间”:“2003-02-12T13:38:53Z”,“时间戳”:1045057133000},“页面”:“599-619”,“源”:“Crossref”,“is-referenced-by-count”:2,“标题”:[“隐含项和时间逻辑中隐含项的闭合集的基”],“前缀”:“10.1007”,”卷“38”,“作者”:[{“给定”:“P.”,家族:“Cordero”,“序列”:“first”,“从属关系”:[]},{“给定”:“M”,“family”:“Enciso”,“sequence”:“additional”,“affiliation”:[]},{“given”:“I.P.”,”family“:”de Guzm\u00e1n“,”sequence“:”additional“,”affiliation:[]}],“member”:“297”,“container-title”:[“Acta Informatica”],“original-title“:[],”link“:[{”URL“http://link.springer.com/content\/pdf\/10007\/s00236-002-008 7-2.pdf“,”内容类型“:”应用程序\/pdf“,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“http://\/link.springer.com/article\/10.1007\/s00236-002-0087-2\/fulltext.html”,“content-type”:“文本\/html”,“内容-version“:”vor“,”intended-application,“content-type”:“未指定”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,5,24]],“date-time”:“2019-05-24T09:41:51Z”,“timestamp”:1558690911000},“score”:1,“resource”:{“primary”:],“已发布”:{“日期部分”:[[2002,8,1]]},“references-count”:0,“journal-issue”:{“issue”:“9”,“published-print”:{“date-parts”:[[2002,8,1]]}},“alternative-id”:[“C8UB778NQ468W11R”],“URL”:“http://\/dx.doi.org\/10.10007\/s00236-002-0087-2”,“relation”:{},”ISSN“:[”0001-5903“,”1432-0525“],“ISSN-type”:[{“value”“:”0001-5903“,”type“:”print“},{“value”:“1432-0525”,“type”:”electronic“}],“subject”:[],“已发布”:{“日期部分”:[[2002,8,1]]}}}