About: Uninterpreted function

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of function in mathematical logic

Property	Value
dbo:description	Type of function in mathematical logic (en)
dbo:wikiPageWikiLink	dbr:Sentence_(mathematical_logic) dbr:Arity dbr:Prolog dbr:Mathematical_logic dbc:Specification_languages dbr:Decision_problem dbr:Satisfiability dbr:Term_(logic) dbr:Unification_(computer_science) dbr:Signature_(logic) dbr:Algebraic_data_type dbr:Free_object dbr:Satisfiability_modulo_theories dbr:Theory_(mathematical_logic) dbr:Theory_of_pure_equality dbr:Term_algebra dbr:Initial_algebra dbr:Equational_theory dbr:Common_subexpression dbr:Congruence_closure dbr:Syntactic_unification
dbp:wikiPageUsesTemplate	dbt:R_from_subtopic dbt:R_to_section dbt:R_with_possibilities dbt:Redirect_category_shell
rdfs:label	Uninterpreted function (en)
owl:sameAs	freebase:Uninterpreted function yago-res:Uninterpreted function wikidata:Uninterpreted function dbpedia-fa:Uninterpreted function dbpedia-global:Uninterpreted function
prov:wasDerivedFrom	wikipedia-en:Uninterpreted_function?oldid=1309414848&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Uninterpreted_function
is dbo:wikiPageRedirects of	dbr:Function_letter dbr:Function_symbol_(logic) dbr:Empty_theory dbr:Free_theory dbr:Uninterpreted_term
is dbo:wikiPageWikiLink of	dbr:Boolean_satisfiability_problem dbr:Unification_(computer_science) dbr:Satisfiability_modulo_theories dbr:Free_function dbr:Function_letter dbr:Function_symbol_(logic) dbr:Empty_theory dbr:Free_theory dbr:Uninterpreted_term
is foaf:primaryTopic of	wikipedia-en:Uninterpreted_function

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International