@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@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:Q5155091 rdfs:label "Kommutativität der Konjunktion"@de,
        "commutativity of conjunction"@en,
        "komuteco de konjunkcio"@eo,
        "коммутативность конъюнкции"@ru,
        "合取的交换律"@zh ;
    schema1:dateModified "2024-07-17T18:45:10+00:00"^^xsd:dateTime ;
    schema1:description "Schlussregel"@de,
        "rule of inference"@en ;
    schema1:version 2206764508 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 3 ;
    wikibase:statements 5 ;
    p:P12888 wds:Q5155091-8c8f068e-4b25-d009-5807-469bf785c897 ;
    p:P31 wds:Q5155091-D6F7FF3E-7009-4F57-826F-DF60EEEEA77C,
        wds:Q5155091-DD4D1EC2-767D-4FC6-B781-FC273DA0F8A5 ;
    p:P6104 wds:Q5155091-A94FF1E5-CFB1-44A1-8007-3DBCD3027CF4 ;
    p:P646 wds:Q5155091-3B8D9B29-F0CB-4AD2-A9A2-ADD8B11AC7F7 ;
    wdt:P12888 "ancom" ;
    wdt:P31 wd:Q1068763,
        wd:Q65943 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P646 "/m/09w7tq" .