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