Matches in Wikidata for { <http://www.wikidata.org/entity/Q204884> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- Q204884 description "mathematischer Satz" @default.
- Q204884 description "theorem" @default.
- Q204884 name "Löb's theorem" @default.
- Q204884 name "Löbの定理" @default.
- Q204884 name "Satz von Löb" @default.
- Q204884 name "Teorema de Löb" @default.
- Q204884 name "Teorema di Löb" @default.
- Q204884 name "teorema de Löb" @default.
- Q204884 name "teorema de Löb" @default.
- Q204884 name "teorema de Löb" @default.
- Q204884 name "teoremo de Löb" @default.
- Q204884 name "théorème de Löb" @default.
- Q204884 name "Теорема Льоба" @default.
- Q204884 name "Теорема Лёба" @default.
- Q204884 name "洛布定理" @default.
- Q204884 type Item @default.
- Q204884 label "Löb's theorem" @default.
- Q204884 label "Löbの定理" @default.
- Q204884 label "Satz von Löb" @default.
- Q204884 label "Teorema de Löb" @default.
- Q204884 label "Teorema di Löb" @default.
- Q204884 label "teorema de Löb" @default.
- Q204884 label "teorema de Löb" @default.
- Q204884 label "teorema de Löb" @default.
- Q204884 label "teoremo de Löb" @default.
- Q204884 label "théorème de Löb" @default.
- Q204884 label "Теорема Льоба" @default.
- Q204884 label "Теорема Лёба" @default.
- Q204884 label "洛布定理" @default.
- Q204884 altLabel "レープの定理" @default.
- Q204884 prefLabel "Löb's theorem" @default.
- Q204884 prefLabel "Löbの定理" @default.
- Q204884 prefLabel "Satz von Löb" @default.
- Q204884 prefLabel "Teorema de Löb" @default.
- Q204884 prefLabel "Teorema di Löb" @default.
- Q204884 prefLabel "teorema de Löb" @default.
- Q204884 prefLabel "teorema de Löb" @default.
- Q204884 prefLabel "teorema de Löb" @default.
- Q204884 prefLabel "teoremo de Löb" @default.
- Q204884 prefLabel "théorème de Löb" @default.
- Q204884 prefLabel "Теорема Льоба" @default.
- Q204884 prefLabel "Теорема Лёба" @default.
- Q204884 prefLabel "洛布定理" @default.
- Q204884 P138 Q204884-57918ba3-4707-368b-d5dc-55d0bf5d06b9 @default.
- Q204884 P2534 Q204884-AEB0779B-8E2E-431A-8712-4E31220A449D @default.
- Q204884 P31 Q204884-A7D61599-E63A-4BE2-9DF4-045C49B2BDB8 @default.
- Q204884 P4215 Q204884-721734A8-A0E8-415F-9AFA-4C204EB24B1F @default.
- Q204884 P6104 Q204884-85788B95-B8B7-4B7F-8236-5BD7D584C67E @default.
- Q204884 P6366 Q204884-C5758C73-C674-4FC4-81DF-C7FC7E6E69C3 @default.
- Q204884 P646 Q204884-64F467EA-9153-481B-9D01-CDB705891602 @default.
- Q204884 P6366 2779353319 @default.
- Q204884 P138 Q68539 @default.
- Q204884 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \mathrm {if} \ PA\vdash (Bew(\#P)\rightarrow P)\mathrm {,then} \ PA\vdash P}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">i</mi> <mi mathvariant="normal">f</mi> </mrow> <mtext> </mtext> <mi>P</mi> <mi>A</mi> <mo>⊢<!-- ⊢ --></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 class="MJX-TeXAtom-ORD"> <mo>,</mo> <mi mathvariant="normal">t</mi> <mi mathvariant="normal">h</mi> <mi mathvariant="normal">e</mi> <mi mathvariant="normal">n</mi> </mrow> <mtext> </mtext> <mi>P</mi> <mi>A</mi> <mo>⊢<!-- ⊢ --></mo> <mi>P</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \mathrm {if} \ PA\vdash (Bew(\#P)\rightarrow P)\mathrm {,then} \ PA\vdash P}</annotation> </semantics> </math>" @default.
- Q204884 P31 Q65943 @default.
- Q204884 P4215 "Löb's theorem" @default.
- Q204884 P6104 Q8487137 @default.
- Q204884 P6366 "2779353319" @default.
- Q204884 P646 "/m/0338zr" @default.