{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,18]]，“日期-时间”：“2024-01-18T02:26:59Z”，“时间戳”：1705544819106}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短集装箱”：[]，“published-print”：{“date-parts”：[[2006]]}，“DOI”：“10.1145\/1217975.1218001”，“type”：“procedings-article”，“created”：{“date-ports”：[2007,4,5]]，“date-time”：“2007-04-05T15:41:00Z”，“timestamp”：1175787660000}，”source“Crossref”，“is-referenced-by-count”：2，“title”：[“ACL2中基于SAT的有限状态机验证程序”]，“前缀”：“10.1145”，“author”：[{“suffix”：“Jr.”，“given”：“Warren A.”，“family”：“Hunt”，“sequence”：“first”，“affiliation”：“[]}，{“givent”：“Erik”，”family“：“Reeber”，“serquence”:“additional”，“filiation“：[]}]，“member”：“320”，“event”：{“name”：“the sixth international workshop”，“location”：“Seattle，Washington”，“缩写词”：“ACL2'06”，“number”:“6”，“赞助商”：[“待定”]，“开始”用法：{“date-parts”：[[2006,8,15]]}，“end”：{”date-part“：[[2006，8,16]]}}，”container-title“：[“第六届ACL2定理证明器及其应用国际研讨会论文集-ACL2'06”]，“original-title”：[]，“link”：[{“URL”：“http://\dl.acm.org\/ft_gateway.cfm？id=1218001&ftid=401448&dwn=1”，“content-type”：“unspecified”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期-部分”：[[2016,12,16]]，“日期-时间”：“2016-12-16T06:32Z”，“时间戳”：1481869832000}，“分数”：1，“资源”：{primary“：{”URL“：”http://\/portal.acm.org\/citument.cfm？doid=1217975.1218001：[[2006]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/1217975.1218001”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2006]]}}