{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,5]]，“日期-时间”：“2022-04-05T00:13:46Z”，“时间戳”：1649117626616}，“参考-计数”：16，“出版商”：“Springer Science and Business Media LLC”：“1983-12-01T00:00:00Z”，“timestamp”：439084800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Arch-math Logik“]，”published-print“：{”date-parts“：[[1983,12]}”，“DOI”：“10.1007\/bf02023010”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T12:01:33Z”，“时间戳”：1123848093000}，“页面”：“27-36”，“源”：“Crossref”，“is-referenced-by-count”：11，“标题”：[“句子逻辑中Craig插值复杂性的下限”]，“前缀”：“10.1007”，《卷》：“23”，“作者”：[{“给定”：“Daniele”，“家族”：“Mundici”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“297”，“reference”：[{“key”：“BF02023010_CR1”，“doi-asserted-by”：“crossref”，”first page“：“36”，“doi”：“10.2307\/2273702”，“volume”：”44“，“author”：“S.A.Cook”，“year”：“1979”，“unstructured”：“Cook，S.A.，Rechkow，R.A.：命题证明系统的相对效率。J.Symb.Logic44，36\u201350（1979）。”，“journal-title”：“J.Symp.Logic”}，{“key”：“BF02023010_CR2”，“doi-asserted-by”：“crossref”，“first-page”：“18”，“doi”：“10.1016\/0001-8708（76）90167-5”，“volume”：“20”，“author”：“H.Friedman”，“year”：“1976”，“unstructured”：“Friedmon，H.：显式定义的复杂性。Adv.Math.20，18\u201329“：”231“，”卷“：”263“，“author”：“D.Mundici”，“year”：“1981”，“unstructured”：“Mundicy，D.：软模型理论中的Robinson一致性定理。Trans.Am.Math.Soc.263，231\u2013241（1981）。”，“journal-title”：“Trans.Am.Math.Soc.”}，{“key”：“BF02023010_CR4”，“doi-asserted-by”：“crossref”，“非结构化”：“Mondici，D.：紧凑性=任何逻辑中的JEP。Fund.Math.116（待公布） (1982).“，”DOI“：”10.4064\/fm-116-2-99-108“｝，｛”issue“：”2“，”key“：”BF02023010_CR5“，”DOI asserted by“：”crossref“，”first page“：”261“，”DOI“：”10.3233\/FI-1982-53-403“，”volume“：”3“，”author“：”D.Mundici“，”year“：”1982“，”nonstructured“：”Mundici，D.：Craig插值的复杂性。Ann.Soc。数学。政策。，第四辑：基础信息学V.3\/2261\u2013278（1982）。“，”journal-title“：”Fundamental Informaticae“}，{”issue“：”3\/4“，”key“：”BF02023010_CR6“，”first page“：“101”，“volume”：“LXIX”，“author”：“D.Mundici”，“year”：“1980”，“unstructured”：“Mundico，D.：逻辑算法程序的自然限制。罗马林塞国家科学院Rendiconti，第八辑，卷LXIX 3\/4101\u2013105（1980）。”，“《新闻标题》：《国家科学院的伦迪康蒂》。Lincei“}，{“issue”：“2”，“key”：“BF02023010_CR7”，“doi-asserted-by”：“crossref”，“first page”：”297“，“doi”：“10.1007\/BF02721331”，“volume”：：“61B”，“author”：“D.Mundici”，“year”：“1981”，“unstructured”：“Mundicy，D.：不可逆性、不确定性、相对性和计算机局限性。Il Nuovo Cimento，《欧洲物理学杂志》61B，第2期，297\u2013305（1981）。“，”journal-title“：”Il Nuovo Cimento，Europhysics journal“}，{”key“：”BF02023010_CR8“，”doi-asserted-by“：”crossref“，”first page“：“111”，”doi“：”10.1090\/S0002-9947-1982-0642332-1“，”volume“：）。“，”journal-title“：”事务处理。美国数学。Soc.“}，{“key”：“BF02023010_CR9”，“volume-title”：“抽象模型理论与强逻辑”，“author”：“D.Mundici”，“year”：“1983”，“unstructured”：“Mundici-D.：量词：概述。In:Barwise，J.，Feferman，S.（eds.）：抽象模型理论和强逻辑。Omega系列。柏林，海德堡，纽约：施普林格（即将出版）1983。”BF02023010_CR10“，“首页”：“6”，“卷”：“LXX.1”，“作者”：“D.Mundici”，“年份”：“1981”，“非结构化”：“Mundicy，D.：计算理论中的Craig插值定理。国家科学院的伦迪康蒂。Lincei（罗马），第八辑，卷LXX.1，6\u201311（1981）。“，”journal-title“：”美国国家科学院的Rendiconti。“Lincei”}，{“key”：“BF02023010_CR11”，“卷标题”：“82年在佛罗伦萨举行的ASL逻辑学术讨论会论文集”，“作者”：“D.Mundici”，“年份”：“1983”，“非结构化”：“Mundici，D.：NP和Craig插值定理。in：82年在佛罗伦萨举行的ASL逻辑学术讨论会论文集。Amsterdam:North Holland（即将出现）1983。”}，{“key”：“BF02023010_CR12”，“doi-asserted-by“：”crossref“，”first page“：”197“，“doi”：“10.1016\/0003-4843（82）90021-3”，“volume”：“22”，“author”：“D.Mundici”，“year”：“1982”，“unstructured”：“Mundicy，D.：紧凑性、插值和Friedman的第三个问题。安。数学。Logic22197\u2013211（1982）。“新闻标题”：“数学年鉴”。逻辑“}，{”键“：”BF02023010_CR13“，”doi-asserted-by“：”crossref“，”首页“：”61“，”doi“：”10.1007\/BF02318027“，”卷“：”22“，”作者“：”D.Mundici“，”年份“：”1982“，”非结构化“：”Mundico，D.：软模型理论中的插值、紧性和JEP。Arch.math.Logik22，61\u201367（1982）。“，”杂志标题“Arch.mathe.Logik”“密钥”：“BF02023010_CR14”，“volume-title“：“计算的复杂性”，“author”：“J.E.Savage”，“year”：“1976”，“unstructured”：“Savage，J.E.：计算的复杂性。纽约：Wiley 1976.“}，{”key“：”BF02023010_CR15“，”doi-asserted-by“：”crossref“，”first page“：“95”，“doi”：“10.1007\/BF00265223”，“volume”：“7”，“author”：“C.P.Schnor”，“year”：“1976”，“unstructured”：“Schnorr，C.P.：有限函数的网络复杂性和图灵机复杂性。Acta Informatica7，95\u2013107（1976）。”，“journal-title”：“《信息学报》“}，{“key”：“BF02023010_CR16”，“volume-title”：“一阶逻辑”，“author”：“R.M.Smullyan”，“year”：“1971”，“unstructured”：“Smullyn，R.M.：一阶逻辑。柏林，海德堡，纽约：斯普林格1971。”}]，“container-title“：[”Archive f\u00fcr Mathematische Logik und Grundlagendagendforschung“]，“original-tittle”：[]，“language”：“en”，“link”：[{“”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF02023010.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/llink.springer-com/article\/10.10007\/BF0023010\/fulltext.html”，“content-type:”text\/html“，”内容-version”：“vor”，“intended-application”：“text”mining“}，{”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/BF02023010“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,7,15]]，”date-time“：“2021-07-15T12:42:09Z”，”timestamp“：1626352929000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/BF02023010“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1983,12]]}，“引用计数”：16，“日志发布”：{“发布”：“1”，“published-print”:{“日期部分”：[[11983,12]}，‘替代id’：[“BF02023010”]，“URL”：“http://\/dx.doi”。org\/10.1007\/BF02023010“，”关系“：{}，”ISSN“：[”0933-5846“，”1432-0665“]，”issn-type“：[{”value“：“0933-5846”，“type”：“print”}，{”value“：“1432-0665”，“类型”：“electronic”}]，“主题”：[]，“发布”：{”date-parts“：[[1983,12]]}}}