Results 1 to 9 of 9
Sort by:

  • 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...