Доказательство теорем

method ID: theoremproving

Входящие связи

Связь	Исходная сущность	Тип	Действия
isA	Логика Хорна	otherentity	Просмотр