Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Tarski–Seidenberg_theorem> }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Abraham_Seidenberg knownFor Tarski–Seidenberg_theorem.
- Tarski-Seidenberg_theorem wikiPageRedirects Tarski–Seidenberg_theorem.
- Abraham_Seidenberg wikiPageWikiLink Tarski–Seidenberg_theorem.
- Algebraic_geometry wikiPageWikiLink Tarski–Seidenberg_theorem.
- Cylindrical_algebraic_decomposition wikiPageWikiLink Tarski–Seidenberg_theorem.
- Decidability_(logic) wikiPageWikiLink Tarski–Seidenberg_theorem.
- Decidability_of_first-order_theories_of_the_real_numbers wikiPageWikiLink Tarski–Seidenberg_theorem.
- Elimination_theory wikiPageWikiLink Tarski–Seidenberg_theorem.
- Entscheidungsproblem wikiPageWikiLink Tarski–Seidenberg_theorem.
- List_of_first-order_theories wikiPageWikiLink Tarski–Seidenberg_theorem.
- List_of_things_named_after_Alfred_Tarski wikiPageWikiLink Tarski–Seidenberg_theorem.
- Quantifier_elimination wikiPageWikiLink Tarski–Seidenberg_theorem.
- Real_algebraic_geometry wikiPageWikiLink Tarski–Seidenberg_theorem.
- Richardsons_theorem wikiPageWikiLink Tarski–Seidenberg_theorem.
- Semialgebraic_set wikiPageWikiLink Tarski–Seidenberg_theorem.
- Subanalytic_set wikiPageWikiLink Tarski–Seidenberg_theorem.
- Tarski-Seidenberg_theorem wikiPageWikiLink Tarski–Seidenberg_theorem.
- Tarskis_theorem wikiPageWikiLink Tarski–Seidenberg_theorem.
- books?vid=ISBN0-8218-4547-0 isCitedBy Tarski–Seidenberg_theorem.
- 496883e7bd2f1e2fd0a1c5a4fccdc9703daf57898be0f06578169397cee0561e isCitedBy Tarski–Seidenberg_theorem.
- Abraham_Seidenberg knownFor Tarski–Seidenberg_theorem.
- Tarski%E2%80%93Seidenberg_theorem sameAs Tarski–Seidenberg_theorem.
- Tarski–Seidenberg_theorem primaryTopic Tarski–Seidenberg_theorem.