Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Predicate_variable> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Predicate_variable abstract "In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first-order logic (FOL) they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers.".
- Predicate_variable wikiPageID "1011332".
- Predicate_variable wikiPageRevisionID "551845281".
- Predicate_variable hasPhotoCollection Predicate_variable.
- Predicate_variable subject Category:Logic_symbols.
- Predicate_variable subject Category:Predicate_logic.
- Predicate_variable comment "In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first-order logic (FOL) they can be more properly called metalinguistic variables.".
- Predicate_variable label "Predicate variable".
- Predicate_variable label "谓词变量".
- Predicate_variable sameAs m.03z0k4.
- Predicate_variable sameAs Q10531432.
- Predicate_variable sameAs Q10531432.
- Predicate_variable wasDerivedFrom Predicate_variable?oldid=551845281.
- Predicate_variable isPrimaryTopicOf Predicate_variable.