{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:03:04Z","timestamp":1764284584290,"version":"3.46.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032120854"},{"type":"electronic","value":"9783032120861"}],"license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-12086-1_13","type":"book-chapter","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:36:20Z","timestamp":1764146180000},"page":"225-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Proof of\u00a0the\u00a0De Zolt Postulate in\u00a0Three-Dimensional Space"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6807-5242","authenticated-orcid":false,"given":"Bruno","family":"Cuconato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4999-7476","authenticated-orcid":false,"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,27]]},"reference":[{"key":"13_CR1","unstructured":"Baldwin, J.: What is a geometric proof: reflections on de zolt\u2019s axiom. In: Proceedings of the 17th CLMPST (2023)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Baldwin, J.T.: Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism. Cambridge University Press (2018)","DOI":"10.1017\/9781316987216"},{"issue":"1","key":"13_CR3","first-page":"37","volume":"10","author":"D De Rauglaudre","year":"2017","unstructured":"De Rauglaudre, D.: Formal proof of Banach-Tarski paradox. J. Formalized Reason. 10(1), 37\u201349 (2017)","journal-title":"J. Formalized Reason."},{"issue":"10","key":"13_CR4","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1515\/crll.1833.10.228","volume":"1833","author":"P Gerwien","year":"1833","unstructured":"Gerwien, P.: Zerschneidung jeder beliebigen Anzahl von gleichen geradlinigen Figuren in dieselben St\u00fccke. Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal) 1833(10), 228\u2013234 (1833). https:\/\/doi.org\/10.1515\/crll.1833.10.228","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1017\/s1755020319000339","volume":"15","author":"EN Giovannini","year":"2019","unstructured":"Giovannini, E.N., Haeusler, E.H., Lassalle-Casanave, A., Veloso, P.A.S.: De Zolt\u2019s postulate: an abstract approach. Rev. Symbolic Logic 15(1), 197\u2013224 (2019). https:\/\/doi.org\/10.1017\/s1755020319000339","journal-title":"Rev. Symbolic Logic"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Giovannini, E.N., Lassalle\u00a0Casanave, A., Haeusler, E.H.: Sobre el postulado de De Zolt en tres dimensiones. O que nos faz pensar 29(49) (2021)","DOI":"10.32334\/oqnfp.2021n49a802"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Hartshorne, R.: Geometry: Euclid and Beyond. Springer-Verlag (2000)","DOI":"10.1007\/978-0-387-22676-7"},{"key":"13_CR8","unstructured":"Heath, T.L.: The Thirteen Books of Euclid\u2019s Elements. Dover Publications (1956)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-319-21401-6_26","volume-title":"Automated Deduction - CADE-25","author":"L de Moura","year":"2015","unstructured":"de Moura, L., Kong, S., Avigad, J., van Doorn, F., von Raumer, J.: The lean theorem prover (system description). In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 378\u2013388. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_26"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-030-79876-5_37","volume-title":"Automated Deduction \u2013 CADE 28","author":"L Moura","year":"2021","unstructured":"Moura, L., Ullrich, S.: The lean 4 theorem prover and programming language. In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS (LNAI), vol. 12699, pp. 625\u2013635. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_37"},{"key":"13_CR11","unstructured":"Wallace, W., Lowry, J.: Question 269, New Series of the Mathematical Repository, vol. 3. W. Glendinning, London (1814)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12086-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:01:57Z","timestamp":1764284517000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12086-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"ISBN":["9783032120854","9783032120861"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12086-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"27 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf2025.ufrpe.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}