EQP
Le EQP , une abréviation pour le tireur d'epreuves d'equational de , est un théorème automatisé par prouvant le programme de pour la logique d'Equational de , développé par les mathématiques et la Division de l'informatique du laboratoire national d'Argonne de . Il était l'un des tireurs d'epreuves utilisés pour résoudre un problème de longue date a posé par le Herbert Robbins , à savoir, si toutes les algèbres de Robbins de sont les algèbres booléennes le problème a résulté d'une équation donnée par le Edouard V. Huntington dans le 1933 :
.
| Random links: | Empereur Aller-Toba | Ten15 | Touvas | Port, Terre-Neuve et Labrador de banc | Maître d'hôtel de George (réalisateur de film) | EQP |