About: Predicate variable

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

Type of mathematical variable

Property	Value
dbo:description	Type of mathematical variable (en)
dbo:wikiPageWikiLink	dbr:Axiom_schema dbc:Predicate_logic dbr:Quantifier_(logic) dbc:Logic_symbols dbr:First-order_logic dbr:Propositional_logic dbr:Rudolf_Carnap dbr:Well-formed_formula dbr:Arity dbr:Latin_script dbr:Mathematical_logic dbr:Higher-order_logic dbr:Second-order_logic dbr:Domain_of_discourse dbr:Propositional_variable dbr:Propositional_function dbr:Metalinguistic_variable
dbp:wikiPageUsesTemplate	dbt:Mathematical_logic dbt:Isbn dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Predicate_logic dbc:Logic_symbols
gold:hypernym	dbr:Letter
rdfs:label	Predicate variable (en) Variabile predicativa (it) 谓词变量 (zh)
owl:sameAs	freebase:Predicate variable yago-res:Predicate variable wikidata:Predicate variable dbpedia-it:Predicate variable dbpedia-zh:Predicate variable dbpedia-global:Predicate variable
prov:wasDerivedFrom	wikipedia-en:Predicate_variable?oldid=1278688980&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Predicate_variable
is dbo:wikiPageRedirects of	dbr:Predicate_symbol dbr:Relation_symbol
is dbo:wikiPageWikiLink of	dbr:Modal_operator dbr:Predicate_(mathematical_logic) dbr:Universal_quantification dbr:Datalog dbr:Proposition dbr:Something_(concept) dbr:Structure_mapping_engine dbr:Second-order_logic dbr:Propositional_variable dbr:Outline_of_logic dbr:Predicate_symbol dbr:Relation_symbol
is foaf:primaryTopic of	wikipedia-en:Predicate_variable

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