Automated Theorem Proving Task
(Redirected from formal theorem proving)
Jump to navigation
Jump to search
An Automated Theorem Proving Task is a theorem proving task that is an automated task.
- Context:
- It can be solve by an Automated Theorem Proving System (that applies an automated theorem proving algorithm).
- …
- Counter-Example(s):
- See: Inference Engine, Theorem Proof, Mizar System.