"automated theorem proving" - related articles and key terms

Related terms:

Wikipedia sources: First-order logic


Context for words: automated   theorem   proving