Sekirov Dictionary

paramodulation

noun1

A technique for reasoning on sets of clauses where the predicate symbol is equality.

forms

paramodulations

This dictionary works without the internet: on your phone · in Chrome