The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument

Title: The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument

Author, co-author: Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander; Wsinieswki, Max