{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,3]]，“日期-时间”：“2022-04-03T16:00:41Z”，“时间戳”：1649001641781}，“参考-计数”：22，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{“日期-零件”：[2017,6,1]]，”“日期-时刻”：“2017-06-01T00:00:00 Z“，”timestamp“：1496275200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2017,4,4]]，“date-time”：“2017-04-04T00:00:00Z”，“timestamp”：1491264000000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/licenses\/by-nc-n d\/4.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2017,6]]}，”DOI“：”10.1016\/j.entcs.2017.04.008“，”type“：”journal-article“，”created“：{”date-part“：[2017,6,22]]，”date-time“：”2017-06-22T18:00:31Z“，”timestamp“：1498154431000}”，“page”：“113-130”，”source“Cross-time”参考“，“is-referenced-by-count”：0，“title”：[“通过具有关系固定点和捕获结果的逻辑来描述决策问题的复杂性”]，“前缀”：“10.1016”，“卷”：“332”，“作者”：[{“给定”：“M\u00e1rcia”，“家族”：“Farias”，“序列”：“first”，“从属关系”：[]}，{“已知”：“Ana Teresa”，“家庭”：“Martins”，”序列“additional”，“affiliation”：[]}，{“given”：“Francilber”，“family”：“Ferreira”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.entcs.2017.04.008_br0010“，”series-title“：”数据库基础“，”author“：”Abiteboul“，”year“1995”}，“key“：”10.116\/j-entcs.201704.008_br002 0“，”系列标签“：“第六届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集”，“首页”：“110”，“文章标题”：“数据检索语言的普遍性”，“作者”：“Aho”，“年份”：“1979”}，{“问题”：“1”，“关键”：“10.1016\/j.entcs.2017.04.008_br0030”，“doi-asserted-by”：“crossref”，《首页》：“62”，“doi”：“1016\/0022-0000（91）90032-Z”，“article-title”：“数据库查询和更新的数据日志扩展”，“volume”：“43”，“author”：“Abiteboul”，“year”：“1991”，“journal-title“：“journal of Computer and System Sciences”}，{“issue”：“1”，“key”：”10.1016\/j.entcs.2017.008_br0040“，”doi-asserted-by“：”crossref“，”first page“：”30“，”doi“：”10.1145\/256292.256295“，”article-title“：“定点逻辑、关系机器和计算复杂性”，“卷”：“44”，“作者”：“Abiteboul”，“年份”：“1997”，“日志标题”：“ACM杂志”}，{“问题”：“1\u20136”，“键”：“10.1016\/j.entcs.2017.04.008_br0050”，“doi-asserted-by”：“crossref”，《首页》：“66”，“doi”：“101002\/malq.19600060105”，“文章标题”：“弱二阶算术和有限自动机”，“卷”：“6”，“作者”：“B\u00fcchi”，“年份”：“1960”，“期刊标题”：“数学逻辑季刊”}，{“键”：“10.1016\/j.entcs.2017.04.008_br0060”，“系列标题”：《计算机科学基础》第21届年会：“Chandra”，“year”：“1980”}，{“key”：“10.1016\/j.entcs.2017.04.008_br0070”，“series-title”：“模型理论”，“author”：“Chang”，“年份”：“1990”}article-title“：“大型共享数据库的关系模型”，“卷”：“13”，“author”：“Codd”，“year”：“1970”，“journal-title”：“ACM的通信”}，{“key”：“10.1016\/j.entcs.2017.04.008_br0090”，“series-title”：”有限模型理论“，”author“：”Ebbinghaus“，”year“：”1999“}，”{“key”：”10.1016//j.entc.2017.04.008_br0100“，”doi-asserted-by“：”crossref“，”article-title“：”数学逻辑“，”author“：“埃宾豪斯”，“年份”：“1994年”，“内政部”：“10.1007\/978-1-4757-2355-7”}，{“key”：“10.1016\/j.entcs.2017.04.008_br0110”，“首页”：“43”，“文章标题”：“广义一阶谱和多项式时间可识别集”，“卷”：“7”，“作者”：“Fagin”，“年份”：“1974”，“期刊标题”：《SLAM-AMS论文集》}，}，“key“：”10.1016//j.entc.2017.04.008_br0120“，”系列标题“：“Complexidade Descritiva de L\u00f3gicas de Ponto Fixo Relacionais”，“author”：“Farias”，《年份》：“2016”}，{“key”：“10.1016\/j.entcs.2017.04.008_br0130”，“series-title”：“有限模型理论及其应用（第2卷）”，“author”:“Gr\u00e4del”，“year”：“2007”}ted-by“：”crossref“，”first page“：”265“，”doi“：“10.1016\/0168-0072（86）90055-2”，“article-title”：“一阶逻辑的定点扩展”，“volume”：“32”，“author”：“Gurevich”，“year”：“1986”，“journal-title“：”纯逻辑和应用逻辑年鉴“}，{“key”：”10.1016\/j.entcs.2017.04.008_br0150“，”article-title“”：“模型理论”，“volume”:“volume42”，“作者”：“Hodges”，“年份”：“1993”}，“密钥”：“10.1016\/j.entcs.2017.04.008_br0160”，“series-title”：“第十四届ACM计算理论年会论文集”，“article-title”：“可在多项式时间计算的关系查询”，“author”：“Immerman”，“year”：“1982”}，{“key”：”10.1016\/j.entcs.2017.008_br0170“，”series-title“：”描述性复杂性“，”author“：”Immerman“，“year:”1999“}，{“key”：“10.1016\/j.entcs.2017.04.008_br0180”，“series-title”：“纯应用定点逻辑”，“author”：“Kreutzer”，“year”：“2002”}，{“key”：”10.1016\/j.entcs.2017.004.008_br 0190“，“series-title”：”计算机科学中的逻辑，1996。LICS’96年。第十一届IEEE年会论文集：“，”第一页“：”348“，”文章标题“：”可变约束逻辑的表达能力“，”作者“：”Kolaitis“，”年份“：”1996“}，{“key”：“10.1016\/j.entcs.2017.04.008_br0200”，“series-title”：“计算复杂性”，“author”：“Papadimitriou”，“year”：“1994”}，“issue”：“1”，“key“：”10.1016\/j.entcs.2017.04.008_br0210“，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.1016\\0304-3975（76）90061-X“，”article-title“：”多项式时间层次结构“，”volume“：“3”，“author”：“Stockmeyer”，“year”：“1976”，“journal-title”：“Theory Computer Science”}，{“key”：“10.1016//j.entc.2017.04.008_br0220”，“序列标签”：“第十四届ACM计算理论年会论文集”，“首页”：“137”，“文章标题”：“关系查询语言的复杂性”，“作者”：“Vardi”，“年份”：“1982”}]，“容器标题”：[“理论计算机科学中的电子笔记”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S157106611730018X？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S157106611730018X？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“deposed”：{“date-parts”：[2018,8,31]]，“date-time“：”2018-08-31T09:52:06Z“，”timestamp“：1535709126000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S157106611730018X“}}，“subtitle”：[]，“short title”：[]，“issued”：{“date-parts”：[[2017,6]]}“references-count”：22，“alternative-id”：[“S157106611]730018X“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2017.04.008“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”值“：”1571-661“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[2017,6]]}}}}