automated theorem proving

automated theorem proving

automated deduction, automated theorem proving

Applications of automated theorem proving, automated deduction, Automated mathematical induction, Automated mathematical proof, automated proof, Automated prover, automated theorem prover, automated theorem provers, Automatic proof system, automatic theorem prover, automatic theorem proving, Automating theorem proving, Benchmarks for automated theorem provers, Benchmarks for theorem provers, Comparison of automated theorem provers, first-order theorem provers, Formalized theorem proving, History of automated theorem proving, List of automated theorem provers, Proof assistent, Proof automation, Theorem-prover, Theorem-proving system, Theorem-proving systems, theorem proving

ATP, automated deduction, automated theorem prover, theorem proving