Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Uninterpreted_function> ?p ?o }
Showing triples 1 to 17 of
17
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 arity. 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 decision problem for free theories is a satisfiability problem, and is solved by syntactic unification. It is particularly important, as many other theories can be reduced to it. Interpreters for various computer languages, such as Prolog, require algorithms for solving the free theory.".
- Uninterpreted_function wikiPageID "22542131".
- Uninterpreted_function wikiPageRevisionID "526606298".
- Uninterpreted_function hasPhotoCollection Uninterpreted_function.
- Uninterpreted_function subject Category:Specification_languages.
- Uninterpreted_function type Abstraction100002137.
- Uninterpreted_function type Communication100033020.
- Uninterpreted_function type Language106282651.
- Uninterpreted_function type SpecificationLanguages.
- Uninterpreted_function comment "In mathematical logic, an uninterpreted function or function symbol is one that has no other property than its name and arity. 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 m.05zkr99.
- Uninterpreted_function sameAs Q7885264.
- Uninterpreted_function sameAs Q7885264.
- Uninterpreted_function sameAs Uninterpreted_function.
- Uninterpreted_function wasDerivedFrom Uninterpreted_function?oldid=526606298.
- Uninterpreted_function isPrimaryTopicOf Uninterpreted_function.