gptkbp:instanceOf
|
gptkb:mathematical_concept
Branch of mathematics
|
gptkbp:appliesTo
|
gptkb:algebra
gptkb:logic
gptkb:Universal_algebra
gptkb:Topology
Computer science
|
gptkbp:concerns
|
gptkb:Order_theory
Partially ordered sets
|
gptkbp:field
|
gptkb:Mathematics
|
gptkbp:hasApplication
|
gptkb:Abstract_interpretation
gptkb:Domain_theory
Logic programming
Cryptography
Data mining
Formal concept analysis
Information retrieval
|
gptkbp:hasConcept
|
gptkb:algebra
gptkb:Heyting_algebra
gptkb:Distributive_lattice
gptkb:Modular_lattice
Complete lattice
Join
Meet
Lattice automorphism
Lattice congruence
Lattice homomorphism
Lattice isomorphism
Sublattice
|
gptkbp:hasProperty
|
Every pair of elements has a greatest lower bound
Every pair of elements has a least upper bound
|
gptkbp:hasSubfield
|
Complete lattice theory
Distributive lattice theory
Modular lattice theory
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lattice Theory
|
gptkbp:notableContributor
|
gptkb:Garrett_Birkhoff
gptkb:George_Grätzer
|
gptkbp:notablePerson
|
gptkb:Richard_Dedekind
gptkb:Ernst_Schröder
gptkb:Marshall_Stone
|
gptkbp:notableWork
|
gptkb:General_Lattice_Theory_(book_by_Grätzer)
gptkb:Lattice_Theory_(book_by_Birkhoff)
|
gptkbp:originatedIn
|
19th century
|
gptkbp:relatedTo
|
gptkb:algebra
gptkb:Universal_algebra
gptkb:Topology
gptkb:Order_theory
Category theory
Algebraic logic
|
gptkbp:studies
|
gptkb:Lattices
|
gptkbp:bfsParent
|
gptkb:Garrett_Birkhoff
gptkb:Juris_Hartmanis
|
gptkbp:bfsLayer
|
6
|