The prover uses propositional resolution as it's inference mechanism. For more information on propsitional logic and the resolution rule of inference see the Stanford ...
Effectively Propositional Logic (EPR), also known as the Bernays-Schoenfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results