A (simplified) supreme being necessarily exists, says the computer : Computationally explored variants of Gödel's ontological argument

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-10-052026-10-0520209780999241172https://fis.uni-bamberg.de/handle/uniba/117505engA (simplified) supreme being necessarily exists, says the computer : Computationally explored variants of Gödel's ontological argumentconferenceobject2-s2.0-85104681357