{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T19:21:31Z”，“时间戳”：1714245691653}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755586”，“类型”：“打印”}]，“内容域”：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/978-3-540-75560-9_24”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,10,6]]，“date-time”：“2007-10-06T05:36:46Z”，“timestamp”：1191649006000}，”page“：”318-332“，”source“Crossref”，“is-referenced-by-count”：3，“title”：[“On Finite Satisfility of the Guarded Fragment with Equivalence or Transitive Guards”]，“prefix”：“10.1007”，“author”：[{“given”：“Emanuel”，“family”：“Kiero\u0144ski”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Lidia”，《family》：“Tendra”，“sequence”:“additional”，“filiation“[]}]”，“member”：“297”，“reference”：[}“issue”：“3”，“key”：”24_C R1英寸，“doi-asserted-by”：“publisher”，“first page”：“217”，“doi”：“10.1023\/A:1004275029985”，“volume”：”27“，“author”：“H.Andr\u00e9ka”，“year”：“1998”，“unstructured”：“Andr\u00 e9ka，H.，van Benthem，J.，N\u00e9 meti，I.：模态语言和谓词逻辑的有界片段，ILLC研究报告，1996。期刊版本：J.Philos。Logic\u00a027（3），217\u2013274（1998）“，“期刊标题”：“期刊版本：J.Philos。Logic“}，{”key“：”24_CR2“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“833”，“doi”：“10.1007\/3-540-45465-9_71”，“volume-title”：“自动化、语言和编程”，“author”：“M.Boja\u0144czyk”，“year”：“2002”，“unstructured”：“Boja\u0144czyk，M.：双向交替自动机和有限模型。收录人：Widmayer，P.、Triguero，F.、Morales，R.、Hennessy，M.、Eidenbenz，S.、Conejo，R.（编辑）ICALP 2002。LNCS，卷\u00a02380，第833\u2013844页。Springer，Heidelberg（2002）“}，{“key”：“24_CR3”，“unstructured”：“Calvanese，D.：基于类的表示形式中的无限制和有限模型推理，博士论文，信息科学与技术学院研究生院，罗马大学10.2307\/2586808“，“volume”：“64”，“author”：“E.Gr\u00e4del”，“year”：“1999”，“unstructured”：“Gr\u001e4del.，E.：关于警卫的约束力。符号逻辑期刊\u00a0641719\u20131742（1999）“，”期刊标题“：”符号逻辑期刊“}，｛”键“：”24_CR5“，”系列标题“：”人工智能讲义“，”首页“：”31“，”卷标题“：”智能系统基础“，”作者“：”E.Gr\u00e4del“，”年份“：”2000“，”非结构化“：”Gr\u00e4del，E.：保护逻辑的决策过程。收录：Ohsuga，S.，Ra\u015b，Z.W.（编辑）ISMIS 2000。LNCS（LNAI），第u00a01932卷，第31\u201351页。Springer，Heidelberg（2000）“}，{”issue“：”1“，”key“：”24_CR6“，”doi-asserted-by“：”publisher“，”first page“：“53”，“doi”：“10.2307\/421196”，“volume”：“3”，“author”：“E.Gr\u00e4del”，“year”：“1997”，“unstructured”：“Gr\u0014del，E.，Kolaitis，P.，Vardi，M.：关于二变量一阶逻辑的决策问题。符号逻辑公报00a03（1），53\u201396（1997）“，“journal-title”：“符号逻辑公告”}，{“key”：“24_CR7”，“first-page:”45“，”volume-title“：“IEEE第十四届计算机科学逻辑年会”，“author”：“E.Gr\u00e4del”，“year”：“1999”，“unstructured”：“Gr\u00e4del，E.，Walukiewicz，I.：保护定点逻辑。摘自：第十四届IEEE计算机科学逻辑年会，第45\u201354页。IEEE Computer Society Press，Los Alamitos（1999）“}，{”key“：”24_CR8“，”doi-asserted-by“：”publisher“，”first page“：“205”，“doi”：“10.1023\/A:1015178417181”，“volume”：“70”，“author”：“I.Hodkinson”，“year”：“2002”，“unstructured”：“Hodkinson，I.：一阶逻辑的松散保护片段具有有限模型特性。Studia Logica\u00a070，205\u2013240（2002）“，”journal-title“：”Studia Logica“}，{”key“：”24_CR9“，”doi-asserted-by“：”publisher“，”first page“：“387”，”doi“：”10.2178\/bsl\/1058448678“，”volume“：‘9’，”author“：”I.Hodkinson“，”year“：”2003“，”unstructured“：”Hodkinson，I.，Otto，M.：有限共形超图覆盖，有两个应用。牛市。符号逻辑\u00a09，387\u2013405（2003）”，“期刊标题”：“牛市。符号逻辑“}，{“键”：“24_CR10”，“首页”：“191”，“卷”：“20”，“作者”：“L.G.哈奇扬”，“年份”：“1979”，“非结构化”：“哈奇扬，L.G.：线性规划中的多项式算法。苏维埃数学Doklady\u00a020，191\u2013194（1979）”，“日记标题”：“苏维埃数学Doklady”}，}“键“：”24_CR11“序列时间”：“《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“299”，“doi”：“10.1007\/3-540-36576-1_19”，《volume-title》：“软件科学和计算结构基础”，“author”：“E.Kiero\u0144ski”，“year”：“2003”，“unstructured”：“Kiero\ u0144ki，E.：具有传递保护的双变量保护碎片是Expd-Hard。收录于：Gordon，A.D.（编辑）ETAPS 2003和FOSSACS 2003。LNCS，卷\u00a02620，第299\u2013312页。Springer，Heidelberg（2003）“}，{”key“：”24_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“309”，”doi“：”10.1007\/11538363_22“，“volume-title”：“Computer Science Logic”，“author”：“E.Kiero\u0144ski”，“year”：“2005”，“unstructured”：“Kiero\u0144ski，E.：关于等价或传递关系的保护片段的结果。收录：Ong，L.（编辑）CSL 2005。LNCS，第u00a03634卷，第309\u2013324页。Springer，Heidelberg（2005）“}，{”key“：“24_CR13”，”doi-asserted-by“：”publisher“，”first page“：”448“，”doi“：”10.1109\/LICS.2005.49“，”volume-title“：”第20届IEEE计算机科学逻辑交响曲（LICS）汇编“，”author“：”E.Kiero\u0144ski“，”year“：”2005“，”unstructured“：”Kiero\u0144ski，E.，Otto，M.：具有两个变量的一阶逻辑的小子结构和可判定性问题。In：程序。第20届IEEE Symp。计算机科学中的逻辑（LICS），第448\u2013457页。IEEE Computer Society Press，Los Alamitos（2005）“}，{”issue“：“4”，”key“：“24_CR14”，“doi-asserted-by”：“publisher”，“first page”：“765”，“doi”：“10.1145\/322276.32287”，“volume”：”28“，”author“：”C.Papadimitriou“，“year”：“1981”，“unstructured”：“Papadimtriou，Ch.：On the Complexity of Integer Programming.Journal of ACM\u00a028（4），765\u2013788 6（1981）“，”journal-title“：”journal of ACM“}，{”issue“：”1“，”key“：”24_CR15“，”doi-asserted-by“：”publisher“，”first page“：“133”，”doi“：”10.1093\/logcom\/exl034“，”volume“:”17“，”author“：”I.Pratt-Hartmann“，”year“：”2007“，”unstructured“：”Pratt-Hartmann，I.：带计数量词的受保护二元片段的复杂性。《逻辑与计算杂志》\u00a017（1），133\u2013155（2007）“，“期刊标题”：“逻辑与计算期刊”}，{“关键字”：“24_CR16”，“doi-asserted-by”：“出版商”，“首页”：“147”，“doi”：“10.1109\/LICS.2001.932491”，“卷标”：“第16届IEEE计算机科学中的逻辑研讨会”，“作者”：“W.Szwast”，“年份”：“2001”，“非结构化”：“Szwast，W.，Tendra，L.：关于具有及物性的保护碎片的决策问题。In：程序。第16届IEEE计算机科学逻辑研讨会，第147\u2013156页。IEEE Computer Society Press，Los Alamitos（2001）“}，{”key“：”24_CR17“，”doi-asserted-by“：”publisher“，”first page“：“227”，“doi”：“10.1016\/j.apal.2004.01.003”，“volume”：“128”，“author”：“W.Szwast”，“year”：“2004”，“unstructured”：“Szwast，W.，Tendra，L.：带过渡防护的防护碎片。《纯逻辑与应用逻辑年鉴》（Annals of Pure and Applied Logic）\u00a0128，227\u2013276（2004）“，“journal-title”：《纯逻辑和应用逻辑年刊》}，{“key”：“24_CR18”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《307》，“doi”：“10.1007\/11591191_22”，“volume-title“：“程序设计、人工智能和推理的逻辑”，“作者“：”W.Szwast“，”year“：”2005“，”unstructured“：”Szwast，W.，Tendra，L.：关于具有传递性的保护碎片的有限可满足性问题。收录：Sutcliffe，G.，Voronkov，A.（编辑）LPAR 2005。LNCS（LNAI），第u00a03835卷，第307\u2013321页。Springer，Heidelberg（2005）“}，{“key”：“24_CR19”，“unstructured”：“van Benthem，J.：Dynamics bits and pieces。ILLC Research Report LP-97-01，University of Amsterdam（1997）”}]，“container-title”：[“Logic for Programming，Artificial Intelligence，and Reasoning”，“计算机科学课堂讲稿”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75560-9_24.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2021,4,27]，“日期时间”：“2021-04-27T10:24:43Z”，“时间戳”：1619519083000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-75560-9_24“｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[null]]｝，“国际标准图书编号”：[“9783540755586”]，“引用次数”：19，“URL”：“http:\/\/dx.doi.org//10.1007\/978-3-540-75560-9_24”，“关系”：｛｝，“主题”：[]｝