Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:asksWhether |
all Robbins algebras are Boolean algebras
|
gptkbp:concerns |
Boolean algebras
|
gptkbp:field |
gptkb:algebra
|
https://www.w3.org/2000/01/rdf-schema#label |
Robbins problem
|
gptkbp:notableFor |
being solved by computer
|
gptkbp:posedBy |
gptkb:Herbert_Robbins
|
gptkbp:posedInYear |
1933
|
gptkbp:relatedTo |
gptkb:algebra
gptkb:Robbins_algebra |
gptkbp:solvedBy |
gptkb:William_McCune
automated theorem proving |
gptkbp:solvedInYear |
1996
|
gptkbp:bfsParent |
gptkb:Herbert_Robbins
|
gptkbp:bfsLayer |
6
|