Superposition calculus

Also known as Superposition. This is the canonical page; those names redirect here.

Pairings in the atlas

Term-order restricted paramodulationstandardEquational theorem proving automated-reasoning

Rivals: other methods for the same problems

Paramodulation

Where it sits

automated-reasoning · Search, Constraints & Games