Слов: 157 813 (+31 534)

Значений: 784 549 (+123 064)

Правок: 66 388 (+15 356)

Предикат: поиск слов по маске и определению

Всего найдено: 4

  • оператор, формализующий в исчислении предикатов логические свойства выражений
  • В лингвистике: раскрытие содержания субъекта предикатом
  • язык логического программирования, основанный на логике дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка
Все слова по алфавиту