@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:Q737471 rdfs:label "закон падвойнага адмаўленьня"@be-tarask,
        "eliminació de la doble negació"@ca,
        "Gesetz der doppelten Negation"@de,
        "double negative elimination"@en,
        "senigo de duobla negacio"@eo,
        "eliminación de la doble negación"@es,
        "élimination de la double négation"@fr,
        "eliminazione della doppia negazione"@it,
        "二重否定の除去"@ja,
        "eliminatie van dubbele negatie"@nl,
        "Prawo podwójnej negacji"@pl,
        "eliminação de dupla negativa"@pt,
        "eliminação de dupla negativa"@pt-br,
        "закон двойного отрицания"@ru,
        "zakon dvojne negacije"@sl,
        "Инкори инкор"@tg,
        "закон подвійного заперечення"@uk,
        "双重否定除去"@zh ;
    schema1:dateModified "2025-10-03T18:33:42+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula"@en,
        "regla en lógica proposicional"@es,
        "règle d'inférence qui permet d'inférer une formule sans négation quand deux négations se succèdent"@fr,
        "regola di inferenza che permette di dedurre una formula logica rimuovendo una doppia negazione presente nella formula originale"@it,
        "reguła logiki, konkretniej rachunku zdań"@pl,
        "опущение двойного отрицания формулы"@ru ;
    schema1:version 2412321661 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 8 ;
    wikibase:statements 6 ;
    skos:altLabel "Prinzip der doppelten Negation"@de,
        "duplex negatio affirmat"@de,
        "eliminacion de la doble negacion"@es,
        "eliminacion del negativo doble"@es,
        "eliminación del negativo doble"@es,
        "introduccion de la doble negacion"@es,
        "introduccion del doble negativo"@es,
        "introducción de la doble negación"@es,
        "introducción del doble negativo"@es,
        "двойное отрицание"@ru ;
    p:P1417 wds:Q737471-122D74A3-E848-4DE2-82E8-21D437EE4449 ;
    p:P2577 wds:Q737471-e771f338-4144-a11c-2351-2424b36e61e2 ;
    p:P279 wds:Q737471-6B90C5CC-A9CB-4492-9D56-1C26B8A84B9B ;
    p:P31 wds:Q737471-adb5f57a-4146-f535-f424-14fe106116ef ;
    p:P361 wds:Q737471-de1fbae2-4c85-c18a-9ecc-50d391d5fc37 ;
    p:P646 wds:Q737471-4F3B6C77-2813-4723-B99D-4D5491A73DAE ;
    wdt:P1417 "topic/law-of-double-negation" ;
    wdt:P2577 wd:Q236975 ;
    wdt:P279 wd:Q23009442 ;
    wdt:P31 wd:Q1361787 ;
    wdt:P361 wd:Q5300067 ;
    wdt:P646 "/m/05fvh" .