automated theorem proving
Sign in to saveAlso known as automated deduction, ATP, theorem proving
subfield of automated reasoning dealing with proving theorems by computer programs
Wikidata facts
- Subclass of
- mathematical logic
Show 1 more fact
- topic's main category
- Category:Automated theorem proving
Sources (3)
via Wikidata · CC0