Anti-unification (computer science)Automated reasoningAutomated theorem provingBurrows–Abadi–Needham logicChaff algorithmComputer-assisted proofConcolic testingDPLL(T)DPLL algorithmDavis–Putnam algorithmF* (programming language)Geoff SutcliffeGeometry ExpertHarald GanzingerHilbert systemInteractive Theorem Proving (conference)IsaPlannerLowerUnitsMethod of analytic tableauxModel eliminationNon-surveyable proofNuprlOccurs checkProof (truth)Proof assistantProof complexityPropositional proof systemReasoning systemResolution (logic)RipplingSequent calculusSubstitution (logic)System on TPTPThousands of Problems for Theorem ProversUnification (computer science)Unit propagationWalkSAT
Link from a Wikipage to another Wikipage
Anti-unification (computer science)Automated reasoningAutomated theorem provingBurrows–Abadi–Needham logicChaff algorithmComputer-assisted proofConcolic testingDPLL(T)DPLL algorithmDavis–Putnam algorithmF* (programming language)Geoff SutcliffeGeometry ExpertHarald GanzingerHilbert systemInteractive Theorem Proving (conference)IsaPlannerLowerUnitsMethod of analytic tableauxModel eliminationNon-surveyable proofNuprlOccurs checkProof (truth)Proof assistantProof complexityPropositional proof systemReasoning systemResolution (logic)RipplingSequent calculusSubstitution (logic)System on TPTPThousands of Problems for Theorem ProversUnification (computer science)Unit propagationWalkSAT
subject
Wikipage page ID
Wikipage revision ID
839,235,357
wikiPageUsesTemplate
type
label
Automated theorem proving
@en
broader
prefLabel
Automated theorem proving
@en