Tipo | Programa informático |
---|
EQP , abreviatura de prover ecuacional ( "équationnel demostrador" ) es un programa de demostración de teoremas automatizado para la lógica ecuacional , desarrollado por la División de Ciencias de la Computación de Matemáticas y Argonne National Laboratory . Este es uno de los demostradores utilizados para resolver un problema de larga data con Herbert Robbins , es decir, si todas las álgebras de Robbins son álgebra booleana .