English English Russian Русский
  • English English
  • Russian Russian
  • German German
  • English English
  • Russian Russian
  • German German
en

Paramodulation

ru

Translation of "paramodulation" into Russian

paramodulation
Noun
raiting
paramodulation
paramodulations pl
парамодуляция
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.

Idioms and phrases

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.
грунтовая парамодуляция
Грунтовая парамодуляция работает с клозами без переменных.