Connections
unification
Entity
conjunctive normal form
Entity
Inductive logic programming
Entity
completeness
Entity
Davis–Putnam algorithm
Entity
International Standard Book Number
Entity
mathematical proof
Entity
digital object identifier
Entity
mathematical logic
Entity
data structure
Entity
syllogism
Entity
propositional calculus
Entity
if and only if
Entity
Hilary Putnam
Entity
tree
Entity
quantifier
Entity
tautology
Entity
reductio ad absurdum
Entity
MathWorld
Entity
Q22908627
Entity