About: Existential theory of the reals

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

Quantified formulas with real-number variables

Property	Value
dbo:description	quantified formulas with real-number variables (en) fórmulas cuantificadas con variables de números reales (es)
dbo:wikiPageWikiLink	dbr:Graph_drawing dbr:Axiom_schema dbr:Polynomial-time_reduction dbr:RAC_drawing dbr:Quantifier_elimination dbr:Lattice_(order) dbr:Unit_distance_graph dbr:Hilbert's_tenth_problem dbr:Real_closed_field dbc:Real_algebraic_geometry dbr:Integer dbr:Real_number dbr:Line_segment dbr:NP_(complexity) dbr:Homeomorphism dbr:PSPACE dbc:Formal_theories_of_arithmetic dbr:Fáry's_theorem dbr:Dima_Grigoriev dbr:Steinitz's_theorem dbr:Crossing_number_(graph_theory) dbc:Computational_complexity_theory dbr:Sentence_(mathematical_logic) dbr:Matrix_completion dbr:Formal_language dbr:Quantum_logic dbr:Cylindrical_algebraic_decomposition dbr:List_of_first-order_theories dbr:Convex_polytope dbr:Algorithm dbr:Cross_product dbr:Diophantine_equation dbr:Complete_(complexity) dbr:Computer_science dbr:Golden_ratio dbr:Logical_connective dbr:Alfred_Tarski dbr:Computational_complexity_theory dbr:Polynomial dbr:Mathematical_logic dbr:Complexity_class dbr:Art_gallery_problem dbr:Unit_disk_graph dbr:Intersection_graph dbr:Semialgebraic_set dbr:Undecidable_problem dbr:Geometric_graph_theory dbr:Time_complexity dbr:Nash_equilibrium dbr:Graph_(discrete_mathematics) dbr:Planar_graph dbr:Elementary_function dbr:Slope_number dbr:Visibility_graph dbr:Double_exponential_function dbr:Dimension_(graph_theory) dbr:Decision_problem dbr:Arrangement_of_lines dbr:Asymptotic_computational_complexity dbr:John_Canny dbr:Theory_(mathematical_logic) dbr:Inequality_of_arithmetic_and_geometric_means dbr:Universal_quantifier dbr:NP-hard dbr:Root_of_a_polynomial dbr:Diophantine_set dbr:George_E._Collins dbr:Packing_problem dbr:Existential_quantifier dbr:Quantifier-free_formula
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Real_algebraic_geometry dbc:Formal_theories_of_arithmetic dbc:Computational_complexity_theory
rdfs:label	Existential theory of the reals (en) Théorie existentielle sur les réels (fr) Экзистенциальная теория вещественных чисел (ru)
owl:sameAs	freebase:Existential theory of the reals yago-res:Existential theory of the reals wikidata:Existential theory of the reals dbpedia-fr:Existential theory of the reals dbpedia-ru:Existential theory of the reals dbpedia-global:Existential theory of the reals dbr:Existential theory of the reals
prov:wasDerivedFrom	wikipedia-en:Existential_theory_of_the_reals?oldid=1292518169&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Existential_theory_of_the_reals
is dbo:wikiPageWikiLink of	dbr:Polynomial-time_reduction dbr:Polyhedral_combinatorics dbr:RAC_drawing dbr:Unit_distance_graph dbr:Edge_coloring dbr:List_of_NP-complete_problems dbr:Kissing_number dbr:K-minimum_spanning_tree dbr:Steinitz's_theorem dbr:Crossing_number_(graph_theory) dbr:Matchstick_graph dbr:Art_gallery_problem dbr:Unit_disk_graph dbr:Intersection_graph dbr:Semialgebraic_set dbr:Packing_problems dbr:Slope_number dbr:Dimension_(graph_theory) dbr:Arrangement_of_lines dbr:John_Canny dbr:Simultaneous_embedding dbr:Polygon_covering
is foaf:primaryTopic of	wikipedia-en:Existential_theory_of_the_reals