{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,9,13]]，“日期-时间”：“2023-09-13T18:02:58Z”，“时间戳”：1694628178623}，“引用-计数”：0，“发布者”：“通信科学指导中心（CCSD）”，“问题”：“4”，“内容-域”：[]，“交叉标记-限制”：false}第页，“short-container-title”：[“Log.Meth.Comput.Sci.”]，“DOI”：“10.2168\/lmcs-2（4:4）2006”，“type”：“journal-article”，“created”：{“date-parts”：[[2006,11,23]]，“date-time”：“2006-11-23T09:29:04Z”，“timestamp”：1164274144000}，“source”：98“，”卷“：”2“，“author”：[{“given”：“Jeremy”，“family”：“Avigad”，“sequence”：“first”，“affiliation”：[]}，{“Givent”：“Harvey”，”family“：”Friedman“，”sequence“：”additional“，”affiliation:[]}]，“member”：“25203”，“published-online”：{“date-parts”：[[2006,10,18]]}；“container-title”：[“Logical Methods in Computer Science”]，“original title”：[]，“language”：“en”“，”链接“：[{”URL“：“https:\/\/lmcs.episciences.org\/2240\/pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[20222,4,7]]，“date-time”：”2022-04-07T09:53:26Z“，”timestamp“：1649325206000}，“score”：1，“resource”：{“primary”：“{”URL“：”https:\\/lmcs.appisciences。org\/2240“}}，”副标题“：[]，”编辑“用法：[{“given”：“Franz”，“family”：“Baader”，“sequence”：“additional”，“affiliation”：[]}]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006,10,18]]}，“references-count”：0，“journal-issue”：{“issue”：“4”，“published-online”：{-“date-parts”：[2006]}、“URL”：“http://dx.doi.org\/10.2168\/lmcs-2（4:4）2006年“，”关系“：{}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：“1860-5974”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2006,10,18]]}}}