EntityQ1090524· pop 13· linked from 47 articlesSkolem normal formSign in to saveformalism of first-order logicConnectionsfirst-order logicEntityautomated theorem provingEntityalgebraic normal formEntitylogicEntityInternational Standard Book NumberEntitymathematical logicEntitypropositional calculusEntityCambridge University PressEntityaxiom of choiceEntityMathWorldEntitymodel theoryEntityarityEntityuniversal quantificationEntityexistential quantificationEntityEric W. WeissteinEntitylogical equivalenceEntityThoralf SkolemEntityEncyclopedia of MathematicsEntityscopeEntitydisjunctive normal formEntityCategoriesModel theoryNormal forms (logic)