{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:46:32Z","timestamp":1755794792252},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319085869"},{"type":"electronic","value":"9783319085876"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08587-6_38","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T23:38:32Z","timestamp":1404257912000},"page":"495-510","source":"Crossref","is-referenced-by-count":8,"title":["OTTER Proofs in Tarskian Geometry"],"prefix":"10.1007","author":[{"given":"Michael","family":"Beeson","sequence":"first","affiliation":[]},{"given":"Larry","family":"Wos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Beeson, M.: The Tarski formalization project, http:\/\/www.michaelbeeson.com\/research\/FormalTarski\/index.php"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Braun, G., Narboux, J.: From Tarski to Hilbert. In: Ida, T., Fleuriot, J. (eds.) Automated Deduction in Geometry 2012 (2012)","DOI":"10.1007\/978-3-642-40672-0_7"},{"volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","year":"1998","key":"38_CR3","unstructured":"Caviness, B.F., Johnson, J.R. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Wien\/New York (1998)"},{"key":"38_CR4","unstructured":"Gupta, H.N.: Contributions to the Axiomatic Foundations of Geometry. Ph.D. thesis, University of California, Berkeley (1965)"},{"key":"38_CR5","unstructured":"Hilbert, D.: Foundations of Geometry (Grundlagen der Geometrie), 2nd English edn. Open Court, La Salle (1960), translated from the tenth German edition by Leo Unger. Original publication date (1899)"},{"key":"38_CR6","volume-title":"Vorlesung \u00fcber Neuere Geometrie","author":"M. Pasch","year":"1882","unstructured":"Pasch, M.: Vorlesung \u00fcber Neuere Geometrie. Teubner, Leipzig (1882)"},{"key":"38_CR7","unstructured":"Pasch, M., Dehn, M.: Vorlesung \u00fcber Neuere Geometrie. B.\u00a0G. Teubner, Leipzig (1926), The 1st edn. (1882), which is the one digitized by Google Scholar, does not contain the appendix by Dehn"},{"key":"38_CR8","volume-title":"Automated Development of Fundamental Mathematical Theories","author":"A. Quaife","year":"1992","unstructured":"Quaife, A.: Automated Development of Fundamental Mathematical Theories. Springer, Heidelberg (1992)"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Schwabh\u00e4user, W., Szmielew, W., Tarski, A.: Metamathematische Methoden in der Geometrie: Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. In: Teil II: Metamathematische Betrachtungen (Hochschultext). Springer (1983); reprinted 2012 by Ishi Press, with a new foreword by Michael Beeson","DOI":"10.1007\/978-3-642-69418-9"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Tech. Rep. R-109, 2nd revised edn., reprinted in [3], pp. 24\u201384. Rand Corporation (1951)","DOI":"10.1525\/9780520348097"},{"key":"#cr-split#-38_CR11.1","unstructured":"Tarski, A.: What is elementary geometry? In: Henkin, L., Suppes, P., Tarksi, A. (eds.) The Axiomatic Method, with Special Reference to Geometry and Physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, December 26, 1957-January 4, 1958. Studies in Logic and the Foundations of Mathematics, pp. 16-29. North-Holland, Amsterdam (1959)"},{"key":"#cr-split#-38_CR11.2","unstructured":"available as a 2007 reprint, Brouwer Press, ISBN 1-443-72812-8"},{"issue":"2","key":"38_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.2307\/421089","volume":"5","author":"A. Tarski","year":"1999","unstructured":"Tarski, A., Givant, S.: Tarski\u2019s system of geometry. The Bulletin of Symbolic Logic\u00a05(2), 175\u2013214 (1999)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"38_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1090\/S0002-9947-1904-1500678-X","volume":"5","author":"O. Veblen","year":"1904","unstructured":"Veblen, O.: A system of axioms for geometry. Transactions of the American Mathematical Society\u00a05, 343\u2013384 (1904)","journal-title":"Transactions of the American Mathematical Society"},{"issue":"3","key":"38_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00252178","volume":"16","author":"R. Veroff","year":"1996","unstructured":"Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program. Journal of Automated Reasoning\u00a016(3), 223\u2013239 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"38_CR15","volume-title":"Automated reasoning: 33 basic research problems","author":"L. Wos","year":"1988","unstructured":"Wos, L.: Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs (1988)"},{"key":"38_CR16","volume-title":"Automated reasoning and the discovery of missing and elegant proofs","author":"L. Wos","year":"2003","unstructured":"Wos, L.: Automated reasoning and the discovery of missing and elegant proofs. Rinton Press, Paramus (2003)"},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Wos, L., Pieper, G.W.: A fascinating country in the world of computing. World Scientific (1999)","DOI":"10.1142\/9789812817952"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08587-6_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,10]],"date-time":"2022-04-10T04:36:12Z","timestamp":1649565372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08587-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319085869","9783319085876"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08587-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}