TPTP

swMATH4143MaRDI QIDQ16327FDOQ16327

Author name not available (Why is that?)

Official website: http://www.cs.miami.edu/~tptp/

Described by source

• The TPTP problem library. CNF release v1. 2. 1
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• The TPTP World -- infrastructure for automated reasoning

Cited In (only showing first 100 items - show all)

• Faster, higher, stronger: E 2.3
• Title not available (Why is that?)
• LoTREC
• HipSpec
• KRATOS
• STEXIDE
• MaSh
• Zeno
• TGTP
• KAT-ML
• RALL
• Asparagus
• MBase
• RunLim
• Runsolver
• IMPS
• Panoptes
• Abella
• CERES
• StarExec
• CVC4
• Herod
• iProver-Eq
• Pilate
• Equinox
• iProver
• Mella
• JAMPACK
• MGTP
• ileanCoP
• ForTheL
• leanCoP
• FaCT++
• aleanTAP
• Intergeo
• Dr.Doodle
• SAD
• Racer
• JProver
• leanTAP
• QMLTP
• Qex
• Pcoq
• mkbTT
• PARTHEO
• Gandalf
• E Theorem Prover
• SicoTHEO
• Slothrop
• Flyspeck
• BWare
• Ivy
• PRocH
• MaLARea
• MathWeb
• HR
• Monotonox
• Octopus
• PROSPER
• Prefuse
• Z/EVES
• SystemOnTPTP
• tptp2X
• HOLyHammer
• Mcmt
• GQML
• linTAP
• llprover
• MetTeL
• Sibyl
• GeoView
• Chainsaw
• Jahob
• HTab
• YAGO
• Roo
• Opengeo
• Spartacus
• TrOWL
• AgsyHOL
• Easychair
• HOT
• Metamath
• Beagle
• LeoPARD
• dedukti
• JGEX
• GF
• HyLoTab
• Lingva
• SMTtoTPTP
• Saucy
• FOOL
• Divvy
• E-MaLeS
• Lean
• Isabelle/Circus
• randoCoP
• SigmaKEE
• seL4

This page was built for software: TPTP