@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:Q204884 rdfs:label "Teorema de Löb"@ca,
        "Satz von Löb"@de,
        "Löb's theorem"@en,
        "teoremo de Löb"@eo,
        "teorema de Löb"@es,
        "théorème de Löb"@fr,
        "Teorema di Löb"@it,
        "レーブの定理"@ja,
        "teorema de Löb"@pt,
        "teorema de Löb"@pt-br,
        "Теорема Лёба"@ru,
        "Löb teoremi"@tr,
        "Теорема Льоба"@uk,
        "洛布定理"@zh ;
    schema1:dateModified "2025-12-24T17:50:03+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "theorem"@en,
        "Teorema matematico"@it,
        "数学基礎論の定理の一つ"@ja ;
    schema1:version 2446669876 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 9 ;
    wikibase:statements 9 ;
    skos:altLabel "Löbの定理"@ja,
        "レープの定理"@ja ;
    p:P138 wds:Q204884-57918ba3-4707-368b-d5dc-55d0bf5d06b9 ;
    p:P2534 wds:Q204884-AEB0779B-8E2E-431A-8712-4E31220A449D ;
    p:P2579 wds:Q204884-f5636149-4fcf-2d9c-c3d7-ab71cb1cbbde ;
    p:P31 wds:Q204884-A7D61599-E63A-4BE2-9DF4-045C49B2BDB8 ;
    p:P361 wds:Q204884-9754C2AB-6EFF-45D0-AEA2-C048D5B09203 ;
    p:P4215 wds:Q204884-721734A8-A0E8-415F-9AFA-4C204EB24B1F ;
    p:P6104 wds:Q204884-85788B95-B8B7-4B7F-8236-5BD7D584C67E ;
    p:P6366 wds:Q204884-C5758C73-C674-4FC4-81DF-C7FC7E6E69C3 ;
    p:P646 wds:Q204884-64F467EA-9153-481B-9D01-CDB705891602 ;
    wdtn:P6366 <https://makg.org/entity/2779353319> ;
    wdt:P138 wd:Q68539 ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mi mathvariant=\"normal\">i</mi><mi mathvariant=\"normal\">f</mi></mrow></mrow><mtext>&#160;</mtext><mi>P</mi><mi>A</mi><mo stretchy=\"false\">&#x22A2;</mo><mo stretchy=\"false\">(</mo><mi>B</mi><mi>e</mi><mi>w</mi><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x0023;</mi><mi>P</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2192;</mo><mi>P</mi><mo stretchy=\"false\">)</mo><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo>,</mo><mi mathvariant=\"normal\">t</mi><mi mathvariant=\"normal\">h</mi><mi mathvariant=\"normal\">e</mi><mi mathvariant=\"normal\">n</mi></mrow></mrow><mtext>&#160;</mtext><mi>P</mi><mi>A</mi><mo stretchy=\"false\">&#x22A2;</mo><mi>P</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q852732 ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P4215 "Löb's theorem" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2779353319" ;
    wdt:P646 "/m/0338zr" .