{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,3]]，“日期-时间”：“2024-05-03T17:18:29Z”，“时间戳”：1714756709903}，“参考-计数”：22，“出版商”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“dellay-in-days”：0 content-domain“：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470756”，“type”：“proceedings-article”，“created”：{“date-parts”：[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，”source“Crossref”，“is-referenced-by-count”：3，“title”：[“Multi-Structural Games and Number of量词“]，”前缀“：”10.1109“，“author”：[{“given”：“Ronald”，“family”：“Fagin”，“sequence”：“first”，“affiliation”：[}“name”：“IBM Research-Almaden，San Jose，CA”}]}，{“给定”：“Jonathan”，”family“：”Lenchner“，”sequence“：”additional“，”affiliance“：[{name“IBM T.J.Watson Research Center，NY”}]{，“givent”：“Kenneth W.”，“家族”：“Regan”，“序列”：“additional”，“从属关系”：[{“名称”：“布法罗大学，CSE系，Amherst，NY”}]}，{“给定”：“Nikhil”，“家庭”：“Vyas”，“序列”：“附加”，“附属关系”：[{“名称”：“麻省理工学院，剑桥，MA”}]}，“成员”：“263”，“参考文献”：[{“密钥”：“参考文献10”，“首页”：“35”，“文章标题”：“关系系统分类”，“卷”：“1”，“作者”：“fra\u00efss\u00e9”，“年”：“1954”，“期刊标题”：“阿尔杰大学出版科学Série A”}，{“key”：“ref11”，“doi断言”：“publisher”，“doi”：“10.2168\/LMCS-1（1:6）2005”}，{“key”：“ref12”，“doi断言”：“publisher”，“doi”：“10.1515\/9781614516873.193”}，{“key”：“ref13”，“doi断言”：“publisher”，“doi”：“10.1093\/logcom\/exz025“｝，｛”key“：”ref14“，”author“：“immerman”，“year”：“2021”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/SFCS.1979.21“}，}，“key“：”ref16“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/0022-0000（81）90039-8“}}，{“key”：“ref18”，“author”：“libkin”，“year”：“2012”，“journal-title”：“有限模型理论的元素”}，{“key”：“ref19”，“doi-asserted-by”：“crossref”，“first page”：”179“，“doi”：“10.1002 \/malq.200310088”，“article-title”：“An Ehrenfeucht-Fraísse class game”，“volume”：：“50”，“author”：“lotfallah”，“year”：“2004”，“journal-title“：”数学逻辑季刊“}”，{”key“：”ref4“，“first-page”：“18:1”，“物品标签”：“一阶逻辑有限类和前缀类中的扩展保持”，“volume”：“183”，“author”：“dawar”，”year“：“0”}，{“key”：”ref3“，”author“：”dawar“，”yer“：“2021”}、{“key”：“ref6”，“doi-asserted-by”：“publisher”、“doi”：“10.1002 \/malq.19750210112”}064\/fm-49-2-129-141“}，{“键”：“参考8”，“doi-asserted-by”：“crossref”，“article-title”：“多结构游戏和量词数量”，“author”：“fagin”、“year”：“2021”，“doi”：“10.1109\/LICS52264.2021.9470756”}，{“key”：“ref7”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/0304-3975（93）90218-I“}”，{”key“：”ref2“，”doi-assert-by“：“publisher”，”DO I“：”10.2307\/2274958“}，{“键”：“参考1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/77202062.772064”}，{“key”：“ref9”，“doo-asserted-by”：”publisher“，”doi“：”10.1006 \/inco.1995.1100“}，}”key“：”ref20“，”article-title“：”On the free of Spoiler in Ehrenfeucht-Fraísse games“，“author”：“lotfallah”，“year”：“2005”}、{“key”：”ref22“，”author“”：“罗森斯坦”，“年份”：“1982年”，“新闻标题”：“线性排序”}，{“key”：“ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1305\/ndjfl\/1117755146”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{date-parts”：[2021,6,29]}，“end”：{data-parts“：[2021,7,2]]}}，”contain惰性物质”：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470756.pdf？arnumber=9470756”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,]1,3]]，“date-time”：“2023-01-03T07:31:09Z”，“timestamp”：1672731069000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470756\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，‘references-count’：22，”URL“http://\/dx.doi”org\/10.109\/lics52264.2021.9470756“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}