{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,8,2]，“日期-时间”：“2023-08-02T11:18:06Z”，“时间戳”：1690975086359}，“参考-计数”：24，“出版商”：“IEEE”，“许可证”：[{“开始”：}“日期-部分”：[2021,6,29]]，“日期时间”：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470602”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“单词的正一阶逻辑”]，“prefix”：“10.1109”，”author“：[{”given“Denis”，“family”：“Kuperberg”，“sequence”：“First”，“affiliation”：[]}]，“成员”：“263”，“引用”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2269811”}，{“key”：“ref11”，“article-title”：“时态逻辑与线性秩序理论”，“author”：“kamp”，“year”：“1968”，“journal-title“：”博士论文“}，“key“：”ref12”，“article-title”：“[Kup14]勘误表”，“author”:“kuperberg”，“year”：”0“}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-10（1:4）2014”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-31585-5_28”}安，“年”：“1996年”，“新闻标题”：“2012 IEEE第27届计算复杂性会议”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.2140\/pjm.1959.9.143”}1989年，“新闻标题”：“广义星高问题的新结果”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-21254-3_1”}、{“key”：”ref3“，”doi-assert-by“：”publisher{“关键字”：“ref5”，“卷”：“9”，“作者”：“colcombet”，“年份”：“2012”，“journal-title”：“常规成本函数第一部分单词的逻辑和代数”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SFCS.1981.35”}：“逻辑与自动机历史与视角——逻辑与游戏中的文本”}，{“key”：“ref2”，“首页”：“14”，“author”：“alechina”，“年份”：“1997”，“journal-title”：“有限结构上的语法与语义”}：“10.1017\/CBO9780511526633.006”}，{“key”：“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3303991”}“}，{”key“：”ref24“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1995.523267“}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/4.4.337”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”:{“date-parts”：[2021,6,29]]}，“end”：{“date-parts”：[[2021,7,2]}}，”container-title“：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470501\/09470602.pdf？arnumber=9470602”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,]5,10]]，“date-time”：“2022-05-10T15:46:21Z”，“timestamp”：1652197581000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470602\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，’references-count“：24，”URL“：”http://\/dx.doi.org \/10.109 \/lics52264.2021.9470602“，”关系“：{}，”主题“：[]，”已发布“：{“日期部分”：[[2021,6,29]]}}