Statements (139)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:architecture
|
| gptkbp:element |
Join
Meet |
| gptkbp:has |
Chain
Antichain Boolean lattice Lattice of divisors Lattice of ideals Lattice of subsets Power set Power set lattice Subspace lattice |
| gptkbp:has_applications_in |
gptkb:crypt
gptkb:Quantum_mechanics Data analysis Machine learning Information theory |
| gptkbp:has_function |
Join
Meet |
| gptkbp:has_historical_significance |
Birkhoff's theorem
Galois connections Stone's representation theorem |
| gptkbp:has_origin |
Order theory
|
| gptkbp:has_property |
Completeness
Distributivity Modular Modularity Complete Associative Boundedness Commutative Distributive Absorption law Distributive law |
| gptkbp:has_type |
gptkb:architecture
Boolean lattice Complete lattice Distributive lattice Modular lattice Order structure Ordered set |
| https://www.w3.org/2000/01/rdf-schema#label |
Lattice
|
| gptkbp:is_applied_in |
gptkb:crypt
Data analysis Formal verification Machine learning Information retrieval |
| gptkbp:is_associated_with |
gptkb:crypt
Computer science Topology Algebraic structures Order theory |
| gptkbp:is_characterized_by |
gptkb:Twix
gptkb:Atom gptkb:Heyting_algebra gptkb:Ring_of_Honor Completeness Distributivity Partial order Congruence Isomorphism Boundedness Homomorphism Birkhoff's theorem Join operation Closure operator Distributive property Complementation Embedding Coatom Sublattice Absorption law Absorption laws Associative law Boolean lattice Commutative law Complemented property Complete lattice Distributive lattice Distributive law Finite lattice Galois connection Idempotent law Idempotent laws Infinite lattice Join semilattice Lattice atom Lattice coatoms Lattice congruence Lattice embedding Lattice filter Lattice homomorphism Lattice ideal Lattice isomorphism Meet operation Meet semilattice Modular lattice Modular property Stone algebra |
| gptkbp:is_related_to |
gptkb:political_theory
Algebra Set theory Topology Graph theory Boolean algebra Fuzzy logic Linear algebra Algebraic structures Order theory Partial order Topological spaces Fixed-point theory Closure operators Complete lattice Matroid theory Order-preserving maps |
| gptkbp:is_represented_in |
Hasse diagram
Lattice diagram |
| gptkbp:is_studied_in |
gptkb:political_theory
Graph theory Abstract algebra Order theory Discrete mathematics |
| gptkbp:is_used_in |
gptkb:Artificial_Intelligence
gptkb:Mathematics gptkb:Physics gptkb:Quantum_mechanics Computer science Software engineering Cryptographic protocols Abstract algebra Network theory |
| gptkbp:scientific_classification |
Boolean lattice
Distributive lattice Finite lattice Infinite lattice Modular lattice |
| gptkbp:bfsParent |
gptkb:Fivetran
|
| gptkbp:bfsLayer |
4
|