{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:42:55Z","timestamp":1742982175155,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031164149"},{"type":"electronic","value":"9783031164156"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-16415-6_33","type":"book-chapter","created":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T07:03:51Z","timestamp":1672729431000},"page":"217-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["G\u00f6del\u2019s Proof of\u00a0Existence of\u00a0God Revisited"],"prefix":"10.1007","author":[{"given":"Olga","family":"Kosheleva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,4]]},"reference":[{"unstructured":"Bjordal, F.A.: Understanding G\u00f6del\u2019s ontological argumen. In: Childers, T. (Ed.), The Logica Yearbook 1998, Prague 1999, pp. 214\u2013217","key":"33_CR1"},{"issue":"3","key":"33_CR2","first-page":"329","volume":"27","author":"FA Bjordal","year":"2018","unstructured":"Bjordal, F.A.: All properties are divine, or God exists. Logic and Logical Philosophy 27(3), 329\u2013350 (2018)","journal-title":"Logic and Logical Philosophy"},{"key":"33_CR3","volume-title":"Logical Dilemmas: The Life and Work of Kurt Godel","author":"JW Dawson Jr","year":"1987","unstructured":"Dawson, J.W., Jr.: Logical Dilemmas: The Life and Work of Kurt Godel. AK Peters, Wellesley, Massachusetts (1987)"},{"key":"33_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0411-4","volume-title":"Types, Tableaus, and Godel\u2019s God","author":"M Fitting","year":"2002","unstructured":"Fitting, M.: Types, Tableaus, and Godel\u2019s God. Kluwer Academic, Dordrecht (2002)"},{"unstructured":"G\u00f6del, K.: In: S. Feferman, J.W. Dawson Jr., W. Goldfarb, C. Parsons, Solovay, R.M. (Eds.), Unpublished Essays and Lectures, Collected Works III (1st ed.), Oxford University Press, Oxford, UK, 1995, pp. 403\u2013404 and 429\u2013437","key":"33_CR5"},{"issue":"3","key":"33_CR6","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1080\/00048409812348501","volume":"76","author":"AP Hazen","year":"1998","unstructured":"Hazen, A.P.: On G\u00f6del\u2019s ontological proof. Australasian J. Philos. 76(3), 361\u2013377 (1998)","journal-title":"Australasian J. Philos."},{"unstructured":"Oppy, G.: Ontological argument, In: Zalta, E.N. (Ed.), Stanford Encyclopedia of Philosophy, downloaded on May 14, 2021","key":"33_CR7"},{"key":"33_CR8","volume-title":"Reflections on Kurt G\u00f6del","author":"H Wang","year":"1987","unstructured":"Wang, H.: Reflections on Kurt G\u00f6del. MIT Press, Cambridge, Massachisetts (1987)"},{"key":"33_CR9","volume-title":"A Logical Journey: from G\u00f6del to Philosophy","author":"H Wang","year":"1996","unstructured":"Wang, H.: A Logical Journey: from G\u00f6del to Philosophy. MIT Press, Cambridge, Massachusetts (1996)"}],"container-title":["Studies in Systems, Decision and Control","Decision Making Under Uncertainty and Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16415-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T09:06:21Z","timestamp":1672736781000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16415-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031164149","9783031164156"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16415-6_33","relation":{},"ISSN":["2198-4182","2198-4190"],"issn-type":[{"type":"print","value":"2198-4182"},{"type":"electronic","value":"2198-4190"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"4 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}