{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,28]]，“日期-时间”：“2023-01-28T09:16:05Z”，“时间戳”：1674897365026}，“引用-计数”：11，“发布者”：“Elsevier BV”，“问题”：“1-3”，“许可证”：[{“开始”：{:“日期-零件”：[[2004,12]]，“date-time”：“2004-12-01T00:00:00Z“，“时间戳”：1101859200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3186，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2004,12]]}，”DOI“：”10.1016\/j.apal.2004.02.001“，”type“：”journal-article“，”created“：{”date-part“：[[2004，8,5]]，”date-time“：”2004-08-05T00:27:27Z“，”timestamp“：1091665647000}”，“page”：“61-78“，”source“：”Crossref“，“is-referenced-by-count”：11，“title”：[“最小和膨胀定点逻辑的表达式等价”]，“prefix”：“10.1016”，“volume”：“130”，“author”：[{“给定”：“Stephan”，“family”：“Kreutzer”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“首页”：“739”，“文章标题”：“归纳定义简介”，“卷”：“第90卷”，“作者”：“Aczel”，“年份”：“1977”}，{“问题”：“1”，“密钥”：“10.1016\/j.apal.2004.02.001_B2”，“doi-asserted-by”：“crossref”，《首页》：“65”，“doi”：“10.2178\/bsl\/1182353853”，“论文标题”：”固定点逻辑“，”卷“：“8”，“author”：“Dawar”，“year”：“2002”，“journal-title”：“符号逻辑公报”}，{“key”：“10.1016\/j.apal.2004.02.001_B3”，“series-title”：《有限模型理论》，“author”：“Ebbinghaus”，“year”：“1999”}、{“key”：《10.1016\/j.apal.2004.02.0 01_B4》，“series-title》：“有限模型理论及其应用”，“article-title“有限模型论与描述复杂性”，“author”：“Gr\u00e4del”，“年份”：“2004”}，{“key”：“10.1016\/j.apal.2004.02.001_B5”，“doi-asserted-by”：“crossref”，“首页”：“265”，”doi“：”10.1016\/0168-0072（86）90055-2“，”article-title“：”一阶逻辑的定点扩展“，”volume“：”32“，”author“：”Gurevich“，”year“：”1986“，”日记标题“：”纯粹和应用逻辑年鉴“}，“10.1016\/j.apal.2004.02.001_B6”，“非结构化”：“L.A.Harrington，A.S.Kechris，论单调与非单调归纳，1975（未发表的手稿）”}，{“key”：“10.1016\/j.apal.2004.02.001_B7_1”，“doi断言”：“crossref”，“首页”：“86”，“doi”：“10.1016\/S0019-9958（86）80029-8”，“文章标题”：“多项式时间内可计算的关系查询”，“卷”：“68”，“作者”：“Immerman”，“年”：“1986年”，“新闻标题”：“信息与控制”}，{“键”：“10.1016\/j.apal.2004.02.001_B7_2”，“系列-时间”：“第十四届美国计算机学会计算机理论研讨会论文摘要”，“首页”：“147”，“年份”：“1982”}“，“article-title”：“最小和膨胀不动点逻辑的表达式等价性”，“author”：“Kreutzer”，“year”：“2002”}，{“key”：“10.1016\/j.apal.2004.02.001_B9”，“series-title”：《抽象结构的基本归纳法》，“author”：“Moschovakis”，“year”：《1974》}，“key“：”10.1016\/j.apal.2004.02.0 01_B10“，”doi-asserted-by“：”crossref“，”first page“39”，“DOI”：“10.4064\/fm-82-1-39-83”，“article-title”：“关于非单调归纳可定义性”，“volume”：“82”，“author”：“Moschovakis”，“year”：“1974”，“journal-title“：”Fundamentate Mathematica“}]，“container-title：“https:\/\/api.elsevier.com/content\/article\/PII:S016800720400065X？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsevier.com\/content\/artracle\/PII：S016800720400065X？HTTP Accept=text\/plain”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,5]]，“date-time”：“2019-02-05T00:50:19Z”，“timestamp”：1549327819000}，“score”：1，“resource”：{primary“：{”URL“：”https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016800720400065X“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2004,12]]}，“references-count”：11，“日志-问题”：{“问题”：“1-3”，“发布-打印”：{“日期-部分”：[[2004,12]]}}，“替代id”：[“S016800720400065X”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.02.001”，“关系”：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”value“：”0168-20072“，”type“:”print“}]，”主题“：[]，”已发布“：{“日期部分”：[[2004,12]]}}}