Automated Theorem Proving Task

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):
  • Automated Proof Checking.
• See: Inference Engine, Theorem Proof, Mizar System.

---

---