Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Quantifier_elimination> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Quantifier_elimination abstract "Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification. Formulae with less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulae as the simplest.A theory has quantifier elimination if for every formula , there exists another formula without quantifiers which is equivalent to it (modulo the theory).".
- Quantifier_elimination wikiPageID "2150441".
- Quantifier_elimination wikiPageRevisionID "552847826".
- Quantifier_elimination hasPhotoCollection Quantifier_elimination.
- Quantifier_elimination subject Category:Model_theory.
- Quantifier_elimination comment "Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification. Formulae with less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulae as the simplest.A theory has quantifier elimination if for every formula , there exists another formula without quantifiers which is equivalent to it (modulo the theory).".
- Quantifier_elimination label "Quantifier elimination".
- Quantifier_elimination label "Quantorenelimination".
- Quantifier_elimination label "Élimination des quantificateurs".
- Quantifier_elimination label "Элиминация кванторов".
- Quantifier_elimination label "量詞消去".
- Quantifier_elimination sameAs Quantorenelimination.
- Quantifier_elimination sameAs Élimination_des_quantificateurs.
- Quantifier_elimination sameAs m.06qh9_.
- Quantifier_elimination sameAs Q1849020.
- Quantifier_elimination sameAs Q1849020.
- Quantifier_elimination wasDerivedFrom Quantifier_elimination?oldid=552847826.
- Quantifier_elimination isPrimaryTopicOf Quantifier_elimination.