{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,11]]，“日期-时间”：“2023-01-11T14:56:56Z”，“时间戳”：1673449016266}，“参考-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“5-6”，“内容-域“：{”域“：[]，“交叉标记限制”：false}，”short-container-ti tle“：[“逻辑编程的理论与实践”]，“published-print”：{“date-parts”：[[2004,9]]}，“DOI”：“10.1017\/s1471068404002066”，“type”：“journal-article”，“created”：{“date-ports”：[2004,10,14]]，“date-time”：“2004-10-14T08:31:43Z”，“timestamp”：1097742703000}，标题“：[“模型检查线性逻辑规范”]，“前缀”：“10.1017”，“卷”：“4”，“作者”：[{“给定”：“MARCO”，“家族”：“BOZZANO”，”sequence“：”first“，”affiliation“：[]}，{“已知”：“GIORGIO”，'family'：“DELZANNO”，“sequence”：“additional”，“affiliance”：[]{“given”：“毛里佐”，“family”：“马特利”，“序列”：“附加”，“从属关系”：[]}]，“成员”：“56”，“published-online”：{“date-parts”：[[2004,8,12]]}，“container-title”：[“逻辑编程理论与实践”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068404002066”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2017,4,22]]，“日期-时间”：“2017-04-22T10:58:33Z”，“时间戳”：1492858713000}，“分数”：1，“资源”:{“主要”：}“URL”：“http://www.journals.cambridge.org\/abstract_S1471068404002066”}}，”副标题：[]，“短标题”：[]}，“references-count”：0，“journal-issue”：{“issue”：“5-6”，“published-print”：{“date-parts”：[[2004,9]]}，“alternative-id”：[“S14710684002066”]，“URL”：“http://\/dx.doi.org\/10.1017\/S1471068404002066“，”relation“：{}，”ISSN“：[”1471-0684“，”1475-3081“]，”ISSN-type“：[{”value“：”1471-0.684“，“type”：“print”}，{“value”：“1475-3081”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2004,8,12]]}}}