Matches in DBpedia 2016-04 for { ?s ?p "Decidability of first-order theories of the real numbers"@en }
Showing triples 1 to 3 of
3
with 100 triples per page.
- Decidability_of_first-order_theories_of_the_real_numbers wikiPageWikiLinkText "Decidability of first-order theories of the real numbers".
- Decidability_of_first-order_theories_of_the_real_numbers label "Decidability of first-order theories of the real numbers".
- Q18206382 label "Decidability of first-order theories of the real numbers".