@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:Q17163436 rdfs:label "برهان الاستحالة"@ar,
        "proof of impossibility"@en,
        "pruvo de neeblo"@eo,
        "Prueba de imposibilidad"@es,
        "preuve d'impossibilité"@fr,
        "proba de imposibilidade"@gl,
        "lehetetlenségi bizonyítás"@hu,
        "不可能性定理"@ja,
        "prova de impossibilidade"@pt,
        "prova de impossibilidade"@pt-br,
        "доказательство невозможности"@ru,
        "dokaz nemožnosti"@sl,
        "доказ неможливості"@uk,
        "不可能性證明"@zh ;
    schema1:dateModified "2025-08-30T06:07:37+00:00"^^xsd:dateTime ;
    schema1:description "result demonstrating that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general"@en,
        "demostración de que un postulado no es verdadero (es decir, no puede cumplirse)"@es,
        "rezultat, ki dokazuje, da določenega problema ni mogoče rešiti, kot je opisano v trditvi, ali da določenega sklopa problemov ni mogoče rešiti na splošno"@sl ;
    schema1:version 2398255422 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 5 ;
    wikibase:statements 4 ;
    skos:altLabel "impossibility theorem"@en,
        "negative proof"@en,
        "prueba negativa"@es,
        "resultado negativo"@es,
        "teorema de imposibilidad"@es,
        "lehetetlenség bizonyítása"@hu,
        "negativni dokaz"@sl ;
    p:P1269 wds:Q17163436-094d83fe-460f-3141-6fe2-8b37b15e2b05 ;
    p:P279 wds:Q17163436-d8ba8412-4378-6e09-f338-218a9293dba0 ;
    p:P6366 wds:Q17163436-3497C12A-EEFA-455A-8616-5738D2A3AB6B ;
    p:P646 wds:Q17163436-48DCA11B-3409-4584-96EC-4AEDF416981F ;
    wdtn:P6366 <https://makg.org/entity/1606270> ;
    wdt:P1269 wd:Q19357621 ;
    wdt:P279 wd:Q65943 ;
    wdt:P6366 "1606270" ;
    wdt:P646 "/m/09wn6q" .