|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:developedBy
|
gptkb:Alfred_North_Whitehead
gptkb:Garrett_Birkhoff
gptkb:George_Grätzer
gptkb:Paul_M._Cohn
|
|
gptkbp:focusesOn
|
general properties of algebraic systems
|
|
gptkbp:hasApplication
|
gptkb:theoretical_computer_science
gptkb:logic
gptkb:category_theory
abstract algebra
computer science
cryptography
automated theorem proving
algebraic specification
universal logic
|
|
gptkbp:hasConcept
|
gptkb:disambiguation_term
gptkb:Titan
gptkb:architecture
gptkb:identity
gptkb:software
gptkb:television_series
gptkb:Birkhoff's_theorem
gptkb:direct_product
gptkb:isomorphism
gptkb:Mal'cev_conditions
gptkb:HSP_theorem
gptkb:Tarski's_high_school_algebra_problem
gptkb:automorphism
homomorphism
operations
signature
congruence relation
direct sum
endomorphism
subalgebra
polynomial functions
arity
clone theory
equational class
equational theory
free object
primitive operation
quasivariety
quotient algebra
substructure
term algebra
|
|
gptkbp:includes
|
fields
groups
vector spaces
rings
lattices
|
|
gptkbp:relatedTo
|
gptkb:logic
gptkb:model_theory
gptkb:category_theory
|
|
gptkbp:studies
|
algebraic structures
varieties
congruences
identities
homomorphisms
free algebras
|
|
gptkbp:bfsParent
|
gptkb:Universal_(mathematics)
gptkb:Lattice_Theory
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Universal algebra
|