80 (God's number)

GPTKB entity

Statements (9)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:4x4x4_Rubik's_Cube
gptkbp:determines computer-assisted proof
gptkbp:heldBy God's number for the 4x4x4 Rubik's Cube
the minimum number of moves required to solve the worst-case configuration of the 4x4x4 Rubik's Cube
https://www.w3.org/2000/01/rdf-schema#label 80 (God's number)
gptkbp:publishedIn 2015
gptkbp:bfsParent gptkb:15_puzzle
gptkbp:bfsLayer 6