{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:06Z","timestamp":1725489486631},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427520"},{"type":"electronic","value":"9783540455042"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45504-3_3","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T22:56:02Z","timestamp":1187045762000},"page":"38-48","source":"Crossref","is-referenced-by-count":2,"title":["A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,2]]},"reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.3233\/FI-1994-2044","volume":"20","author":"M. Baaz","year":"1994","unstructured":"[Baaz, M. and Leitsch, A., 1994]On Skolemization and Proof Complexity. Fundamenta Informaticae 20(4), pages 353\u2013379.","journal-title":"Fundamenta Informaticae"},{"issue":"1-3","key":"3_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0168-0072(98)00026-8","volume":"97","author":"M. Baaz","year":"1999","unstructured":"[Baaz, M. and Leitsch, A., 1999]Cut normal forms and proof complexity. Ann. Pure Appl. Logic 97(1-3), pages 127\u2013177.","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR3","unstructured":"[Baaz, M. and Pudl\u00e1k, P., 1993]Kreisel\u2019s conjecture for L.1. In P. Clote and J. Kraj\u00ed\u010dek, editors, Arithmetic, Proof Theory and Computational Complexity, pages 29\u201359. Oxford University Press, 1993. With a postscript by G. Kreisel."},{"key":"3_CR4","unstructured":"[Leitsch, A., 1997]The Resolution Calculus. Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"3_CR5","unstructured":"[Takeuti, G., 1980]Proof Theory. North-Holland, Amsterdam, 2nd edition."},{"key":"3_CR6","first-page":"195","volume":"6","author":"T. Yukami","year":"1984","unstructured":"[Yukami, T., 1984]Some results on speed-up. Ann. Japan Assoc. Philos. Sci., 6, pages 195\u2013205.","journal-title":"Ann. Japan Assoc. Philos. Sci."}],"container-title":["Lecture Notes in Computer Science","Proof Theory in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45504-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:57:03Z","timestamp":1587848223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45504-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427520","9783540455042"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45504-3_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}