# Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers

> Research article (ANU Open Research (Australian National University), 2018) · cited 41× · AI/ML

**Wikidata**: [openalex:W3106312330](https://www.wikidata.org/wiki/openalex:W3106312330)  
**Source**: https://4ort.xyz/entity/automating-godel-s-ontological-proof-of-god-s-existence-with-higher-order-automated-theorem-provers