Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:category |
abstract algebra
|
| gptkbp:definedIn |
associative law
commutative law Robbins equation |
| gptkbp:field |
gptkb:algebra
gptkb:mathematics |
| gptkbp:hasAxiom |
Robbins axiom: neg(neg(x) + y) + neg(neg(x) + neg(y)) = x
associativity: (x + y) + z = x + (y + z) commutativity: x + y = y + x |
| https://www.w3.org/2000/01/rdf-schema#label |
Robbins algebra
|
| gptkbp:namedAfter |
gptkb:Herbert_Robbins
|
| gptkbp:openProblem |
Are all Robbins algebras Boolean algebras?
|
| gptkbp:openProblemSolvedBy |
gptkb:William_McCune
|
| gptkbp:openProblemSolvedIn |
1996
|
| gptkbp:operator |
binary operation + (join)
unary operation neg (complement) |
| gptkbp:property |
all Robbins algebras are Boolean algebras
|
| gptkbp:relatedTo |
gptkb:algebra
|
| gptkbp:Robbins_equation |
neg(neg(x) + y) + neg(neg(x) + neg(y)) = x
|
| gptkbp:solvedBy |
automated theorem proving
EQP theorem prover |
| gptkbp:usedIn |
gptkb:logic
computer science |
| gptkbp:bfsParent |
gptkb:Robbins_problem
|
| gptkbp:bfsLayer |
7
|