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:Higher-order_logic dbr:Natural_number dbr:Quantifier_(logic) dbr:Universal_quantification dbr:Wolfgang_Rautenberg dbr:Fermat_number dbr:First-order_logic dbc:Logical_expressions dbr:Truth_value dbr:Domain_of_discourse dbr:Existential_quantification dbr:Free_variable dbr:Predicate_(mathematical_logic) dbr:Sentence_(logic) dbr:Formula_(logic) dbr:Primality
dbp:wikiPageUsesTemplate	dbt:Mathlogic-stub dbt:Mathematical_logic dbt:As_of dbt:Citation dbt:Citation_needed dbt:Reflist 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-hu:Open formula dbpedia-pt:Open formula dbpedia-zh:Open formula dbpedia-sv:Open formula dbpedia-id:Open formula dbpedia-ar:Open formula dbpedia-fa:Open formula dbpedia-global:Open formula
prov:wasDerivedFrom	wikipedia-en:Open_formula?oldid=1308602039&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Open_formula
is dbo:wikiPageRedirects of	dbr:Open_sentence dbr:Open_statement dbr:Sentential_function
is dbo:wikiPageWikiLink of	dbr:Sentence_(mathematical_logic) dbr:Proposition dbr:Quantifier_(logic) dbr:Universe_(mathematics) dbr:Propositional_function dbr:Glossary_of_artificial_intelligence dbr:Open_sentence dbr:Open_statement dbr:Sentential_function
is foaf:primaryTopic of	wikipedia-en:Open_formula