Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Rubik's_Cube
|
| gptkbp:analyzes |
Lattice Diagram
|
| gptkbp:constructed_in |
Generating Set
|
| gptkbp:defines |
Lattice Theory
|
| gptkbp:example |
Algebraic Lattice
|
| gptkbp:has_gameplay_element |
Join
Meet |
| gptkbp:has_programs |
gptkb:Mathematician
Computer Science |
| gptkbp:has_property |
gptkb:Free
|
| https://www.w3.org/2000/01/rdf-schema#label |
Free Lattice
|
| gptkbp:is_a |
gptkb:architect
|
| gptkbp:is_associated_with |
Boolean Algebra
|
| gptkbp:is_characterized_by |
Universal Property
Absorption Laws Associative Laws Commutative Laws Idempotent Laws |
| gptkbp:is_related_to |
gptkb:Database_Management_System
gptkb:physicist gptkb:political_movement gptkb:Artificial_Intelligence gptkb:Combinatorics gptkb:software_framework gptkb:battle Information Retrieval Linear Algebra Numerical Analysis Probability Theory Differential Equations Operations Research Functional Analysis Topological Spaces Measure Theory Graph Algorithms Algebraic Topology Closure Operators Complete Lattice Distributive Lattice Modular Lattice Filter Theory Ideal Theory Semilattice |
| gptkbp:is_represented_in |
Hasse Diagram
|
| gptkbp:is_used_in |
gptkb:philosopher
gptkb:product gptkb:Algorithms gptkb:currency Data Structures Topology Information Theory Graph Theory Order Theory |
| gptkbp:operates_under |
Join Operation
Meet Operation |
| gptkbp:produced_by |
Set of Generators
|
| gptkbp:related_model |
gptkb:collection
Partial Orders |
| gptkbp:bfsParent |
gptkb:Lattice_Group
|
| gptkbp:bfsLayer |
4
|