by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Gödel's God in Isabelle/HOL (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Archive of Formal Proofs, pp. 1--5, 2013. (Note: data publication)
Bibtex Entry:
@article{J28,
Author = {Christoph Benzm\"uller and Woltzenlogel Paleo,
Bruno},
Journal = {Archive of Formal Proofs},
Keywords = {own, Automated Reasoning, Interactive Proof,
Ontology Reasoning, LEO Prover, Higher Order Logic,
Computational Metaphysics},
Addendum = {Note: data publication},
Title = {{G{\"o}del's God in Isabelle/HOL}},
Url = {http://afp.sourceforge.net/entries/GoedelGod.shtml},
Year = 2013,
Pages = {1--5},
}