Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Германский Германский
  • Английский Английский
  • Русский Русский
  • Германский Германский
en

Paramodulation

ru

Перевод paramodulation на русский язык

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

Опеределения

paramodulation
Существительное
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.