• Lowe_Ontological_Argument

  • Referenced in 1 article [sw38024]
  • Lowe’s Modal Ontological Argument. Computers may help us to understand --not just verify-- philosophical ... ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive...
  • Coq

  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • Prover9

  • Referenced in 197 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • PLM

  • Referenced in 3 articles [sw38031]
  • PLM: Representation and Partial Automation of the Principia...