Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2013. (complete-formalisation) ((not reviewed, superseded by ECAI-2014 paper))
Bibtex Entry:
@unpublished{R56,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  Comment =	 {<a href="https://github.com/FormalTheology/GoedelGod">complete-formalisation</a>},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics},
  Note =	 {(not reviewed, superseded by ECAI-2014 paper)},
  Title =	 {Formalization, Mechanization and Automation of {G{\"o}del's} Proof of {God's} Existence},
  Url =		 {http://arxiv.org/abs/1308.4526},
  Year =	 2013,
}
Powered by bibtexbrowser