{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,12,21]]，“日期-时间”：“2023-12-21T19:38:55Z”，“时间戳”：1703187535773}，“引用-计数”：20，“发布者”：“爱思唯尔BV”，“问题”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[[1990,12,1]]，”日期-时间“：”1990-12-01T00:00:00Z“，”时间戳“：66000960000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：8264，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[1990,12]]}，”DOI“：”10.1016\/0890-5401（90）90006-4“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,2]，”date-time“：”2004-12-02T00:24:20Z“，”timestamp“：1101947060000}，‘page’：“95-108”，“source”：“Crossref”，“is-referenced-by-count”：19，“title”：[“有限结构上的归纳定义”]，“prefix”：“10.1016”，“volume”：“89”，“author”：[{“给定”：“Daniel”，“family”：“Leivant”，”sequence“：”first“，”affiliation“：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0890-5401（90）90006-4_BIB1“，”series-title“：“Proceedings，1988 ACM Conference of Principles of Database Systems（PODS）”，“first page”：“240”，“article-title”：“Procedural and declarative Database update languages”，“author”：“Abiteboul”，“year”：“1988”}，{“key”：《10.1016\/0890-5401（90）90006-4_BIB2》，“series-title”：《数理逻辑手册》，“first-page”：“739”，“article-titel”：“归纳定义导论”，“author”：“Aczel”，“year”：“1977”}，{“key”：“10.1016\/0890-5401（90）90006-4_BIB3”，“doi-asserted-by”：“crossref”，”first page“：”1004“，”doi“：”10.1145\/31846.31852“，”article-title“：”Monotone vs.positive“，”volume“34”，“author”“：”Ajtai“，”year“：”1987“，”journal-title”：“J.Assoc.Comput.机器“}，{”键“：“10.1016\/0890-5401（90）90006-4_BIB4”，“首页”：“1”，“文章标题”：“汉金量词和完整问题”，“卷”：“32”，“作者”：“布拉斯”，“年份”：“1986”，“期刊标题”：《理论计算科学》}10.1016\/0022-0000（82）90012-5“，”文章标题“：“关系查询的结构和复杂性”，“卷”：“25”，“作者”：“Chandra”，“年份”：“1982”，“期刊标题”：“J.Compute.System Sci.”}，{“key”：“10.1016\/0890-5401（90）90006-4_BIB5_2”，“series-title”：“第二十届计算机科学基础研讨会”，“首页”：“333”，“author”：“钱德拉”，“年”：“1980”}）90006-4_BIB6“，”author“：”Chang“，”year“：”1973“}，{”key“：”10.1016\/0890-5401（90）90006-4~BIB7“，”series-title“：”Computation and Proof Theory“，”first page“：“175”，”article-title“：“Toward logic customed for computerative complexity”，“volume”：“Vol.1104”，“author”：“Gurevich”，“year”：“1984”}，”{“key”:“10.1016\/0890-5401（90）90006-4_BIB8”，“序列标签”：“理论计算机科学的当前趋势”，“文章标题”：“逻辑与计算机科学的挑战”，“作者”：“古列维奇”，“年份”：“1987”}，{“关键”：“10.1016\/0890-5401（90）90006-4_BIB9”，“系列标题”：《第三十六届计算机科学基础年会论文集》，“第一页”：“346”，“论文标题”：一阶逻辑的定点扩展“，”author“：”Gurevich“，”year“：”1985“}，{”key“：”10.1016\/0890-5401（90）90006-4_BIB10“，”doi-asserted-by“：”crossref“，”first page“：“265”，”doi“：”101016\/0168-0072（86）90055-2“，”article-title“：”Fixed-point extensions of first order logic“，”volume“：“新闻标题”：“安。纯应用程序。逻辑“｝，｛“键”：“10.1016/0890-5401（90）90006-4_BIB11_1”，“doi断言”：“crossref”，“首页”：“86”，“doi”：“10.1016/S0019-9958（86）80029-8”，“文章标题”：“多项式时间内可计算的关系查询”，“卷”：“68”，“作者”：“Immerman”，“年”：“1986”，“期刊标题”：“Inform.and Control”｝，｛“键”：“10.1016/0890-5401（90）90006-4_BIB11_2”，“series-title“：”第十四届ACM计算理论研讨会“，”第一页“：”147“，”author“：”Immerman“，”year“：”1982“}，{”key“：”10.1016\/0890-5401（90）90006-4_BIB12“，”series-title“：“Proceedings，1988 ACM Conference on Principles of Database Systems（PODS）”，“article-title”：“Why not negation by fixpoint？”，“author”：“Kolaitis”，“year”：“1988”}，”{“key”：“”10.1016\/0890-5401（90）90006-4_BIB13“，“首页”：“27”，“文章标题”：“过程控制的关系模型”，“卷”：“4”，“作者”：“Livchak”，“年份”：“1983”，“日志标题”：”自动。数学文档。语言学“}，{”key“：”10.1016\/0890-5401（90）90006-4_BIB14“，”doi-asserted-by“：”crossref“，”first page“：“465”，“doi”：“10.1090\/S0002-99477-69-99947-4”，“article-title”：“抽象一阶可计算性II”，“volume”：“138”，“author”：“Moschovakis”，“year”：“1969”，“journal-title“：”Trans.Amer.Math.Soc.“}”，{“key”：“10.1016\/0890-5401（90）90006-4_BIB15”，“author“：”Moschovakis“，”year“：”1974“｝，｛”key“：”10.1016/0890-5401（90）90006-4_BIB16“，”首页“：”705“，”文章标题“：”代数和元数学边界上的一些概念和方法“，”volume“：”Vol.I“，”author“：”Tarski“，”year“：”1952“｝，｛”key“：”10.1016/0890-5401（90）90006-4_BIB17“，”首页“：”569“，”文章标题“：”有限域决策问题算法的不可能性“，“volume”：“70”，“author”：“Trakhtenbrot”，“year”：“1950”，“journal-title”：“Dokl。阿卡德。Nauk SSSR“}，{“key”：“10.1016\/0890-5401（90）90006-4_BIB18”，“series-title”：“第十四届ACM计算理论研讨会”，“首页”：“137”，“文章标题”：“复杂性和关系查询语言”，“作者”：“Vardi”，“年份”：“1982”}]，“容器标题”：[“信息和计算”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0890540190900064？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0890540190900064？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“日期”：[[2019,2,1]]，“date-time“：”2019-02-01T18:25:37Z“，”timestamp“：1549045537000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0890540190900064”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[1990,12]}，‘references-count’：20，‘日志发布’：{‘发布’：“2”，“published-print”：{“date-parts”：[[1990,12]]}}，“alternative-id“：[”0890540190900064“]，”URL“：”http://\/dx.doi.org\/10.1016\/0890-5401（90）90006-4“，”关系“：{}，”ISSN“：[“0890-5401”]，”ISSN-type“：[{”value“：”0890-5401“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[1990,12]]}}}}