ОСОБЕННОСТИ РЕАЛИЗАЦИИ ОПЕРАЦИИ ПРИМЕНЕНИЯ ПОДСТАНОВКИ ДЛЯ ОБЛАЧНОГО СЕРВИСА АВТОМАТИЗИРОВАННОГО КОНСТРУИРОВАНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ
Представлены метод реализации программных компонентов и способ представления обрабатываемой информации для облачных сервисов доказательства теорем. Показан пример представления описания утверждений, переменных и формул иерархическими однородными семантическими сетями и пример реализации операции подстановки в среде IACPaaS.
Ключевые слова: доказательство теорем, утверждение, переменная, формула, подстановка, облачный сервис, семантическая сеть