About: Decidability of first-order theories of the real numbers

Property	Value
dbo:wikiPageWikiLink	dbr:Schanuel's_conjecture dbr:Quantifier_elimination dbc:Real_algebraic_geometry dbc:Real_numbers dbr:First-order_logic dbr:Decidability_(logic) dbc:Formal_theories_of_arithmetic dbr:Robustness dbr:Cylindrical_algebraic_decomposition dbr:Algorithm dbr:Richardson's_theorem dbr:Alfred_Tarski dbr:Mathematical_logic dbr:Algebraic_number dbr:Exponential_function dbr:Sine_function dbr:Tarski's_exponential_function_problem dbr:Tarski–Seidenberg_theorem dbr:Theory_(mathematical_logic) dbr:Universal_quantifier dbr:Existential_quantifier dbr:Well_formed_formula dbr:Real_closed_fields dbr:Real_numbers
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Real_numbers dbt:Mathematical_logic dbt:Algebraic-geometry-stub dbt:Refimprove dbt:Annotated_link
dct:subject	dbc:Real_algebraic_geometry dbc:Real_numbers dbc:Formal_theories_of_arithmetic
gold:hypernym	dbr:Set
rdfs:label	Decidability of first-order theories of the real numbers (en) Алгоритм Тарского (ru) Алгоритм Тарського (uk)
owl:sameAs	freebase:Decidability of first-order theories of the real numbers yago-res:Decidability of first-order theories of the real numbers wikidata:Decidability of first-order theories of the real numbers dbpedia-ru:Decidability of first-order theories of the real numbers dbpedia-uk:Decidability of first-order theories of the real numbers dbpedia-global:Decidability of first-order theories of the real numbers
prov:wasDerivedFrom	wikipedia-en:Decidability_of_first-order_theories_of_the_real_numbers?oldid=1220793262&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Decidability_of_first-order_theories_of_the_real_numbers
is dbo:wikiPageRedirects of	dbr:Decidability_of_the_first-order_theory_of_the_real_numbers
is dbo:wikiPageWikiLink of	dbr:Real_closed_field dbr:List_of_first-order_theories dbr:Cantor–Dedekind_axiom dbr:Sturm's_theorem dbr:Tarski's_exponential_function_problem dbr:Tarski–Seidenberg_theorem dbr:Theory_(mathematical_logic) dbr:Decidability_of_the_first-order_theory_of_the_real_numbers
is foaf:primaryTopic of	wikipedia-en:Decidability_of_first-order_theories_of_the_real_numbers