• VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • SystemOnTPTP

  • Referenced in 16 articles [sw10408]
  • System description: SystemOnTPTP. SystemOnTPTP is a WWW interface...
  • XPath

  • Referenced in 375 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • TRAMP

  • Referenced in 21 articles [sw21343]
  • TRAMP: Transformation of Machine-Found Proofs into Natural...
  • P.rex

  • Referenced in 9 articles [sw21344]
  • Fiedler, A.: P.rex: An interactive proof explainer. This...
  • IDV

  • Referenced in 7 articles [sw21371]
  • An interactive derivation viewer. This work describes the...