@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 wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q780487 rdfs:label "esquema d'axioma de separació"@ca,
        "sgema gwireb y fanyleb"@cy,
        "Aussonderungsaxiom"@de,
        "Αξιωματικό σχήμα του διαχωρισμού"@el,
        "axiom schema of specification"@en,
        "aksiomskemo de specifo"@eo,
        "اصل موضوع تصریح"@fa,
        "schéma d'axiomes de compréhension"@fr,
        "אקסיומת ההפרדה"@he,
        "Načelo komprehenzije"@hr,
        "schema di assiomi di specificazione"@it,
        "分出公理"@ja,
        "အတိအကျသတ်မှတ်ခြင်း နဂိုမှန်အဆို ပုံစံ"@my,
        "axiom schema of specification"@nl,
        "aksjomat podzbiorów"@pl,
        "axioma da separação"@pt,
        "axioma separării"@ro,
        "аксиома схемы выделения"@ru,
        "aksiomska shema specifikacije"@sl,
        "Delmängdsaxiomet"@sv,
        "аксіома схеми виділення"@uk,
        "分类公理"@zh ;
    schema1:dateModified "2026-09-06T17:40:50+00:00"^^xsd:dateTime ;
    schema1:description "Bestandteil der erweiterten Zermelo-Fraenkel-Mengenlehre"@de,
        "axiom schema"@en,
        "schéma d'axiome de la théorie des ensembles"@fr,
        "założenie w teorii mnogości; jeden z aksjomatów ZF"@pl,
        "afirmativa de que é possível criar subconjuntos de um conjunto original que satisfaçam certa condição"@pt,
        "del razširjene Zermelo-Fraenklove teorije množic"@sl ;
    schema1:version 2541223593 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 15 ;
    wikibase:statements 10 ;
    skos:altLabel "axioma de separació"@ca,
        "esquema d'axiomes de separació"@ca,
        "axiom schema of comprehension"@en,
        "axiom schema of restricted comprehension"@en,
        "axiom schema of separation"@en,
        "subset axiom scheme"@en,
        "axiome de compréhension"@fr,
        "axiome de separation"@fr,
        "schema d'axiomes de comprehension"@fr,
        "schéma d'axiomes de séparation"@fr,
        "אקסיומת הכלילה המוחלשת"@he,
        "assioma di comprensione"@it,
        "内包公理"@ja,
        "axiomaschema van afscheiding"@nl,
        "aksjomat wycinania"@pl,
        "aksjomat wyróżniania"@pl,
        "axioma da compreensão"@pt,
        "axioma da especificação"@pt,
        "схема выделения"@ru,
        "аксіома виділення"@uk,
        "分類公理"@zh ;
    p:P1417 wds:Q780487-BDA64CC9-87D5-48E9-85C1-B9551BA188D1 ;
    p:P1889 wds:Q780487-fd6085c4-4ef2-e500-b1ba-897fa78b2472 ;
    p:P2579 wds:Q780487-05c9bd08-468d-1fdb-48eb-25e1e35fcadd ;
    p:P279 wds:Q780487-492ce949-4511-86ad-5371-65315c375877 ;
    p:P2812 wds:Q780487-4508c9c4-4d04-479e-583c-68d2afe45d4c ;
    p:P31 wds:Q780487-e2b82b2a-49d5-c599-d6e5-01a6ca42d47c ;
    p:P361 wds:Q780487-C629D132-AFFC-4AAB-AFC4-A8321EBD337A ;
    p:P6104 wds:Q780487-00A4F974-6745-4569-8BEF-30EE1720741F ;
    p:P646 wds:Q780487-FBF14EAF-B14C-4DCD-B138-D5CA49494D55 ;
    p:P6781 wds:Q780487-6befc890-4e15-dfa0-385d-9a0f0490b975 ;
    wdt:P1417 "topic/axiom-of-separation" ;
    wdt:P1889 wd:Q125052756 ;
    wdt:P2579 wd:Q191849 ;
    wdt:P279 wd:Q17736 ;
    wdt:P2812 "AxiomsofSubsets" ;
    wdt:P31 wd:Q792536 ;
    wdt:P361 wd:Q3632199 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P646 "/m/0ds1t" ;
    wdt:P6781 "Axiom:Axiom_of_Specification" .