Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-162022-09-1620212150-914xhttps://fis.uni-bamberg.de/handle/uniba/55572engExploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOLarticlehttps://www.isa-afp.org/entries/SimplifiedOntologicalArgument.htmlhttps://www.isa-afp.org/browser_info/current/AFP/SimplifiedOntologicalArgument/outline.pdf