{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:57:06Z","timestamp":1725494226719},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425984"},{"type":"electronic","value":"9783540454106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45410-1_8","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:16:33Z","timestamp":1194264993000},"page":"129-142","source":"Crossref","is-referenced-by-count":4,"title":["The Kinds of Truth of Geometry Theorems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Bulmer","sequence":"first","affiliation":[]},{"given":"Desmond","family":"Fearnley-Sander","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Stokes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-51082-6_74","volume-title":"A Procedure to Prove Geometrical Statements, Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, AAECC-5","author":"G. Carr\u00e0 Ferro","year":"1989","unstructured":"Carr\u00e0 Ferro, G. and Gallo, G.: A Procedure to Prove Geometrical Statements, Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, AAECC-5 (L. Huguet and A. Poli, eds.), Lecture Notes in Computer Science 356, Springer-Verlag (1989), 141\u2013150."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving, D. Reidel (1988).","DOI":"10.1007\/978-94-009-4037-6"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Geometry Theorem Proving Using Hilbert\u2019s Nullstellensatz, Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation (Waterloo, July 21-23, 1986), ACM Press, 202\u2013208.","DOI":"10.1145\/32439.32479"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(88)90050-1","volume":"37","author":"D. Kapur","year":"1988","unstructured":"Kapur, D.: A Refutational Approach to Theorem Proving in Geometry, Artificial Intelligence 37 (1988), 61\u201393.","journal-title":"Artificial Intelligence"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Kutzler, B. and Stifter, S.: Automated Geometry Theorem Proving Using Buchberger\u2019s Algorithm, Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation (Waterloo, July 21-23, 1986), ACM Press, 209\u2013214.","DOI":"10.1145\/32439.32480"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Recio, T., Sterk, H. and Velez, M.: Automatic Geometry Theorem Proving, Some Tapas of Computer Algebra (A. M. Cohen, H. Cuipers and H. Sterk, eds.), Algorithms and Computation in Mathematics 4, Springer-Verlag (1999), 276\u2013296.","DOI":"10.1007\/978-3-662-03891-8_12"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"Recio, T. and Velez, M.: Automatic Discovery of Theorems in Elementary Geometry, Journal of Automated Reasoning 23 (1999), 63\u201382.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D. Wang","year":"1995","unstructured":"Wang, D.: Elimination Procedures for Mechanical Theorem Proving in Geometry, Annals of Mathematics and Artificial Intelligence 13 (1995), 1\u201324.","journal-title":"Elimination Procedures for Mechanical Theorem Proving in Geometry, Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR9","first-page":"157","volume":"21","author":"W.-t. Wu","year":"1978","unstructured":"Wu, W.-t.: On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry, Scientia Sinica 21 (1978), 157\u2013179.","journal-title":"Scientia Sinica"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Wu, W.-t.: Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag (1994).","DOI":"10.1007\/978-3-7091-6639-0"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45410-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:19:32Z","timestamp":1556947172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45410-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425984","9783540454106"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45410-1_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}