en

Paramodulation

ru

Translation paramodulation into russian

paramodulation
Noun
raiting
Paramodulation is a technique used in automated theorem proving.
Парамодуляция — это метод, используемый в автоматическом доказательстве теорем.

Definitions

paramodulation
Noun
raiting
A 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.