Statements (15)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:debunkedBy | gptkb:Robert_Berger | 
| gptkbp:disprovedIn | 1966 | 
| gptkbp:field | gptkb:mathematics tiling theory | 
| gptkbp:proposedBy | gptkb:Hao_Wang 1961 | 
| gptkbp:relatedTo | gptkb:Wang_tiles gptkb:domino_problem gptkb:Penrose_tiling | 
| gptkbp:sentence | If a finite set of Wang tiles can tile the plane, then it can do so periodically. | 
| gptkbp:status | disproved | 
| gptkbp:bfsParent | gptkb:Hao_Wang | 
| gptkbp:bfsLayer | 5 | 
| https://www.w3.org/2000/01/rdf-schema#label | Wang's conjecture |