Equational prover
id:
equational-prover-259-1986052
title:
Equational prover
text:
EQP is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory. It was one of the provers used for solving a longstanding problem posed by Herbert Robbins, namely, whether all Robbins algebras are Boolean algebras.
brand slug:
wiki
category slug:
encyclopedia
description:
Software program
original url:
https://en.wikipedia.org/wiki/Equational_prover
date created:
date modified:
2024-03-17T11:40:14Z
main entity:
{"identifier":"Q5323984","url":"https://www.wikidata.org/entity/Q5323984"}
image:
fields total:
13
integrity:
14