@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@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:Q1860722 rdfs:label "بديهية كانتور - ديديكند"@ar,
        "Axioma de Cantor-Dedekind"@ca,
        "Cantor–Dedekind axiom"@en,
        "Aksiomo de Cantor-Dedekind"@eo,
        "axioma de Cantor-Dedekind"@es,
        "Дедикенд теоремасы"@kk,
        "Axioma van Cantor-Dedekind"@nl,
        "Axioma de Cantor-Dedekind"@pt,
        "аксиома Кантора–Дедекинда"@ru,
        "Cantor-Dedekindov aksiom"@sl,
        "Aksioma e Cantorit"@sq,
        "Cantor-Dedekinds axiom"@sv ;
    schema1:dateModified "2025-10-26T10:39:11+00:00"^^xsd:dateTime ;
    schema1:description "thesis in mathematical logic"@en,
        "proposición que afirma la correspondencia uno a uno entre los puntos de una recta y el conjunto de los números reales"@es ;
    schema1:version 2422102589 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 9 ;
    wikibase:statements 5 ;
    p:P2812 wds:Q1860722-85A51CE5-C6D5-416B-94F8-99DD07C8EA91 ;
    p:P31 wds:Q1860722-e0f799c8-4522-0820-3333-430cbad20388 ;
    p:P6104 wds:Q1860722-5CAC06E5-12B2-4564-8FF1-E5F35A526E7C ;
    p:P6366 wds:Q1860722-9E80C029-F421-4444-97F4-EA8DFCF61570 ;
    p:P646 wds:Q1860722-93009F7C-7853-48AE-8294-62FDBFFC8A81 ;
    wdtn:P6366 <https://makg.org/entity/2775900003> ;
    wdt:P2812 "Cantor-DedekindAxiom" ;
    wdt:P31 wd:Q17736 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2775900003" ;
    wdt:P646 "/m/05f9ps" .