
Paramodulation

Translation paramodulation into russian
paramodulation
NounParamodulation is a technique used in automated theorem proving.
Парамодуляция — это метод, используемый в автоматическом доказательстве теорем.
Definitions
paramodulation
NounA rule of inference used in automated theorem proving that involves replacing a subterm of a formula with another term that is equal to it under some equality.
The theorem prover used paramodulation to simplify the complex logical expression.