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 1Herbrand's theoremNarrower topic: Herbrand's theorem underlies methods that search finite ground evidence.Skolem normal formNarrower topic: Skolem normal form is a standard intermediate representation in many theorem-proving procedures.Craig interpolationNarrower topic: Interpolation algorithms let proof tools extract useful formulas from established entailments.