@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:Q1186007 rdfs:label "Nombre de Hartogs"@ca,
        "Satz von Hartogs"@de,
        "Hartogs number"@en,
        "nombro de Hartogs"@eo,
        "Número de Hartogs"@es,
        "ordinal de Hartogs"@fr,
        "מספר הרטוגס"@he,
        "ハルトフ数"@ja,
        "하르톡스 수"@ko,
        "Twierdzenie Hartogsa"@pl,
        "Número de Hartogs"@pt,
        "哈特格斯数"@zh,
        "Hartogs 数"@zh-cn,
        "Hartogs 数"@zh-hans,
        "Hartogs 數"@zh-hant ;
    schema1:dateModified "2026-10-28T18:03:23+00:00"^^xsd:dateTime ;
    schema1:description "tipus de nombre cardinal"@ca,
        "given a set, the least ordinal such that there is no injection from the ordinal into the set"@en,
        "סוג מסוים של מספר סודר"@he,
        "twierdzenie teorii mnogości o liczbach porządkowych"@pl ;
    schema1:version 2561756476 ;
    wikibase:identifiers 5 ;
    wikibase:sitelinks 10 ;
    wikibase:statements 8 ;
    skos:altLabel "Hartogs ordinal"@en,
        "Numero de Hartogs"@es,
        "Cardinal de Hartogs"@fr,
        "하르톡스의 정리"@ko,
        "Funkcja Hartogsa"@pl,
        "Hartogs 数"@zh ;
    p:P12888 wds:Q1186007-2E58A8CC-9838-4572-B154-B42AFC179333 ;
    p:P138 wds:Q1186007-9d15c8bd-46d2-daea-2ae1-c33d7a00ca60 ;
    p:P279 wds:Q1186007-847ce856-4a74-abb4-fbf7-a65c84900fdf ;
    p:P31 wds:Q1186007-231db148-4427-046b-a122-1551f31b100c ;
    p:P4215 wds:Q1186007-24A3E62F-D52F-449E-95B5-555572231DAF ;
    p:P6366 wds:Q1186007-81FED6A9-5D2C-43B5-8FED-F7BA605E7FCC ;
    p:P646 wds:Q1186007-C0D28B35-AEAB-4F4A-8A73-95A885083585 ;
    p:P6781 wds:Q1186007-3396e818-4de0-f5ae-8ece-d2ec072a240c ;
    wdtn:P6366 <https://makg.org/entity/202634877> ;
    wdt:P12888 "df-har" ;
    wdt:P138 wd:Q68545 ;
    wdt:P279 wd:Q191780 ;
    wdt:P31 wd:Q24034552 ;
    wdt:P4215 "Hartogs number" ;
    wdt:P6366 "202634877" ;
    wdt:P646 "/m/08h94y" ;
    wdt:P6781 "Definition:Hartogs_Number" .