SHMARQL

Tarski–Seidenberg theorem

<http://www.wikidata.org/entity/Q16705451>

theorem in mathematical logic
rdfs:label
"Tarski–Seidenberg theorem"@en
skos:altLabel
"Tarski-Seidenberg theorem"@en
"generalized Sturm theorem"@en
schema:description
"theorem in mathematical logic"@en
schema:dateModified "2025-08-29T15:47:54+00:00"^^xsd:dateTime
schema:version 2398126923
wikibase:identifiers 5
wikibase:sitelinks 2
wikibase:statements 10
p:P138 wd:statement/Q16705451-7a9a5bcc-4da7-c488-5d71-c5b77d8d44d4
wd:statement/Q16705451-ed9571d3-41ff-fe60-adf3-a43e7956870d
p:P2384 wd:statement/Q16705451-10e2c98e-455a-5cfc-d827-ad4195e50486
p:P2812 wd:statement/Q16705451-AEAC0A2A-291A-4111-9EA8-179F82BA3026
p:P31 wd:statement/Q16705451-2CA776BC-1A97-47DF-B61C-06A0A2C4582B
p:P4215 wd:statement/Q16705451-46C6C802-3095-4D4A-9544-FF7472AB655C
p:P6104 wd:statement/Q16705451-9B864DA0-31EA-45A8-BF66-04C9DB54B24B
p:P6366 wd:statement/Q16705451-D02A9C11-3660-489E-A67D-137B207B444B
p:P646 wd:statement/Q16705451-ABD76BE4-40B5-4218-A252-AF7D08457A3F
p:P7726 wd:statement/Q16705451-39039FB5-B84A-4EA2-B8C1-705635DB9D46
p:direct-normalized/P6366 <https://makg.org/entity/2779415298>
wdt:P138 Alfred Tarski
Abraham Seidenberg
wdt:P2384 semialgebraic set
wdt:P2812 "TarskisTheorem"
wdt:P31 theorem
wdt:P4215 "Tarski-Seidenberg theorem"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "2779415298"
wdt:P646 "/m/04n69ql"
wdt:P7726 "TarskiSeidenbergTheorem"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata