{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:49:22Z","timestamp":1725695362949},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,9,1]],"date-time":"1986-09-01T00:00:00Z","timestamp":525916800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1986,9]]},"DOI":"10.1007\/bf02328447","type":"journal-article","created":{"date-parts":[[2006,3,14]],"date-time":"2006-03-14T17:24:33Z","timestamp":1142357073000},"page":"221-252","source":"Crossref","is-referenced-by-count":146,"title":["Basic principles of mechanical theorem proving in elementary geometries"],"prefix":"10.1007","volume":"2","author":[{"given":"Wu","family":"Wen-Tsun","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02328447_CR1","unstructured":"Hilbert, D.,Grundlagen der Geometrie, Teubner (1899)."},{"key":"BF02328447_CR2","doi-asserted-by":"crossref","unstructured":"Ritt, J. F.,Differential Equation from the Algebraic Standpoint, Amer. Math. Soc. (1932).","DOI":"10.1090\/coll\/014"},{"key":"BF02328447_CR3","doi-asserted-by":"crossref","unstructured":"Ritt, J. F.,Differential Algebra, Amer. Math. Soc. (1950).","DOI":"10.1090\/coll\/033"},{"key":"BF02328447_CR4","first-page":"159","volume":"21","author":"Wu Wen-ts\u00fcn","year":"1978","unstructured":"WuWen-ts\u00fcn, \u2018On the decision problem and the mechanization of theorem proving in elementary geometry\u2019,Scientia Sinica 21 159\u2013172 (1978).","journal-title":"Scientia Sinica"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02328447.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02328447\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02328447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T18:07:36Z","timestamp":1558030056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02328447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,9]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,9]]}},"alternative-id":["BF02328447"],"URL":"https:\/\/doi.org\/10.1007\/bf02328447","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,9]]}}}