| rdfs:label |
"Löb's theorem"@en
|
|
skos:alt |
"Löbの定理"@ja |
| "レープの定理"@ja | |
| schema:description |
"theorem"@en
|
|
schema:date |
"2025-12-24T17:50:03+00:00"^^xsd:dateTime |
| schema:version | 2446669876 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 9 |
| wikibase:statements | 9 |
| p:P138 | wd:statement/Q204884-57918ba3-4707-368b-d5dc-55d0bf5d06b9 |
| p:P2534 | wd:statement/Q204884-AEB0779B-8E2E-431A-8712-4E31220A449D |
| p:P2579 | wd:statement/Q204884-f5636149-4fcf-2d9c-c3d7-ab71cb1cbbde |
| p:P31 | wd:statement/Q204884-A7D61599-E63A-4BE2-9DF4-045C49B2BDB8 |
| p:P361 | wd:statement/Q204884-9754C2AB-6EFF-45D0-AEA2-C048D5B09203 |
| p:P4215 | wd:statement/Q204884-721734A8-A0E8-415F-9AFA-4C204EB24B1F |
| p:P6104 | wd:statement/Q204884-85788B95-B8B7-4B7F-8236-5BD7D584C67E |
| p:P6366 | wd:statement/Q204884-C5758C73-C674-4FC4-81DF-C7FC7E6E69C3 |
| p:P646 | wd:statement/Q204884-64F467EA-9153-481B-9D01-CDB705891602 |
|
p:direct- |
<https:/ |
| wdt:P138 | Martin Löb |
| 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> </mtext><mi>P</mi><mi>A</mi><mo stretchy="false">⊢</mo><mo stretchy="false">(</mo><mi>B</mi><mi>e</mi><mi>w</mi><mo stretchy="false">(</mo><mi mathvariant="normal">#</mi><mi>P</mi><mo stretchy="false">)</mo><mo stretchy="false">→</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> </mtext><mi>P</mi><mi>A</mi><mo stretchy="false">⊢</mo><mi>P</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2579 | proof theory |
| wdt:P31 | theorem |
| wdt:P361 | list of theorems |
| wdt:P4215 | "Löb's theorem" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2779353319" |
| wdt:P646 | "/m/0338zr" |
Download as: