"automated theorem proving" -
related articles and key terms
Related terms:
Wikipedia sources:
First-order logic
Context for words:
automated
theorem
proving