Notes on Gödel's and Scott's Variants of the Ontological Argument (Isabelle/HOL dataset)

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Scott, Dana S.Dana S.Scott2025-03-112025-03-1120252150-914xhttps://fis.uni-bamberg.de/handle/uniba/106964engNotes on Gödel's and Scott's Variants of the Ontological Argument (Isabelle/HOL dataset)article