Логика Хорна

otherentity ID: hornlogic

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

Связь	Целевая сущность	Тип	Действия
isA	Доказательство теорем	method	Просмотр