Gödel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THF
Benzmüller, Christoph (2026): Gödel’s and Scott’s Variants of the Ontological Argument in Lean 4 and TPTP THF, in: arXiv, Nr. Online first, doi: 10.48550/arxiv.2609.26806.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2026
Issue:
Online first
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
October 5, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/117502