paramodulation
paramodulation · paramodulations
A technique for reasoning on sets of clauses where the predicate symbol is equalityA technique for reasoning on sets of clauses where the predicate symbol is equality.
Значение
значений: 1(исчисляемое, неисчисляемое)A technique for reasoning on sets of clauses where the predicate symbol is equality.
Происхождение
From para- + modulation.From para- + modulation.
Wiktionary, CC BY-SA 4.0 · source
Формы
мн. число: paramodulations| Ед. число | paramodulation |
|---|---|
| Мн. число | paramodulations |
правильный
Однокоренные
связанных слов: 1Связанныеparamodulant
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым