Для всех[ @Список_переменных ] [ @Term ] => [ @Term ] ("@Название правила")
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
w("для"),w("всех"),var(ex("new",[])),var(ex("new",[])),
w("="),w(">"),var(ex("new",[])),w("("),var(ex("new",[])),w(")")
Комментарий:
Введение аксиомы в виде правила переписывания
Имя операции:
new_rwt_rule