{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T13:03:39Z","timestamp":1746450219352},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540385936"},{"type":"electronic","value":"9783540385943"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11839132_16","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T12:59:42Z","timestamp":1156510782000},"page":"195-206","source":"Crossref","is-referenced-by-count":2,"title":["The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem"],"prefix":"10.1007","author":[{"given":"Jerzy","family":"Mycka","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Coelho","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 F\u00e9lix","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0629-3","volume-title":"Geometric Constructions","author":"G.E. Martin","year":"1998","unstructured":"Martin, G.E.: Geometric Constructions. Springer, Heidelberg (1998)"},{"key":"16_CR2","unstructured":"Plouffe, S.: The computation of certain numbers using a ruler and compass. Journal of Integer Sequences\u00a01 (1998)"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"J.C. Shepherdson","year":"1963","unstructured":"Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. Journal of the ACM\u00a010(2), 217\u2013255 (1963)","journal-title":"Journal of the ACM"},{"key":"16_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis, An Introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable analysis, An Introduction. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11839132_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:16Z","timestamp":1619507716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11839132_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540385936","9783540385943"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/11839132_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}