@term
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("boolean",[])
Шаблон разработан в понятии:
Тип аргументов:
var(ex("term",[])),w("
Комментарий:
Проверка неравенства термов
Имя операции:
noteq_bool