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