genere | Programma per computer |
---|
EQP , abbreviazione di equational prover ( "dimostratore équationnel" ) è un teorema di programma che dimostra automatizzato per la logica equazionale , sviluppato dalla Divisione di Matematica e Informatica dell'Argonne National Laboratory . Questo è uno dei dimostratori usati per risolvere un problema di vecchia data con Herbert Robbins , cioè se tutte le algebre di Robbins sono algebra booleana .