{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,8]]，“日期时间”：“2023-01-08T19:29:50Z”，“时间戳”：1673206190613}，“引用计数”：20，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2012,6]]}，“DOI”：“10.1109\/lics.2012.53”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2012,8,28]]，“date-time”：“2012-08-28T16:27:49Z”，“timestamp”：1346171269000}，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“等价闭包的二变量一阶逻辑”]，“前缀”：“10.1108”，“作者”：[{“给定”：“Emanuel”，“family”：“Kieronski”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jakub”，“family”：“Michaliszyn”，“sequence”：“additional”，“filiation“：[]{”given“：”Ian“，”family“：”Pratt-Hartmann“，”sequence“：”additional key“：”19“，”首页“：”477“，”文章标题“：“两个变量中句子有效性的判定方法”，“卷”：“27”，“作者”：“斯科特”，“年份”：“1962”，“期刊标题”：“符号逻辑期刊”}，{“键”：“17”，“doi断言”：“publisher”，“doi”：“10.1007\/s10849-005-5791-1”}，{“键”：“18”，“首页”：“499”，“文章标题”：“具有两阶关系的双变量逻辑-（扩展摘要）”，“volume”：“6247”，“author”：“schwentick”，“year”：“2010”，“journal-title”：“LNCS”}，{“key”：”15“，“doi-asserted-by”：“crossref”，“first-page”：“685”，“doi”：“10.2307\/2695037”，“article-title“：”有序域上的二变量一阶逻辑“，”volume“：”66“author:”otto“，”year“：”2001“，”journal-title“:”符号逻辑杂志“}，{“key”：“16”，“doi-asserted-by”：“publisher”，“DOI”：“10.1109\/LICS.1997.614958”}，{“key”：“13”，“DOI-asserted-by”：“publicher”，“DI:”10.1007\/978-3642-02930-1_22“}，}”key“：”14“，”DOI-assert-by“：”publisher“，”DOI“：”10.1002\/malq.19750210118“}“作者”：“kieron？ski”，“年份”：“2012”，“journal-title”：“符号逻辑杂志”}，{“key”：“12”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2009.39”}，{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.orl.2005.09.008”}，{“key”：“1”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1004275029985”}，{“key”：“6”，“首页”：“313”，“文章标题”：“双变量逻辑的不确定性结果”，“卷”：“38”，“作者”：“gra？del”，“年份”：“1999”，“日志标题”：“Archiv-fu？r Mathematische Logik und Grundlagendforschung”}，{“key”：“5”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/LICS.1997.614957 975（98）00308-9“}，{“键”：“9”，“首页”：“337”，“文章标题”：“具有多个线性阶的二元逻辑的可判定性问题”，“卷”：“12”，“作者”：“kieron？ski”，“年份”：“2011年”，“期刊名称”：“LIPIcs”}，{“key”：“8”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11538363_22”}]，“事件”：{“名称”：《2012年IEEE第27届计算机科学中的逻辑研讨会》（LICS 2012），“location”：“Dubrovnik，克罗地亚”，“start”：{“date-parts”：[[2012,6,25]]}，“end”：{“date-parts”：[2012,6,28]]}}，”container-title“：[”2012年第27届IEEE计算机科学逻辑年会“]，“original-title”：[]，“link”：[{“URL”：“http://explorestaging.IEEE.org\/ielx5\/6275587\/6280414\/06280462.pdf？arnumber=626 80462“，”content-type“：”未指定“，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,20]]，“date-time”：“2017-06-20T19:22:43Z”，“timestamp”：1497986563000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/6280462\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2012,6]]}，“引用次数”：20，“URL”：“http:\/\/dx.doi.org/10.1109\/lics.2012.53”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2012,6]]｝｝