A computationally-discovered simplification of the ontological argument (2011)

by P E Oppenheimera, E N Zalta
Venue:Australasian Journal of Philosophy