skos:altLabel | - reasoning
- formally verified
- theorem proving
- Automated theorem proving#Benchmarks, competitions, and sources
- Automated_theorem_proving#Benchmarks,_competitions,_and_sources
- Automated Theorem-Proving
- Automated theorem proving#Industrial uses
- Automated_theorem_proving#Comparison
- Automated_theorem_proving#First_implementations
- Conference on Interactive Theorem Proving
- TPTP
- Theorem prover
- Theorem provers
- Theorem proving
- automated deduction
- automated theorem prover
- automated theorem provers
- automated theorem proving
- automates proof
- automatic proofs
- automatic theorem prover
- automatic theorem provers
- computerized proof methods
- logic theorem provers
- machine assisted proof construction
- machine-checked proofs of correctness
- mechanically checks
- proof search
- proof systems
- prove theorems
- proven by computation
- proving tool
- theorem prover
- theorem provers
- theorem-prover
- theorem-proving software
- using a computer to prove a mathematical theorem
|