@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:Q3229348 rdfs:label "Lema de Zassenhaus"@ca,
        "Lemma von Zassenhaus"@de,
        "Zassenhaus lemma"@en,
        "lemo de Zassenhaus"@eo,
        "Lema de Zassenhaus"@es,
        "lemme de Zassenhaus"@fr,
        "Lemma della farfalla"@it,
        "蝶の補題"@ja,
        "ဆပ်ဆန်ဟောက်စ် အထောက်အကူပြု သီအိုရမ်"@my,
        "Zassenhaus lemma"@nl,
        "Lemat Zassenhausa"@pl,
        "Kelebek önsavı"@tr,
        "蝴蝶引理"@zh,
        "蝴蝶引理"@zh-hant ;
    schema1:dateModified "2026-09-06T20:26:38+00:00"^^xsd:dateTime ;
    schema1:description "technical lemma in group theory"@en,
        "resultado que relaciona un retículo de subgrupos de un grupo"@es,
        "twierdzenie teorii grup i modułów"@pl ;
    schema1:version 2541299200 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 8 ;
    wikibase:statements 8 ;
    skos:altLabel "Schmetterlingslemma"@de,
        "Lema de la mariposa"@es,
        "Lemme du papillon"@fr,
        "ツァッセンハウスの補題"@ja ;
    p:P138 wds:q3229348-623B978D-7508-48FD-97DB-1D4FA8D538C6 ;
    p:P18 wds:Q3229348-797a84dc-414a-1c1b-9d42-5e44b1f34510 ;
    p:P2534 wds:Q3229348-b8b6a8f0-45eb-655a-4039-0ecc5c37b5bf ;
    p:P2579 wds:Q3229348-5A56FAD3-9F63-41C4-8BB7-C8A07A0FDCFE ;
    p:P31 wds:Q3229348-b7940b3f-42a8-7fc4-e8bb-f074d9ba7520 ;
    p:P6104 wds:Q3229348-85E67AFD-0F54-4430-AEBC-5ED797CC335A ;
    p:P6366 wds:Q3229348-64275625-7D40-4BAF-8E25-11FA66BC7804 ;
    p:P646 wds:Q3229348-899580B3-B52B-4AF3-B792-4E5C202BA53E ;
    wdtn:P6366 <https://makg.org/entity/2780791844> ;
    wdt:P138 wd:Q185920 ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Butterfly%20lemma.svg> ;
    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\"><mi>B</mi><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"REL\"><mo stretchy=\"false\">&#x22B2;</mo></mrow></mrow><mi>A</mi><mo stretchy=\"false\">&#x2264;</mo><mi>G</mi><mo stretchy=\"false\">&#x2265;</mo><mi>C</mi><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"REL\"><mo stretchy=\"false\">&#x22B3;</mo></mrow></mrow><mi>D</mi><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mrow data-mjx-texclass=\"ORD\"><mfrac><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">(</mo><mi>A</mi><mo stretchy=\"false\">&#x2229;</mo><mi>C</mi><mo stretchy=\"false\">)</mo><mi>B</mi></mrow></mrow><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">(</mo><mi>A</mi><mo stretchy=\"false\">&#x2229;</mo><mi>D</mi><mo stretchy=\"false\">)</mo><mi>B</mi></mrow></mrow></mfrac></mrow><mo stretchy=\"false\">&#x2245;</mo><mrow data-mjx-texclass=\"ORD\"><mfrac><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">(</mo><mi>A</mi><mo stretchy=\"false\">&#x2229;</mo><mi>C</mi><mo stretchy=\"false\">)</mo><mi>D</mi></mrow></mrow><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">(</mo><mi>B</mi><mo stretchy=\"false\">&#x2229;</mo><mi>C</mi><mo stretchy=\"false\">)</mo><mi>D</mi></mrow></mrow></mfrac></mrow></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q874429 ;
    wdt:P31 wd:Q207505 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2780791844" ;
    wdt:P646 "/m/03kyr4" .