@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:Q536640 rdfs:label "Teorema de Hall"@ca,
        "Hallova věta"@cs,
        "Heiratssatz"@de,
        "Hall's marriage theorem"@en,
        "geedziĝoteoremo de Hall"@eo,
        "Teorema de Hall"@es,
        "قضیه هال"@fa,
        "Hallin lause"@fi,
        "théorème de Hall"@fr,
        "משפט החתונה"@he,
        "Hallov poučak o sparivanju"@hr,
        "Hall-tétel"@hu,
        "Teorema dei matrimoni"@it,
        "ホールの定理"@ja,
        "홀 결혼 정리"@ko,
        "huwelijksstelling van Hall"@nl,
        "Twierdzenie o kojarzeniu małżeństw"@pl,
        "Teorema căsătoriilor"@ro,
        "теорема Холла"@ru,
        "Hallov izrek o porokah"@sl,
        "теорема Холла"@uk,
        "霍爾婚配定理"@zh ;
    schema1:dateModified "2025-08-24T23:38:07+00:00"^^xsd:dateTime ;
    schema1:description "teorema de Philip Hall"@ca,
        "mathematischer Satz"@de,
        "theorem that a finite bipartite graph has a perfect matching iff any subset of vertices from one group has a neighbourhood of equal or greater size"@en,
        "la teoremo, ke finia dukolora grafo havas perfektan pariĝon se kaj nur se ajna subaro de verticoj el unu koloro havas cirkaŭaĵon samgrandan aŭ pli grandan"@eo,
        "théorème en mathématiques qui donne une condition nécessaire et suffisante, sur une famille d’ensembles finis, pour qu’il soit possible de choisir des éléments distincts, un par ensemble"@fr,
        "matematika, kombinatorikai állítás"@hu,
        "組合せ数学の帰結の1つで、有限集合の集まりのそれぞれから別個の元を選択できる条件を与える定理"@ja,
        "조합 수학의 귀결 중 하나로 유한 집합의 집합에 각각에서 개별의 원소를 선택할 수 있는 조건을 주는 정리"@ko,
        "twierdzenie teorii grafów o grafach dwudzielnych"@pl,
        "теорема о паросочетаниях в графе"@ru,
        "二部圖中，一側頂點可全部匹配另一側的充要條件"@zh ;
    schema1:version 2396181860 ;
    wikibase:identifiers 9 ;
    wikibase:sitelinks 18 ;
    wikibase:statements 16 ;
    skos:altLabel "Teorema del matrimoni de Hall"@ca,
        "Hall's theorem"@en,
        "結婚定理"@ja,
        "stelling van Hall"@nl,
        "теорема о мальчиках и девочках"@ru,
        "теорема о свадьбах"@ru,
        "赫爾婚姻定理"@zh,
        "霍爾定理"@zh ;
    p:P12888 wds:Q536640-E883D673-6441-4DBC-820A-18004F35C36B ;
    p:P138 wds:Q536640-a6077614-40b2-e3e9-25fb-380ff72e070b ;
    p:P1417 wds:Q536640-976AB3F6-0E25-4F67-811E-51C204AE6C66 ;
    p:P18 wds:Q536640-26112bb1-44e1-33d1-c4c7-e8be174c2377 ;
    p:P1889 wds:Q536640-53e6288d-4d3e-0ed7-819c-953e4cd99380 ;
    p:P2579 wds:Q536640-32a71e6e-44c3-2020-91dd-2be15578a712 ;
    p:P2812 wds:Q536640-44DC0673-205D-44B5-B5C0-32095C1CD621 ;
    p:P31 wds:Q536640-0A674E0F-2D03-4BA4-9ABB-E9C09F876907 ;
    p:P361 wds:Q536640-7222DA70-FB68-4B80-8338-05756310344E ;
    p:P6104 wds:Q536640-B41282AD-9BA8-4FE1-8619-808F96A0E729 ;
    p:P6366 wds:Q536640-034719D1-4897-43D2-B23B-F7F47E5D6699 ;
    p:P646 wds:Q536640-1B7F9BBF-AB07-475F-926A-9E89F40B92D0 ;
    p:P6564 wds:Q536640-7e7f7486-47e6-4372-6e92-b5e255a1ec3a ;
    p:P6781 wds:Q536640-8c013eb4-4711-2b41-8614-3c40c73f0467 ;
    p:P7726 wds:Q536640-76bd2e5b-420e-0ee4-47dd-266a35251f13,
        wds:Q536640-cfea61f5-4b54-6009-97ba-1a9003c55f02 ;
    wdtn:P6366 <https://makg.org/entity/117652263> ;
    wdt:P12888 "marypha1" ;
    wdt:P138 wd:Q948396 ;
    wdt:P1417 "topic/Halls-theorem" ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Halls%20theorem%20matching%20graph%20theory2.svg> ;
    wdt:P1889 wd:Q3406269 ;
    wdt:P2579 wd:Q131476 ;
    wdt:P2812 "HallsTheorem" ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "117652263" ;
    wdt:P646 "/m/019kt3" ;
    wdt:P6564 "hall-marriage-theorem" ;
    wdt:P6781 "Hall's_Marriage_Theorem" ;
    wdt:P7726 "HallsMarriageTheorem",
        "HallsMarriageTheoremProofOf" .