Title: Automated Theorem Proving
Subjects: Automatentheorie, Automatisches Beweisverfahren, Beweis (Mathematik)