{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T23:45:34Z”，“时间戳”：1648683934855}，“引用计数”：13，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“内政部”用法：“10.1109\/lics.1991.151652”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”关于具有等式的存在二阶极小Godel句类的0-1律“]，”前缀“：”10.1109“，“author”：[{“given”：“L.”，“family”：“Pacholski”，“sequence”：“first”，“affiliation”：[]}，{“given”：“W.”，“家族”：“Szwast”，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.1988.5095“}，”{“密钥”：“ref11”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/LICS.1990.113742”}，{“key”：“ref12”，“author”：“lewis”，“year”：“1979”，“journal-title”：“量化形式的不可解类”}，{“key”：“ref13”，“article-title“：“存在二阶G\ufffddel语句的渐近概率”，“author”：“pacholski”，“年”：“0”，“日记标题”：“J Symbol Logic”}“参考3”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2272945”}，{“key”：“ref6”，“first page”：：“140”，“article-title”：“On the Classical Decision Problem，the Logic in Computer Science Column”，“author”：“gurevich”，“year”：“1990”，“journal-title“：”Bulletin EATCS“}”，{”key：“ref5”，“doi-asserted-by”：”publisher“，“doi:”10.2307\/2274274“}，}”key“：”ref8“，”doi-asserted-by“：“publisher”，“DOI”：“10.1016\/0012-365X（85）90112-8”}，{“key”：“ref7”，“author”：“kaufmann”，“year”：“1987”，“journal-title”：“存在一元二阶逻辑0-1定律的反例”}，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0019-9958（85）80027-9”}，{“key”：“ref9”，“doo-asserted-by”：”publisher“，”doi“：”10.1145\/28395.28441“}]，“event”：{“name”：“第六届IEEE计算机科学逻辑年会”，“location”：“荷兰阿姆斯特丹”}、“container-title”：[“[1991]第六届IEEE计算机科学逻辑年会论文集“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx2\/360\/3979\/00151652.pdf？arnumber=151652”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,9]]，“date-time”：2017-03-09T11:08:09Z“，”timestamp“：1489057689000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/151652\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[null]]}，《references-count》：13，”URL“：”http://\/dx.doi.org\/10.109\/lics.199 1.151652“，”关系“：{}，”主题“：[]}}