/subjects/Automatic_theorem_proving
Type: /type/subject
name: Automatic theorem proving