# 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):****See:**Inference Engine, Theorem Proof, Mizar System.