Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Predicate_variable> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples 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 wikiPageLength "3640".
- Predicate_variable wikiPageOutDegree "15".
- Predicate_variable wikiPageRevisionID "622114482".
- Predicate_variable wikiPageWikiLink Arity.
- Predicate_variable wikiPageWikiLink Axiom_schema.
- Predicate_variable wikiPageWikiLink Category:Logic_symbols.
- Predicate_variable wikiPageWikiLink Category:Predicate_logic.
- Predicate_variable wikiPageWikiLink Domain_of_discourse.
- Predicate_variable wikiPageWikiLink First-order_logic.
- Predicate_variable wikiPageWikiLink Higher-order_logic.
- Predicate_variable wikiPageWikiLink Metalinguistic_variable.
- Predicate_variable wikiPageWikiLink Metavariable.
- Predicate_variable wikiPageWikiLink Propositional_calculus.
- Predicate_variable wikiPageWikiLink Propositional_function.
- Predicate_variable wikiPageWikiLink Propositional_logic.
- Predicate_variable wikiPageWikiLink Propositional_variable.
- Predicate_variable wikiPageWikiLink Quantifier_(logic).
- Predicate_variable wikiPageWikiLink Second-order_logic.
- Predicate_variable wikiPageWikiLink Well-formed_formula.
- Predicate_variable wikiPageWikiLinkText "Predicate variable".
- Predicate_variable wikiPageWikiLinkText "predicate (or relation) symbols".
- Predicate_variable wikiPageWikiLinkText "predicate variable".
- Predicate_variable hasPhotoCollection Predicate_variable.
- Predicate_variable wikiPageUsesTemplate Template:Cleanup-rewrite.
- Predicate_variable subject Category:Logic_symbols.
- Predicate_variable subject Category:Predicate_logic.
- Predicate_variable hypernym Letter.
- Predicate_variable type Article.
- Predicate_variable type Language.
- Predicate_variable type RadioStation.
- Predicate_variable type Article.
- Predicate_variable type Concept.
- Predicate_variable type Language.
- 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 sameAs m.03z0k4.
- Predicate_variable sameAs Q10531432.
- Predicate_variable sameAs Q10531432.
- Predicate_variable sameAs 谓词变量.
- Predicate_variable wasDerivedFrom Predicate_variable?oldid=622114482.
- Predicate_variable isPrimaryTopicOf Predicate_variable.