Automating Gdel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.

Christoph Benzmller, Bruno Woltzenlogel Paleo

Browse the full ECAI paper archive.