{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T14:04:58Z","timestamp":1777125898480,"version":"3.51.4"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1007\/s002360050044","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:47:25Z","timestamp":1030261645000},"page":"277-280","source":"Crossref","is-referenced-by-count":33,"title":["Short resolution proofs for a sequence of tricky formulas"],"prefix":"10.1007","volume":"33","author":[{"given":"Gunnar","family":"St\u00e5lmarck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60330277236_CR1","doi-asserted-by":"crossref","unstructured":"Buss, S.R.: Polynomial size proofs of the propositional pigeonhole principle., J. Symbolic Logic 52 (1987)","DOI":"10.2307\/2273826"},{"key":"60330277236_CR2","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: A short proof of the pigeonhole principle using extended resolution. SIGACT News 8 (1976)","DOI":"10.1145\/1008335.1008338"},{"key":"60330277236_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S.A., Reckhow, R.A.: The relative efficiency of propositional proof systems. J. Symbolic logic 44 (1979)","DOI":"10.2307\/2273702"},{"key":"60330277236_CR4","unstructured":"Franzen, T.: Algoritmic aspects of intuitionistic propositional logic, SICS Research Report R87010, 1987"},{"key":"60330277236_CR5","doi-asserted-by":"crossref","unstructured":"Haken, A.: The intractability of resolution. Theoret. Comput. Sci. 39 (1985)","DOI":"10.1016\/0304-3975(85)90144-6"},{"key":"60330277236_CR6","doi-asserted-by":"crossref","unstructured":"Hansenjaeger, G.: \u00dcber eine Art von Unvollst\u00e4ndigkeit des Pr\u00e4dikatenkalk\u00fcls der ersten Stufe. J. Symbolic Logic 15 (1950)","DOI":"10.2307\/2268338"},{"key":"60330277236_CR7","volume-title":"Grundlagen der Mathematik","author":"D. Hilbert","year":"1934","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik, Berlin: Springer 1934."},{"key":"60330277236_CR8","doi-asserted-by":"crossref","unstructured":"Krishnamurty, B.: Short proofs for tricky formulas. Acta Informatica 22 (1985)","DOI":"10.1007\/BF00265682"},{"key":"60330277236_CR9","unstructured":"Tseitin, G.S.: On the complexity of derivations in propositional calculus. Studies in mathematics and mathematical logic, Part II, 1968."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050044.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s002360050044\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T10:53:40Z","timestamp":1576666420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s002360050044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["60330277236"],"URL":"https:\/\/doi.org\/10.1007\/s002360050044","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}