@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:Q5626450 rdfs:label "teorema d'acceleració de Gödel"@ca,
        "Gödel's speed-up theorem"@en,
        "théorème d'accélération de Gödel"@fr,
        "ゲーデルの加速定理"@ja,
        "Teorema da Aceleração de Gödel"@pt,
        "Gödlov izrek o pospešitvi"@sl,
        "哥德爾加速定理"@zh ;
    schema1:dateModified "2025-07-18T22:49:53+00:00"^^xsd:dateTime ;
    schema1:description "theorem on proofs and axiomatic systems"@en,
        "théorème sur la taille des preuves dans un système formel et des systèmes formel plus puissant"@fr ;
    schema1:version 2381501648 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 4 ;
    wikibase:statements 6 ;
    skos:altLabel "Théorème d'accélération de Gödel"@fr,
        "Gödelov izrek o pospešitvi"@sl ;
    p:P138 wds:q5626450-e69d3a59-4573-ce41-910a-07d19026a597 ;
    p:P31 wds:Q5626450-ddea5f5a-4dcb-4a2c-e746-36f81446d675 ;
    p:P361 wds:Q5626450-f5db86d7-47a1-f3a3-5e2b-a8bbee9275d6 ;
    p:P6104 wds:Q5626450-CB0335B6-CE62-4670-B565-939D274A8410 ;
    p:P6366 wds:Q5626450-D80D086F-B3B2-4DA7-88A1-3E6F40255A4F ;
    p:P646 wds:Q5626450-CF94C146-2DD7-4DCB-AAD6-C122A16BCBF8 ;
    wdtn:P6366 <https://makg.org/entity/2779754291> ;
    wdt:P138 wd:Q41390 ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q852732 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2779754291" ;
    wdt:P646 "/m/0h63wpy" .