Quantifier elimination

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual First-order theory
rdfs:label	Quantifier elimination
owl:sameAs	dbr:Quantifier_elimination
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Computer_algebra_system http://en.wikipedia.org/wiki/Time_complexity http://en.wikipedia.org/wiki/List_of_first-order_theories
skos:prefLabel	Quantifier elimination
skos:altLabel	Quantifier_elimination#Algorithms_and_decidability eliminates quantifiers quantifier elimination

About: clgr:Quantifier_elimination