@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q16705451 rdfs:label "Teorema de Tarski-Seidenberg"@ca,
        "Satz von Tarski-Seidenberg"@de,
        "Tarski–Seidenberg theorem"@en,
        "teoremo de Tarski-Seidenberg"@eo,
        "Tarski–Seidenberg の定理"@ja,
        "Теорема Зайденберга — Тарского"@ru,
        "Tarski-Seidenberg teoremi"@tr ;
    schema1:dateModified "2025-08-29T15:47:54+00:00"^^xsd:dateTime ;
    schema1:description "teorema"@ca,
        "theorem in mathematical logic"@en ;
    schema1:version 2398126923 ;
    wikibase:identifiers 5 ;
    wikibase:sitelinks 2 ;
    wikibase:statements 10 ;
    skos:altLabel "Tarski-Seidenberg theorem"@en,
        "generalized Sturm theorem"@en,
        "обобщенная теорема Штурма"@ru,
        "обобщённая теорема Штурма"@ru ;
    p:P138 wds:Q16705451-7a9a5bcc-4da7-c488-5d71-c5b77d8d44d4,
        wds:Q16705451-ed9571d3-41ff-fe60-adf3-a43e7956870d ;
    p:P2384 wds:Q16705451-10e2c98e-455a-5cfc-d827-ad4195e50486 ;
    p:P2812 wds:Q16705451-AEAC0A2A-291A-4111-9EA8-179F82BA3026 ;
    p:P31 wds:Q16705451-2CA776BC-1A97-47DF-B61C-06A0A2C4582B ;
    p:P4215 wds:Q16705451-46C6C802-3095-4D4A-9544-FF7472AB655C ;
    p:P6104 wds:Q16705451-9B864DA0-31EA-45A8-BF66-04C9DB54B24B ;
    p:P6366 wds:Q16705451-D02A9C11-3660-489E-A67D-137B207B444B ;
    p:P646 wds:Q16705451-ABD76BE4-40B5-4218-A252-AF7D08457A3F ;
    p:P7726 wds:Q16705451-39039FB5-B84A-4EA2-B8C1-705635DB9D46 ;
    wdtn:P6366 <https://makg.org/entity/2779415298> ;
    wdt:P138 wd:Q207534,
        wd:Q330593 ;
    wdt:P2384 wd:Q7449354 ;
    wdt:P2812 "TarskisTheorem" ;
    wdt:P31 wd:Q65943 ;
    wdt:P4215 "Tarski-Seidenberg theorem" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2779415298" ;
    wdt:P646 "/m/04n69ql" ;
    wdt:P7726 "TarskiSeidenbergTheorem" .