RelBib: Mechanized analysis of Anselm’s modal ontological argument

https://relbib.de/Record/1760783226