RelBib: Mechanized analysis of Anselm’s modal ontological argument https://relbib.de/Record/1760783226/FulltextSearch