{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:08Z","timestamp":1747546928458},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617808"},{"type":"electronic","value":"9783540707226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61780-9_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:25:40Z","timestamp":1330295140000},"page":"288-296","source":"Crossref","is-referenced-by-count":4,"title":["Organization and development of a constructive axiomatization"],"prefix":"10.1007","author":[{"given":"Jan","family":"Plato","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bishop, E. and D. Bridges (1985) Constructive Analysis, Springer.","DOI":"10.1007\/978-3-642-61667-9"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bridges, D. (1989) The constructive theory of preference relations on a locally compact space, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Ser. A92, pp. 141\u2013165.","DOI":"10.1016\/S1385-7258(89)80023-X"},{"key":"19_CR3","volume-title":"Intuitionistische Axiomatik der Projektieve Meetkunde","author":"A. Heyting","year":"1925","unstructured":"Heyting, A. (1925) Intuitionistische Axiomatik der Projektieve Meetkunde, P. Nordhoff, Groningen."},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0049-237X(09)70026-6","volume-title":"The Axiomatic Method","author":"A. Heyting","year":"1959","unstructured":"Heyting, A. (1959) Axioms for intuitionistic plane affine geometry, in L. Henkin et al. (eds.) The Axiomatic Method, pp. 160\u2013173, North-Holland, Amsterdam."},{"key":"19_CR5","volume-title":"Constructive geometry according to Jan von Plato, report","author":"G. Kahn","year":"1995","unstructured":"Kahn, G. (1995) Constructive geometry according to Jan von Plato, report, INRIA, Sophia-Antipolis."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0168-0072(95)00005-2","volume":"76","author":"J. Plato von","year":"1995","unstructured":"von Plato, J. (1995) The axioms of constructive geometry, Annals of Pure and Applied Logic, vol. 76, pp. 169\u2013200.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61780-9_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:44Z","timestamp":1619573804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61780-9_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617808","9783540707226"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-61780-9_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}