@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:Q5031372 rdfs:label "pologrupa s krácením"@cs,
        "cancellative semigroup"@en,
        "neŭtrigebla duongrupo"@eo,
        "semigrupo cancelativo"@es,
        "demi-groupe cancellatif"@fr,
        "חצי חבורה מבטלת"@he,
        "semigruppo cancellativo"@it,
        "消約半群"@ja,
        "소거 반군"@ko,
        "semigrupo cancelativo"@pt,
        "semigrupo cancelativo"@pt-br,
        "pologrupa s krátením"@sk,
        "pokrajšljiva polgrupa"@sl ;
    schema1:dateModified "2026-07-05T01:02:59+00:00"^^xsd:dateTime ;
    schema1:description "algebraická struktura"@cs,
        "semigroup with the cancellation property"@en,
        "קבוצה למחצה עם מאפיין הביטול"@he,
        "두 소거 법칙을 만족하는 반군"@ko ;
    schema1:version 2513979550 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 2 ;
    wikibase:statements 7 ;
    skos:altLabel "חצי קבוצה מבטלת"@he ;
    p:P10283 wds:Q5031372-52E10616-CC89-4EEB-94DE-73E28648A37E ;
    p:P1552 wds:Q5031372-2dbd9fe1-43f3-119b-52c0-0834c924895c ;
    p:P2579 wds:Q5031372-8E134091-FC30-49E9-A70C-D003BB4E05ED ;
    p:P279 wds:Q5031372-4772025c-4d8f-15e8-4374-191093c74f00 ;
    p:P6366 wds:Q5031372-41AC2629-1116-44A3-8C88-539C43FC8FE1 ;
    p:P646 wds:Q5031372-42ECD5EA-677F-48E7-BC67-0A9AC3C0AF72 ;
    p:P8417 wds:Q5031372-8f46b684-481e-d285-fa2b-363194e39e6d ;
    wdtn:P6366 <https://makg.org/entity/21112865> ;
    wdt:P10283 "C21112865" ;
    wdt:P1552 wd:Q2298524 ;
    wdt:P2579 wd:Q18694550 ;
    wdt:P279 wd:Q207348 ;
    wdt:P6366 "21112865" ;
    wdt:P646 "/m/05zygd3" ;
    wdt:P8417 "Cancellative_semigroup" .