Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Uninterpreted_function> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Uninterpreted_function abstract "In mathematical logic, an uninterpreted function or function symbol is one that has no other property than its name and n-ary form. Function symbols are used, together with constants and variables, to form terms.The theory of uninterpreted functions is also sometimes called the free theory, because it is freely generated, and thus a free object, or the empty theory, being the theory having an empty set of sentences (in analogy to an initial algebra). Theories with a non-empty set of equations are known as equational theories. The satisfiability problem for free theories is solved by syntactic unification; algorithms for the latter are used by interpreters for various computer languages, such as Prolog. Syntactic unification is also used in algorithms for the satisfiability problem for certain other equational theories, see E-Unification and Narrowing.".
- Uninterpreted_function wikiPageID "22542131".
- Uninterpreted_function wikiPageLength "4277".
- Uninterpreted_function wikiPageOutDegree "25".
- Uninterpreted_function wikiPageRevisionID "707381842".
- Uninterpreted_function wikiPageWikiLink Algebraic_data_type.
- Uninterpreted_function wikiPageWikiLink Arity.
- Uninterpreted_function wikiPageWikiLink Array_data_structure.
- Uninterpreted_function wikiPageWikiLink Axiom.
- Uninterpreted_function wikiPageWikiLink Category:Specification_languages.
- Uninterpreted_function wikiPageWikiLink Closure_(mathematics).
- Uninterpreted_function wikiPageWikiLink Common_subexpression_elimination.
- Uninterpreted_function wikiPageWikiLink Decision_problem.
- Uninterpreted_function wikiPageWikiLink Free_object.
- Uninterpreted_function wikiPageWikiLink Initial_algebra.
- Uninterpreted_function wikiPageWikiLink Interpretation_(logic).
- Uninterpreted_function wikiPageWikiLink Mathematical_logic.
- Uninterpreted_function wikiPageWikiLink Prolog.
- Uninterpreted_function wikiPageWikiLink Satisfiability.
- Uninterpreted_function wikiPageWikiLink Satisfiability_modulo_theories.
- Uninterpreted_function wikiPageWikiLink Sentence_(logic).
- Uninterpreted_function wikiPageWikiLink Term_(logic).
- Uninterpreted_function wikiPageWikiLink Term_algebra.
- Uninterpreted_function wikiPageWikiLink Theory_(mathematical_logic).
- Uninterpreted_function wikiPageWikiLink Unification_(computer_science).
- Uninterpreted_function wikiPageWikiLink Universal_algebra.
- Uninterpreted_function wikiPageWikiLinkText "Uninterpreted function".
- Uninterpreted_function wikiPageWikiLinkText "uninterpreted function".
- Uninterpreted_function date "May 2014".
- Uninterpreted_function reason "Indicate about solving which problem in free theories the sentence is supposed to speak. E.g. to solve the satisfiability problem of conjunctions of equations, the Martelli-Montanari syntactic unification algorithm suffices, neither common subexpressions nor congruence closures are needed. Maybe, satisfiability of arbitrary boolean combinations of equations is meant?".
- Uninterpreted_function wikiPageUsesTemplate Template:Citation_needed.
- Uninterpreted_function wikiPageUsesTemplate Template:Clarify.
- Uninterpreted_function wikiPageUsesTemplate Template:Context.
- Uninterpreted_function wikiPageUsesTemplate Template:Formalmethods-stub.
- Uninterpreted_function wikiPageUsesTemplate Template:Reflist.
- Uninterpreted_function subject Category:Specification_languages.
- Uninterpreted_function type Language.
- Uninterpreted_function type Language.
- Uninterpreted_function type Method.
- Uninterpreted_function type Page.
- Uninterpreted_function type Structure.
- Uninterpreted_function type Theory.
- Uninterpreted_function comment "In mathematical logic, an uninterpreted function or function symbol is one that has no other property than its name and n-ary form. Function symbols are used, together with constants and variables, to form terms.The theory of uninterpreted functions is also sometimes called the free theory, because it is freely generated, and thus a free object, or the empty theory, being the theory having an empty set of sentences (in analogy to an initial algebra).".
- Uninterpreted_function label "Uninterpreted function".
- Uninterpreted_function sameAs Q7885264.
- Uninterpreted_function sameAs m.05zkr99.
- Uninterpreted_function sameAs Q7885264.
- Uninterpreted_function wasDerivedFrom Uninterpreted_function?oldid=707381842.
- Uninterpreted_function isPrimaryTopicOf Uninterpreted_function.