Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
gptkb:Wang_dominoes
|
gptkbp:canBe |
aperiodic
|
gptkbp:consistsOf |
unit squares
|
gptkbp:containsTile |
the plane
|
gptkbp:firstDescribed |
1961
|
gptkbp:hasProperty |
colored edges
edges must match when tiling |
https://www.w3.org/2000/01/rdf-schema#label |
Wang tiles
|
gptkbp:namedAfter |
gptkb:Hao_Wang
|
gptkbp:relatedTo |
gptkb:domino_problem
Penrose tiling |
gptkbp:studiedIn |
combinatorics
theory of computation |
gptkbp:undecidabilityResult |
domino problem is undecidable
|
gptkbp:usedFor |
modeling non-repetitive patterns
procedural texture generation |
gptkbp:usedIn |
gptkb:logic
computer graphics tiling theory |
gptkbp:bfsParent |
gptkb:Hao_Wang
|
gptkbp:bfsLayer |
5
|