EntityQ1051925· pop 18· linked from 91 articlesresolutionSign in to savein logic, rule of inferenceConnectionsunificationEntityconjunctive normal formEntityInductive logic programmingEntitycompletenessEntityDavis–Putnam algorithmEntityInternational Standard Book NumberEntitymathematical proofEntitydigital object identifierEntitymathematical logicEntitydata structureEntitysyllogismEntitypropositional calculusEntityif and only ifEntityHilary PutnamEntitytreeEntityquantifierEntitytautologyEntityreductio ad absurdumEntityMathWorldEntityQ22908627EntityCategories1965 introductionsAutomated theorem provingProof theoryPropositional calculusRules of inferenceTheorems in propositional logic