AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
V: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica (AISE-PLM)