Title: Automated theorem proving
Subjects: Démonstration automatique, Théorèmes, Automatisches Beweisverfahren, Automatic theorem proving, Automatentheorie, Beweis (Mathematik), Mathematics, problems, exercises, etc., Mathematics, data processing