Какие противоречия?
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
вопрос
ex("question",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Выдаются все известные в аппроксимации противоречия.
Имя операции:
all_inconsists