{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:14:27Z","timestamp":1648984467091},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1970,6,1]],"date-time":"1970-06-01T00:00:00Z","timestamp":13046400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1970,6]]},"DOI":"10.1007\/bf02235802","type":"journal-article","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T05:18:46Z","timestamp":1129871926000},"page":"128-135","source":"Crossref","is-referenced-by-count":0,"title":["Mechanisierung von Dreieckskonstruktionen"],"prefix":"10.1007","volume":"5","author":[{"given":"H.","family":"Ehlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Pittnauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02235802_CR1","first-page":"4","volume":"III","author":"Carton","year":"1960","unstructured":"Carton: Un proc\u00e9d\u00e9 de m\u00e9canisation de la g\u00e9ometrie. CyberneticaIII, 83\u2013117 (1960) CyberneticaIII, 4 (1960).","journal-title":"Cybernetica"},{"key":"BF02235802_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An Unsolvable Problem of Elementary Number Theory. Amer. J. Math.58, 345\u2013363 (1936).","journal-title":"Amer. J. Math."},{"key":"BF02235802_CR3","unstructured":"Gelernter, H. L.: Realization of a Geometry Theorem-Proving Machine. P. 273\u2013282. Proc. First Intern. Conf. on Inf. Proc. UNESCO, Paris. 1959."},{"key":"BF02235802_CR4","unstructured":"Gelernter, H. L.: Machine-Generated Problem-Solving Graphs. P. 179\u2013203. Proceed. of the Sympos. on Mathematical Theory of Automata, New York. 1962."},{"key":"BF02235802_CR5","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1147\/rd.24.0336","volume":"2","author":"H. L. Gelernter","year":"1958","unstructured":"Gelernter, H. L., andN. Rochester: Intelligent Behavior in Problem-Solving Machines. IBM-Journal Res. Dev.2, 336\u2013345 (1958).","journal-title":"IBM-Journal Res. Dev."},{"key":"BF02235802_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01462-2","volume-title":"Aufz\u00e4hlbarkeit-Entscheidbarkeit-Berechenbarkeit","author":"H. Hermes","year":"1961","unstructured":"Hermes, H.: Aufz\u00e4hlbarkeit-Entscheidbarkeit-Berechenbarkeit. Berlin-G\u00f6ttingen-Heidelberg: Springer-Verlag. 1961."},{"key":"BF02235802_CR7","unstructured":"Herterich, K.: Dreieckskonstruktionen. Stuttgart. 1961."},{"key":"BF02235802_CR8","unstructured":"Spieker: Lehrbuch der ebenen Goemetrie. Potsdam. 1894."},{"key":"BF02235802_CR9","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Univ. Cal. Press. Berkeley and Los Angeles. 1951."},{"key":"BF02235802_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.41.0002","volume":"4","author":"H. Wang","year":"1960","unstructured":"Wang, H.: Towards Mechanical Mathematics IBM-Journal Res. Dev.4, 2\u201322 (1960).","journal-title":"IBM-Journal Res. Dev."},{"key":"BF02235802_CR11","first-page":"220","volume":"3","author":"H. Wang","year":"1960","unstructured":"Wang, H.: Proving Theorems by Pattern Recognition I. C. A. C. M.3, 220\u2013234 (1960).","journal-title":"Proving Theorems by Pattern Recognition I. C. A. C. M."}],"container-title":["Computing"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02235802.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02235802\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02235802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T19:33:16Z","timestamp":1626636796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02235802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,6]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1970,6]]}},"alternative-id":["BF02235802"],"URL":"https:\/\/doi.org\/10.1007\/bf02235802","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1970,6]]}}}