{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:13:46Z","timestamp":1649117626616},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"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]],"date-time":"2005-08-12T12:01:33Z","timestamp":1123848093000},"page":"27-36","source":"Crossref","is-referenced-by-count":11,"title":["A lower bound for the complexity of Craig's interpolants in sentential logic"],"prefix":"10.1007","volume":"23","author":[{"given":"Daniele","family":"Mundici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"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.: The relative efficiency of propositional proof systems. J. Symb. Logic44, 36\u201350 (1979).","journal-title":"J. Symb. 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":"Friedman, H.: The complexity of explicit definitions. Adv. Math.20, 18\u201329 (1976).","journal-title":"Adv. Math."},{"key":"BF02023010_CR3","first-page":"231","volume":"263","author":"D. Mundici","year":"1981","unstructured":"Mundici, D.: Robinson's consistency theorem in soft model theory. Trans. Am. Math. Soc.263, 231\u2013241 (1981).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02023010_CR4","doi-asserted-by":"crossref","unstructured":"Mundici, D.: Compactness = JEP in any logic. Fund. Math.116 (to appear) (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","unstructured":"Mundici, D.: Complexity of Craig's interpolation. Ann. Soc. Math. Pol., Series IV: Fundamenta Informaticae V.3\/2, 261\u2013278 (1982).","journal-title":"Fundamenta Informaticae"},{"issue":"3\/4","key":"BF02023010_CR6","first-page":"101","volume":"LXIX","author":"D. Mundici","year":"1980","unstructured":"Mundici, D.: Natural limitations of algorithmic procedures in logic. Rendiconti of the Nat. Acad. of Lincei (Rome), Serie VIII, Vol. LXIX 3\/4, 101\u2013105 (1980).","journal-title":"Rendiconti of the Nat. Acad. of 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":"Mundici, D.: Irreversibility, uncertainty, relativity, and computer limitations. Il Nuovo Cimento, Europhysics Journal61B, No. 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":"270","author":"D. Mundici","year":"1982","unstructured":"Mundici, D.: Duality between logics and equivalence relations. Trans. Am. Math. Soc.270, 111\u2013129 (1982).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02023010_CR9","volume-title":"Abstract model theory and strong logics","author":"D. Mundici","year":"1983","unstructured":"Mundici, D.: Quantifiers: an overview. In: Barwise, J., Feferman, S. (eds.): Abstract model theory and strong logics. Omega series. Berlin, Heidelberg, New York: Springer (to appear) 1983."},{"key":"BF02023010_CR10","first-page":"6","volume":"LXX.1","author":"D. Mundici","year":"1981","unstructured":"Mundici, D.: Craig's interpolation theorem in computation theory. Rendiconti of the Nat. Acad. of Lincei (Rome), Serie VIII, Vol.LXX.1, 6\u201311 (1981).","journal-title":"Rendiconti of the Nat. Acad. of Lincei"},{"key":"BF02023010_CR11","volume-title":"Proceedings of the ASL Logic Colloquium '82 in Florence","author":"D. Mundici","year":"1983","unstructured":"Mundici, D.: NP and Craig's interpolation theorem. In: Proceedings of the ASL Logic Colloquium '82 in Florence. Amsterdam: North-Holland (to appear) 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":"Mundici, D.: Compactness, interpolation, and Friedman's third problem. Ann. Math. Logic22, 197\u2013211 (1982).","journal-title":"Ann. Math. Logic"},{"key":"BF02023010_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02318027","volume":"22","author":"D. Mundici","year":"1982","unstructured":"Mundici, D.: Interpolation, compactness, and JEP in soft model theory. Arch. math. Logik22, 61\u201367 (1982).","journal-title":"Arch. math. Logik"},{"key":"BF02023010_CR14","volume-title":"The complexity of computing","author":"J.E. Savage","year":"1976","unstructured":"Savage, J.E.: The complexity of computing. New York: Wiley 1976."},{"key":"BF02023010_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00265223","volume":"7","author":"C.P. Schnorr","year":"1976","unstructured":"Schnorr, C.P.: The network complexity and the Turing machine complexity of finite functions. Acta Informatica7, 95\u2013107 (1976).","journal-title":"Acta Informatica"},{"key":"BF02023010_CR16","volume-title":"First-order logic","author":"R.M. Smullyan","year":"1971","unstructured":"Smullyan, R.M.: First-order logic. Berlin, Heidelberg, New York: Springer 1971."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"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:\/\/link.springer.com\/article\/10.1007\/BF02023010\/fulltext.html","content-type":"text\/html","content-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"}],"deposited":{"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"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["BF02023010"],"URL":"https:\/\/doi.org\/10.1007\/bf02023010","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}