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

Faculty/Chair:

Bamberger Zentrum für Künstliche Intelligenz (BaCAI)

Author:

;

Title of the Journal:

Archive of Formal Proofs

ISSN:

2150-914x

Year of publication:

2025

Pages:

41

Language:

English

Peer Reviewed:

Yes:

International Distribution:

Yes:

Open Access Journal:

Yes:

Type:

Article

URI:

Activation date:

March 11, 2025

Permalink https://fis.uni-bamberg.de/handle/uniba/106964