AI-created image
Statements (109)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb:mathematical_concept |
| gptkbp:alternativeName |
Algebra
Algebraic_structure Boolean_algebra algebraic_structure equation equations mathematical_structure matrix_algebra polynomial |
| gptkbp:application |
information retrieval
switching theory circuit design database search |
| gptkbp:basisFor |
higher mathematics
|
| gptkbp:concerns |
gptkb:algebra
fields groups variables algebraic structures matrices polynomials vector spaces rings functions linear equations algebraic identities quadratic equations algebraic expressions |
| gptkbp:containsElement |
0
1 |
| gptkbp:developedBy |
gptkb:al-Khwarizmi
|
| gptkbp:etymology |
gptkb:Arabic_al-jabr
|
| gptkbp:fieldOfStudy |
gptkb:mathematics
|
| gptkbp:firstDescribed |
gptkb:George_Boole
|
| gptkbp:generalizes |
gptkb:Heyting_algebra
|
| gptkbp:hasAxiom |
Boolean laws
|
| gptkbp:hasCanonicalForm |
gptkb:conjunctive_normal_form
gptkb:disjunctive_normal_form |
| gptkbp:hasDualityPrinciple |
yes
|
| gptkbp:hasFiniteModel |
two-element Boolean algebra
|
| gptkbp:hasProperty |
associativity
commutativity complementation distributivity identity element |
| gptkbp:hasSubfield |
gptkb:algebra
gptkb:Universal_algebra gptkb:Lie_group Homological algebra Jordan algebra |
| https://www.w3.org/2000/01/rdf-schema#label |
algebra
|
| gptkbp:includes |
gptkb:commutative_algebra
abstract algebra elementary algebra linear algebra algebraic structures homological algebra universal algebra |
| gptkbp:introducedIn |
19th century
|
| gptkbp:isFoundationFor |
gptkb:architecture
binary arithmetic logic gates digital electronics |
| gptkbp:namedAfter |
gptkb:George_Boole
|
| gptkbp:operator |
OR
AND NOT |
| gptkbp:originatedIn |
gptkb:ancient_Babylon
|
| gptkbp:relatedTo |
gptkb:geometry
gptkb:logic gptkb:topology analysis calculus number theory combinatorics lattice theory arithmetic set algebra |
| gptkbp:studies |
mathematical symbols
rules for manipulating symbols |
| gptkbp:symbol |
x
y z |
| gptkbp:taughtAt |
gptkb:university
secondary education |
| gptkbp:theory |
gptkb:De_Morgan's_laws
absorption law associative law commutative law complement law distributive law domination law double negation law idempotent law identity law involution law null law |
| gptkbp:usedIn |
gptkb:logic
gptkb:mathematics gptkb:science gptkb:set_theory gptkb:digital_logic computer science economics engineering |
| gptkbp:bfsParent |
gptkb:David_Hilbert
|
| gptkbp:bfsLayer |
3
|