ВикиПротопия:Автоматическое докозательство
Версия от 07:02, 29 декабря 2018; Princenoire (обсуждение | вклад)
набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.