Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных), ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Замулин А.В.
Системы программирования баз данных и знаний
Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных), заставила исследователей расширять их дополнительными средствами. В [187], например, используется понятие формулы, которое определяется следующим образом: формула - это равенство или одна из следующих форм: Ф; Ф Фг.