Уравнительный доказатель

Эта статья может чрезмерно полагаться на источники, слишком тесно связанные с темой , что потенциально делает статью непроверяемой и нейтральной . Пожалуйста , помогите улучшить ее, заменив их более подходящими ссылками на надежные, независимые, сторонние источники . ( Март 2024 ) ( Узнайте, как и когда удалить это сообщение )

EQP ( Equational proofer ) — это автоматизированная программа доказательства теорем для эквациональной логики , разработанная Отделом математики и компьютерных наук Аргоннской национальной лаборатории . Это был один из программ, используемых для решения давней проблемы, поставленной Гербертом Роббинсом , а именно, являются ли все алгебры Роббинса булевыми алгебрами .

• Проект EQP.
• Алгебры Роббинса являются булевыми.
• Аргоннская национальная лаборатория, Отделение математики и компьютерных наук.