Japanese TPTP Cited by user 永田裕之 on 25 Jun 2023 TPTP (Thousands of Problems for Theorem Provers) とは自由に利用可能な自動定理証明のための問題集である. これは自動推論アルゴリズムの効率の評価のために使用される.
English Thousands of Problems for Theorem Provers Cited by user Mario Castelán Castro on 01 Jun 2020 TPTP (Thousands of Problems for Theorem Provers) is a freely available collection of problems for automated theorem proving.
English SPASS Cited by user Derek R Bullamore on 10 Aug 2016 SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition calculus.