bn:02004974n
Noun Concept
EL
No term available
EN
The superposition calculus is a calculus for reasoning in equational logic. Wikipedia
Sources