{{Cat main|Automated theorem proving}}
Category:Logic in computer science
Category:Mathematical logic
Category:Formal methods
Category:Mathematical proofs
Category:Computational mathematics
Category:Automated reasoning