{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T02:26:05Z","timestamp":1648520765494},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf01530934","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:25:21Z","timestamp":1113870321000},"page":"239-252","source":"Crossref","is-referenced-by-count":1,"title":["An exercise in an interactive geometrical research"],"prefix":"10.1007","volume":"9","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF01223260","volume":"30","author":"A. Avron","year":"1987","unstructured":"A. Avron, Theorems on strong constructibility with a compass alone, J. Geometry 30(1987) 28?35.","journal-title":"J. Geometry"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BF01222890","volume":"38","author":"A. Avron","year":"1990","unstructured":"A. Avron, On strict strong constructibility with a compass alone, J. Geometry 38(1990)12?15.","journal-title":"J. Geometry"},{"key":"CR3","unstructured":"L. Mascheroni,La Geometria del Compass (Pavia V, 1797)."},{"key":"CR4","unstructured":"G. Mohr,Euclidnes Danichs (Amsterdam, 1672)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0747-7171(85)80013-4","volume":"1","author":"A. Borodin","year":"1985","unstructured":"A. Borodin, R. Fagin, J.E. Hopcroft and M. Tompa, Decreasing the nesting depth of expressions involving square roots, J. Symbolic Comput. 1(1985)169?188.","journal-title":"J. Symbolic Comput."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0747-7171(85)80014-6","volume":"1","author":"R. Zippel","year":"1985","unstructured":"R. Zippel, Simplification of expressions involving radicals, J. Symbolic Comput. 1(1985)189?210.","journal-title":"J. Symbolic Comput."},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0022678","volume-title":"Fundamentals of Artificial Intelligence ? An Advanced Course","author":"W. Bibel","year":"1986","unstructured":"W. Bibel, Methods of automated reasoning, in:Fundamentals of Artificial Intelligence ? An Advanced Course, ed. W. Bibel and Ph. Jorrand (Springer, Berlin, 1986)."},{"key":"CR8","unstructured":"H. Eves,A Survey of Geometry, revised ed. (Allyn and Bacon, 1972)."},{"key":"CR9","volume-title":"Computer and Thought","author":"H. Gelernter","year":"1963","unstructured":"H. Gelernter, J.R. Hansen and D.W. Loveland, Empirical explorations of the geometry theorem proving machines, in:Computer and Thought, ed. E.A. Feigenbaum and J. Feldman (McGraw-Hill, New York, 1963)."},{"key":"CR10","volume-title":"Artificial Intelligence","author":"E. Rich","year":"1991","unstructured":"E. Rich and K. Knight,Artificial Intelligence, 2nd ed. (McGraw-Hill, New York, 1991).","edition":"2nd ed."},{"key":"CR11","unstructured":"J.S. Boyer and A. Moore,A Computational Logic (Academic Press, 1979)."},{"key":"CR12","unstructured":"P.B. Andrews et al., Automating higher order logics, in:Automated Theorem Proving: After 25 Years, ed. W.W. Bledsoe and D. Loveland [Contemp. Math. Series 19 (Amer. Math. Soc., 1984)]."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"N. Immerman, Languages which capture complexity classes, in:15th Symp. on Theory of Computing (Association for Computing Machinery, 1983) pp. 347?354.","DOI":"10.1145\/800061.808765"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530934\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530934.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530934\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:33Z","timestamp":1556890293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530934"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":13,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF01530934"],"URL":"https:\/\/doi.org\/10.1007\/bf01530934","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}