|
gptkbp:instanceOf
|
gptkb:algebra
|
|
gptkbp:application
|
gptkb:algebra
gptkb:geometry
computer science
crystallography
|
|
gptkbp:definedIn
|
partially ordered set in which every two elements have a unique supremum and infimum
|
|
gptkbp:field
|
gptkb:mathematics
|
|
gptkbp:generalizes
|
gptkb:algebra
gptkb:semilattice
poset
|
|
gptkbp:hasDual
|
gptkb:dual_lattice
|
|
gptkbp:hasSubfield
|
gptkb:order_theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lattices
|
|
gptkbp:notableExample
|
gptkb:integer_lattice
gptkb:power_set_lattice
Boolean lattice
divisor lattice
|
|
gptkbp:notablePerson
|
gptkb:Emil_Artin
gptkb:Richard_Dedekind
gptkb:Garrett_Birkhoff
gptkb:Marshall_Stone
|
|
gptkbp:operator
|
join
meet
|
|
gptkbp:property
|
absorption law
associativity
commutativity
idempotency
|
|
gptkbp:relatedConcept
|
gptkb:algebra
gptkb:order_theory
gptkb:semilattice
poset
|
|
gptkbp:studiedBy
|
gptkb:logic
theoretical computer science
combinatorics
universal algebra
|
|
gptkbp:type
|
complete lattice
distributive lattice
modular lattice
bounded lattice
|
|
gptkbp:used_in
|
gptkb:formal_concept_analysis
abstract algebra
coding theory
cryptography
group theory
number theory
solid state physics
data mining
lattice-based cryptography
|
|
gptkbp:bfsParent
|
gptkb:Minkowski's_theorem
|
|
gptkbp:bfsLayer
|
6
|