Доказательство теорем первого порядка

method ID: firstordertheoremproving

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

Связь	Исходная сущность	Тип	Действия
uses	Распознавание текстовой импликации	task	Просмотр