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"
                  target="_blank">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