｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,8,3]]，“日期-时间”：“2022-08-03T04:57:03Z”，“时间戳”：1659502650221｝，“引用计数”：0，“发布者”：“IEEE”，“isbn类型”：[｛“值”：“9781665448956”，“类型”：“电子”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021]]}，“DOI”：“10.1109\/lics52264.2021”，“type”：“procedures”，“created”：{“date-ports”：[2021,7,14]]，“date-time”：“2021-07-14T13:58:42Z”，“timestamp”：1626271122000}，”source“Crossref”，”is-referenced-by-count“：0，”title“：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“前缀”：“10.1109”，“成员”：“263”，“事件”：{“名称”：“2021第36届AMM/IEEE年度计算机科学逻辑学研讨会（LISS）”，“位置”：“意大利罗马”，“开始”：{“日期部分”：[[2021,6,29]]}，“结束”：}“日期部分“：[2021,7,2]}}}，”container-title“：[]，”原文标题“：[]，“deposited”：｛“date parts”：[[2022,8,2]]，“date time”：“2022-08-02T222:53:58Z”，“timestamp”：1659480838000｝，“score”：1，“resource”：｛“primary”：｛“URL”：“https:\/\/ieexplore.ieee.org/xpl\/mostCentreIssue.jsp？punumber=9470497”｝，“副标题”：[]，“短标题”：[]，“issued”：｛“date parts”：[[2021]]｝，“ISBN”：[”9781665448956“]，”引用次数“：0，”URL“：“http://\/dx.doi.org\/10.109\/lics52264.2021”，“关系”：{}，“主题”：[]，“发布”：{“日期-部件”：[[2021]]}}