Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Term algebra
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Freely generated algebraic structure over a given signature
Property
Value
dbo:
description
freely generated algebraic structure over a given signature
(en)
dbo:
wikiPageExternalLink
http://homepages.math.uic.edu/~berman/structure-free.pdf
dbo:
wikiPageWikiLink
dbr
:Predicate_(mathematical_logic)
dbr
:Logic_programming
dbr
:Category_theory
dbr
:Quantifier_elimination
dbr
:Universe_(mathematics)
dbr
:Signature_(logic)
dbr
:Infix_notation
dbr
:Binary_operation
dbc
:Universal_algebra
dbc
:Free_algebraic_structures
dbr
:Ground_atom
dbr
:Jacques_Herbrand
dbc
:Unification_(computer_science)
dbr
:Atomic_formula
dbr
:F-algebra
dbr
:Logic
dbr
:Initial_algebra
dbr
:Abstract_data_type
dbr
:Arity
dbr
:Term_(logic)
dbr
:Clone_(algebra)
dbc
:Mathematical_logic
dbr
:Isomorphism
dbr
:Springer_Science+Business_Media
dbr
:Algebraic_structure
dbr
:Ground_term
dbr
:Mathematical_logic
dbr
:Universal_algebra
dbr
:Semantics
dbr
:String_(computer_science)
dbr
:Clause_(logic)
dbr
:Domain_of_discourse
dbr
:Term_rewriting_system
dbr
:Complete_binary_tree
dbr
:NONELEMENTARY
dbr
:Homomorphic
dbr
:Mathematical_expression
dbr
:Free_magma
dbr
:Signature_(mathematical_logic)
dbr
:Natural_numbers
dbr
:Rabin's_tree_theorem
dbr
:Answer-set_programming
dbr
:Initial_object
dbr
:Polish_prefix_notation
dbp:
date
October 2018
(en)
dbp:
title
Herbrand Universe
(en)
dbp:
urlname
HerbrandUniverse
(en)
dbp:
wikiPageUsesTemplate
dbt
:Confusing
dbt
:Main
dbt
:Reflist
dbt
:Color
dbt
:Refend
dbt
:Refbegin
dbt
:MR
dbt
:Mathworld
dbt
:Short_description
dct:
subject
dbc
:Universal_algebra
dbc
:Free_algebraic_structures
dbc
:Unification_(computer_science)
dbc
:Mathematical_logic
rdfs:
label
Term algebra
(en)
Herbrand-Universum
(de)
Termalgebra
(de)
Algèbre des termes
(fr)
Universo de Herbrand
(pt)
Uniwersum Herbranda
(pl)
owl:
sameAs
freebase
:Term algebra
yago-res
:Term algebra
wikidata
:Term algebra
wikidata
:Term algebra
dbpedia-de
:Term algebra
dbpedia-de
:Term algebra
dbpedia-fr
:Term algebra
dbpedia-pt
:Term algebra
dbpedia-hu
:Term algebra
dbpedia-pl
:Term algebra
dbpedia-global
:Term algebra
dbr
:Term algebra
prov:
wasDerivedFrom
wikipedia-en
:Term_algebra?oldid=1256230355&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Term_algebra
is
dbo:
wikiPageDisambiguates
of
dbr
:Term
is
dbo:
wikiPageRedirects
of
dbr
:Herbrand_Universe
dbr
:Herbrand_atom_set
dbr
:Herbrand_term
is
dbo:
wikiPageWikiLink
of
dbr
:Greg_Nelson_(computer_scientist)
dbr
:Natural_deduction
dbr
:Quantifier_elimination
dbr
:Signature_(logic)
dbr
:Integer
dbr
:Atomic_formula
dbr
:Term
dbr
:Free_object
dbr
:Term_(logic)
dbr
:Clone_(algebra)
dbr
:Hypergraph
dbr
:Algebraic_structure
dbr
:Nonelementary_problem
dbr
:Uninterpreted_function
dbr
:Universal_algebra
dbr
:Rewriting
dbr
:Director_string
dbr
:Leibniz_operator
dbr
:Algebraic_Petri_net
dbr
:Domain_of_discourse
dbr
:Constraint_Handling_Rules
dbr
:Regular_tree_grammar
dbr
:Actual_infinity
dbr
:Herbrand_Universe
dbr
:Herbrand_atom_set
dbr
:Herbrand_term
is
foaf:
primaryTopic
of
wikipedia-en
:Term_algebra
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International