EQP , una abreviatura de demostrador de ecuaciones , es un programa automatizado de prueba de teoremas para la lógica de las ecuaciones , desarrollado por la División de Matemáticas e Informática del Laboratorio Nacional de Argonne . Fue uno de los probadores utilizados para resolver un problema de larga data planteado por Herbert Robbins , a saber, si todas las álgebras de Robbins son álgebras booleanas .