Английский 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.

Идиомы и фразы

apply paramodulation
Researchers often apply paramodulation when solving equations in automated reasoning.
применять парамодуляцию
Исследователи часто применяют парамодуляцию при решении уравнений в автоматизированном выводе.
paramodulation inference
The paramodulation inference is critical in theorem proving systems.
вывод с помощью парамодуляции
Вывод с помощью парамодуляции имеет решающее значение в системах доказательства теорем.
paramodulation rule
The paramodulation rule allows the substitution of equals for equals in logical formulas.
правило парамодуляции
Правило парамодуляции позволяет заменять равное на равное в логических формулах.
paramodulation step
Each paramodulation step advances the proof closer to completion.
шаг парамодуляции
Каждый шаг парамодуляции приближает доказательство к завершению.
ground paramodulation
Ground paramodulation deals with clauses that contain no variables.
грунтовая парамодуляция
Грунтовая парамодуляция работает с клозами без переменных.