{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,4]]，“日期时间”：“2023-01-04T05:22:26Z”，“时间戳”：1672809746308}，“引用-计数”：0，“发布者”：“计算机协会（ACM）”，“问题”：“3”，“内容域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制”：真}，“short-container-title”：[“ACM Trans.Compute.Logic”]，“published-print”：{“date-parts”：[[2003,7]]}，“DOI”：“10.1145\/77202.772063”，“type”：“journal-article”，“created”：{“date-ports”：[[2003,8,5]]，“date-time”：“2003-08-05T15:03:25Z”，“timestamp”：10600958000}，”page：“295-295”，“update-policy”：”http://\/d x.DOI.org\/10.1145\/crossmark-policy“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“LICS 2001特别版”]，“prefix”：“10.1145”，《volume》：“4”，“member”：“320”，“published-online”：{“date-parts”：[[2003,7]]}，“container-title”：【“ACM Transactions on Computational Logic”】，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf \/10.1145\/772062.772063“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2023,1,3]]，“date-time”：”2023-01-03T10:13:57Z“，“timestamp”：1672740837000}，“score”：1，“resource”：{primary“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/772063”}}，”subtittle“：[]，“editor”：[{“given”：“Erich”，“family”：“Gr\u00e4del”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Joseph Y.”title“：[]，”issued“：{”date-parts“：[[2003,7]]}，“references-count”：0，“journal-issue”：{“issue”：“3”，“published-print”：{-“date-parts”：[[2003,7]]}}，“alternative-id”：[“10.1145\/77202.772063”]，“URL”：“http://\/dx.doi.org\/10.1145\/772063”，“relation”：{}，”ISSN“：[”1529-3785“，”1557-945X“]，”ISSN-type“：[{”value“1529-375”85“，”类型“：”打印“}，{”值“：”1557-945X“，”型号“：”电子“}]，”主题“：[]，“published”：{“date-parts”：[[2003,7]]}，“assertion”：[{“value”：“2003-07-01”，“order”：2，“name”：“publisheed”，“label”：“published”，”group“：{”name“：”publication_history“，”label“：”publication history“}}]}