KnowraAutomated theorem provingLinked fromLinked fromThe 27 pages that link to Automated theorem proving, each with the reason it gives.All 27Broader topic 2Related 21Narrower topic 3Compared with 1History of logicBroader topic: It turns centuries of formal proof theory into computational methods.Automated reasoningBroader topic: It is the direct application of automated inference to proving theorems.