About: Open formula

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

Formula that contains at least one free variable

Property	Value
dbo:description	formula che contiene almeno una variabile libera, ovvero non quantificata (it) formel, der indeholder mindst én fri variabel (da) formula that contains at least one free variable (en) formula, ki vsebuje vsaj eno prosto spremenljivko (sl)
dbo:wikiPageWikiLink	dbr:Predicate_(mathematical_logic) dbr:Quantifier_(logic) dbr:First-order_logic dbr:Universal_quantification dbr:Wolfgang_Rautenberg dbr:Free_variable dbr:Truth_value dbr:Fermat_number dbc:Logical_expressions dbr:Higher-order_logic dbr:Existential_quantification dbr:Natural_number dbr:Domain_of_discourse dbr:Sentence_(logic) dbr:Primality dbr:Formula_(logic)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation dbt:As_of dbt:Citation_needed dbt:Mathlogic-stub dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Logical_expressions
rdfs:label	Open formula (en) جملة مفتوحة (رياضيات) (ar) Rumus terbuka (in) Formula aperta (it) Sentença aberta (pt) Öppen utsaga (sv) 开放句子 (zh)
owl:sameAs	yago-res:Open formula wikidata:Open formula dbpedia-it:Open formula dbpedia-tr:Open formula dbpedia-zh:Open formula dbpedia-pt:Open formula dbpedia-hu:Open formula dbpedia-fa:Open formula dbpedia-sv:Open formula dbpedia-id:Open formula dbpedia-ar:Open formula dbpedia-global:Open formula
prov:wasDerivedFrom	wikipedia-en:Open_formula?oldid=1259350069&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Open_formula
is dbo:wikiPageRedirects of	dbr:Open_statement dbr:Open_sentence dbr:Sentential_function
is dbo:wikiPageWikiLink of	dbr:Quantifier_(logic) dbr:Universe_(mathematics) dbr:Proposition dbr:Sentence_(mathematical_logic) dbr:Glossary_of_artificial_intelligence dbr:Propositional_function dbr:Open_statement dbr:Open_sentence dbr:Sentential_function
is foaf:primaryTopic of	wikipedia-en:Open_formula