|
gptkbp:instanceOf
|
Mathematical structure
|
|
gptkbp:defines
|
A partially ordered set in which every two elements have a unique supremum and infimum
|
|
gptkbp:example
|
gptkb:algebra
Power set of a set with inclusion
Set of natural numbers with divisibility
|
|
gptkbp:field
|
gptkb:Mathematics
|
|
gptkbp:hasApplication
|
gptkb:Topology
gptkb:Algebraic_geometry
gptkb:Quantum_logic
Cryptography
Knowledge representation
Data mining
Design of digital circuits
Formal concept analysis
Information retrieval
Lattice-based cryptography
Solid state physics
|
|
gptkbp:hasProperty
|
Absorption law
Associativity
Commutativity
Every pair of elements has a greatest lower bound
Every pair of elements has a least upper bound
Idempotency
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lattice
|
|
gptkbp:operator
|
Join
Meet
|
|
gptkbp:relatedTo
|
gptkb:King
gptkb:group_of_people
Monoid
Poset
Semilattice
|
|
gptkbp:studiedBy
|
gptkb:Richard_Dedekind
gptkb:Garrett_Birkhoff
gptkb:Marshall_Stone
|
|
gptkbp:type
|
gptkb:Atomic_lattice
gptkb:Bounded_lattice
gptkb:Distributive_lattice
gptkb:Geometric_lattice
gptkb:Modular_lattice
Complete lattice
|
|
gptkbp:usedIn
|
gptkb:Physics
gptkb:Crystallography
gptkb:Abstract_algebra
gptkb:Order_theory
Chemistry
Computer science
Materials science
Lattice theory
|
|
gptkbp:bfsParent
|
gptkb:Peter_Andreas_Thiel
gptkb:Carta_Inc.
gptkb:Coatue_Management
gptkb:Felicis_Ventures
gptkb:Justin_Kan
|
|
gptkbp:bfsLayer
|
5
|