DavisPutnamFiniteSets
data Atom
type Klausel
type KlauselMenge
type AtomTupel
type FiniteSet
dpfs
dpfsAlle
dpfsSat
dpfsSatAlle
findTrueFalse
resolveTrueFalse
resolveTrueFalse'
findUnit
findUnit'
isRemoveable
findSimilarAtomUnits
resolveSimilarAtomUnits'
resolveSimilarAtomUnits
substituteSimilarUnits
findPureLiteral
resolvePureLiteral
countElems
countElems2
findBestLiteral
isXinAtom
showLiteral
showSet
showXin
atomToTupel
elem'
elem1
elem''
lookup'
setToInt