@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:Q253214 rdfs:label "مبرهنة هاين-بوريل"@ar,
        "Teorema de Heine-Borel"@ca,
        "Satz von Heine-Borel"@de,
        "Heine–Borel theorem"@en,
        "teoremo de Heine-Borel"@eo,
        "teorema de Heine-Borel"@es,
        "Boreli-Lebesgue'i teoreem"@et,
        "Heinen–Borelin lause"@fi,
        "théorème de Borel-Lebesgue"@fr,
        "משפט היינה-בורל"@he,
        "Borel–Lebesgue-tétel"@hu,
        "Teorema Heine–Borel"@id,
        "teorema di Heine-Borel"@it,
        "ハイネ・ボレルの被覆定理"@ja,
        "하이네-보렐 정리"@ko,
        "ဟိုင်းနား-ဘိုရဲလ် သီအိုရမ်"@my,
        "Stelling van Heine-Borel"@nl,
        "twierdzenie Heinego-Borela"@pl,
        "teorema de Heine-Borel"@pt,
        "лемма Гейне — Бореля"@ru,
        "Борел-Лебегова лема"@sr,
        "Heine-Borels sats"@sv,
        "ஹெயின்-போரல் தேற்றம்"@ta,
        "Heine-Borel teoremi"@tr,
        "теорема Гейне-Бореля"@uk,
        "Định lý Heine-Borel"@vi,
        "海涅-博雷尔定理"@zh ;
    schema1:dateModified "2026-09-07T10:46:48+00:00"^^xsd:dateTime ;
    schema1:description "teorema matemàtic"@ca,
        "mathematischer Satz"@de,
        "theorem about compact sets in Euclidean space"@en,
        "théorème de caractérisation de la compacité"@fr,
        "matematikai állítás"@hu,
        "teorema mengenai himpunan kompak pada ruang Euklides"@id,
        "teorema matematico"@it,
        "数学の定理のひとつ"@ja,
        "równoważny warunek zwartości zbioru"@pl,
        "定理"@zh ;
    schema1:version 2541642843 ;
    wikibase:identifiers 10 ;
    wikibase:sitelinks 24 ;
    wikibase:statements 18 ;
    skos:altLabel "Teorema de Borel-Lebesgue"@ca,
        "Borel-Lebesgue covering theorem"@en,
        "Borel-Lebesgue theorem"@en,
        "Borel–Lebesgue covering theorem"@en,
        "Borel–Lebesgue theorem"@en,
        "Heine-Borel theorem"@en,
        "Heine–Pincherle–Borel theorem"@en,
        "Teorema Borel-Lebesgue"@id,
        "Teorema Borel–Lebesgue"@id,
        "Teorema Heine-Borel"@id,
        "Teorema Heine–Pincherle–Borel"@id,
        "teorema di Heine-Pincherle-Borel"@it,
        "Лемма Гейне-Бореля"@ru,
        "博雷爾-勒貝格定理"@zh,
        "有限覆蓋定理"@zh,
        "海涅定理"@zh,
        "海涅－博雷尔定理"@zh ;
    p:P12385 wds:Q253214-ae5c94a2-190d-4884-978a-ad72aaa19bd3 ;
    p:P1296 wds:Q253214-A1384BAB-9821-4E66-B967-91ACE1B2CCB7 ;
    p:P138 wds:Q253214-0686d220-4f12-a526-5c47-b210d4a55a7f,
        wds:Q253214-3c10beff-4bfe-d6ab-e153-5de9d02e274b,
        wds:Q253214-c0b39e03-4570-34f9-4a29-d33e35688654 ;
    p:P1417 wds:Q253214-10881F70-70A5-4D9B-BDD8-922CC3720EAB ;
    p:P14534 wds:Q253214-3A9B4828-C487-4113-A6D7-D6D7218D7E67 ;
    p:P2534 wds:Q253214-87F96A7B-4A6C-4BC8-AA60-79FE05D967AC ;
    p:P2579 wds:Q253214-096B85BE-5BB6-4EBB-B711-84E4B1C94818 ;
    p:P2812 wds:Q253214-ee06300f-460d-bb7d-a03b-df1ad090a814 ;
    p:P31 wds:Q253214-E5434A8C-B8AC-4B14-B6B4-2C0940B9030F ;
    p:P361 wds:Q253214-F4D72EE3-074D-4D1C-8525-C91681101E35 ;
    p:P6104 wds:Q253214-7D9D5F2D-2F4F-46C3-8214-ACB67A4A06B1 ;
    p:P6366 wds:Q253214-71176495-D58C-4792-973E-265192E0FAE9 ;
    p:P646 wds:Q253214-56609547-C029-4421-8B6C-0DFC8BBF8800 ;
    p:P6781 wds:Q253214-74b79644-493c-ecfe-d518-1e3377740351 ;
    p:P7554 wds:Q253214-ade35834-41a6-52fc-343d-b6c65deca32c ;
    p:P9621 wds:Q253214-80996d86-40de-78b9-ead1-224fdc501e97 ;
    wdtn:P6366 <https://makg.org/entity/2779445803> ;
    wdt:P12385 "teorema-de-borel-lebesgue" ;
    wdt:P1296 "0011362" ;
    wdt:P138 wd:Q154356,
        wd:Q206005,
        wd:Q77301 ;
    wdt:P1417 "topic/Heine-Borel-theorem" ;
    wdt:P14534 "Metric.isCompact_iff_isClosed_bounded" ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><msub><mi>C</mi><mrow data-mjx-texclass=\"ORD\"><mi>T</mi></mrow></msub><mo stretchy=\"false\">=</mo><msub><mi>C</mi><mrow data-mjx-texclass=\"ORD\"><mi>K</mi></mrow></msub><mo stretchy=\"false\">&#x222A;</mo><mo fence=\"false\" stretchy=\"false\">{</mo><mi>U</mi><mo fence=\"false\" stretchy=\"false\">}</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q149972 ;
    wdt:P2812 "Heine-BorelTheorem" ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2779445803" ;
    wdt:P646 "/m/0g71c" ;
    wdt:P6781 "Heine-Borel_Theorem" ;
    wdt:P7554 "Borel-Lebesgue_covering_theorem" ;
    wdt:P9621 "teorema-di-heine-pincherle-borel" .