About: Quantifier elimination

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Technique to simplify formulas

Property	Value
dbo:description	technique to simplify formulas (en) tècnica per simplificar fórmules (ca) حذف (fa)
dbo:wikiPageExternalLink	https://www21.in.tum.de/~nipkow/pubs/ijcar08.pdf https://www.usna.edu/CS/qepcadweb/B/QE.html https://infoscience.epfl.ch/record/110222/files/KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.pdf
dbo:wikiPageWikiLink	dbr:Quadratic_polynomial dbr:Quantifier_(logic) dbr:Fourier–Motzkin_elimination dbr:Algebraically_closed_field dbr:Real_closed_field dbr:Cambridge_University_Press dbr:Decidability_(logic) dbr:Differentially_closed_field dbr:Well-formed_formula dbr:Disjunctive_normal_form dbr:Free_variable dbr:Sentence_(mathematical_logic) dbr:Formal_language dbr:Cylindrical_algebraic_decomposition dbr:Presburger_arithmetic dbr:Algorithm dbr:Academic_Press dbr:Theoretical_computer_science dbr:Conjunction_elimination dbr:Atom_(order_theory) dbr:Elimination_theory dbr:Dense_linear_order dbr:Simplification_(disambiguation) dbr:Boolean_algebras dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Random_graph dbr:Logical_equivalence dbr:Complete_theory dbr:Discriminant dbr:Abelian_group dbr:Fundamenta_Mathematicae dbr:Literal_(mathematical_logic) dbr:Substructure_(mathematics) dbr:Term_algebra dbr:Amalgamation_property dbr:Springer-Verlag dbr:Tarski–Seidenberg_theorem dbr:Relation_(mathematics) dbr:Modulo_(jargon) dbr:Ordered_group dbr:Nullstellensatz dbr:Feferman-Vaught_theorem dbr:Countable dbr:Logical_theory dbr:Queue_(mathematics) dbr:Model_complete
dbp:date	October 2020 (en)
dbp:reason	complete sentence needed (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Pipe dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Cite_conference dbt:Clarify dbt:Refend dbt:Refbegin dbt:Cite_report dbt:Cn dbt:Harvid dbt:Harvtxt dbt:Refn dbt:Short_description
dct:subject	dbc:Model_theory
rdfs:label	Quantifier elimination (en) Eliminación de cuantificadores (es) Quantorenelimination (de) Élimination des quantificateurs (fr) Eliminação de quantificadores (pt) Элиминация кванторов (ru) 量詞消去 (zh)
owl:sameAs	freebase:Quantifier elimination wikidata:Quantifier elimination dbpedia-de:Quantifier elimination dbpedia-fr:Quantifier elimination dbpedia-zh:Quantifier elimination dbpedia-pt:Quantifier elimination dbpedia-he:Quantifier elimination dbpedia-es:Quantifier elimination dbpedia-fa:Quantifier elimination dbpedia-ru:Quantifier elimination dbpedia-global:Quantifier elimination dbr:Quantifier elimination
prov:wasDerivedFrom	wikipedia-en:Quantifier_elimination?oldid=1280967565&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Quantifier_elimination
is dbo:wikiPageDisambiguates of	dbr:QE
is dbo:wikiPageRedirects of	dbr:Elimination_of_quantifiers dbr:Algorithms_for_quantifier_elimination dbr:Quantifier_Elimination
is dbo:wikiPageWikiLink of	dbr:Quantifier_(logic) dbr:Algebraically_closed_field dbr:Real_closed_field dbr:Satisfiability_modulo_theories dbr:Definable_set dbr:Two-element_Boolean_algebra dbr:Decidability_(logic) dbr:Differentially_closed_field dbr:O-minimal_theory dbr:2-EXPTIME dbr:QE dbr:Wilkie's_theorem dbr:Existential_theory_of_the_reals dbr:Cylindrical_algebraic_decomposition dbr:Index_of_philosophy_articles_(I–Q) dbr:Presburger_arithmetic dbr:List_of_first-order_theories dbr:Theory_of_pure_equality dbr:Alfred_Tarski dbr:Elimination_theory dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Mathematical_logic dbr:Model_theory dbr:Wanda_Szmielew dbr:Sturm's_theorem dbr:List_of_mathematical_logic_topics dbr:P-adically_closed_field dbr:Algebraic_geometry dbr:Time_complexity dbr:Zariski_geometry dbr:Angus_Macintyre dbr:Computer_algebra_system dbr:Type_(model_theory) dbr:Tarski's_axioms dbr:Skolem_arithmetic dbr:List_of_computer_algebra_systems dbr:Real_algebraic_geometry dbr:Term_algebra dbr:Amalgamation_property dbr:Cantor's_isomorphism_theorem dbr:Tarski–Seidenberg_theorem dbr:James_Renegar dbr:Feferman–Vaught_theorem dbr:George_E._Collins dbr:Elimination_of_quantifiers dbr:Algorithms_for_quantifier_elimination dbr:Quantifier_Elimination
is foaf:primaryTopic of	wikipedia-en:Quantifier_elimination