@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:Q5533794 rdfs:label "demostració de consistència de Gentzen"@ca,
        "Gentzen's consistency proof"@en,
        "pruvo de Gentzen pri la kohereco de aritmetiko"@eo,
        "demostración de consistencia de Gentzen"@es,
        "ゲンツェンの定理"@ja,
        "겐첸의 일관성 증명"@ko,
        "demonstração de consistência de Gentzen"@pt,
        "demonstração de consistência de Gentzen"@pt-br ;
    schema1:dateModified "2026-03-18T20:11:45+00:00"^^xsd:dateTime ;
    schema1:description "concepte lògic matemàtic"@ca,
        "mathematical logic concept"@en,
        "conceito de lógica matemática"@pt,
        "conceito de lógica matemática"@pt-br ;
    schema1:version 2473378961 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 3 ;
    wikibase:statements 3 ;
    skos:altLabel "ゲンツェンによる無矛盾性の証明"@ja,
        "ゲンツェンの無矛盾性証明"@ja ;
    p:P31 wds:Q5533794-5549510c-46af-297a-42c6-7409018bb44b ;
    p:P6366 wds:Q5533794-41136C00-53CA-4CEF-9695-687BDB6A7DC2 ;
    p:P646 wds:Q5533794-FFFF12D7-D1E5-4CE3-93D9-5F0522890BAB ;
    wdtn:P6366 <https://makg.org/entity/111687232> ;
    wdt:P31 wd:Q24034552 ;
    wdt:P6366 "111687232" ;
    wdt:P646 "/m/0bgwt8" .