DPLL algorithm
F* (programming language)
Hilbert system
Method of analytic tableaux
Occurs check
Proof assistant
Anti-unification (computer science)Automated reasoningAutomated theorem provingBurrows–Abadi–Needham logicChaff algorithmComputer-assisted proofConcolic testingDavis–Putnam algorithmGeometry ExpertHarald GanzingerInteractive Theorem Proving (conference)IsaPlannerLowerUnitsMathematics Mechanization and Automated Reasoning PlatformModel eliminationNon-surveyable proofNuprlProof (truth)Proof complexityPropositional proof systemReasoning systemResolution (logic)RipplingSequent calculusSubstitution (logic)System on TPTPUnification (computer science)Unit propagationWalkSAT
subject
Wikipage page ID
Wikipage revision ID
547,452,377
type
label
Automated theorem proving
@en
broader
prefLabel
Automated theorem proving
@en