Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL




Author(s): Benzmüller, Christoph  
Title of the Journal: Archive of Formal Proofs
ISSN: 2150-914x
Year of publication: 2021
Pages: 13
Language(s): English
URL: https://www.isa-afp.org/entries/SimplifiedOntol...
https://www.isa-afp.org/browser_info/current/AF...
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55572
Release Date: 16. September 2022