Matches in Wikidata for { <http://www.wikidata.org/entity/Q867839> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- Q867839 description "mathematischer Satz" @default.
- Q867839 description "theorem" @default.
- Q867839 name "Rosser's theorem" @default.
- Q867839 name "Rossers teorem" @default.
- Q867839 name "Teorema Rosser" @default.
- Q867839 name "teorema de Rosser" @default.
- Q867839 name "teorema de Rosser" @default.
- Q867839 name "teoremo de Rosser" @default.
- Q867839 name "théorème de Rosser" @default.
- Q867839 name "قضیه راسر" @default.
- Q867839 name "مبرهنة روسر" @default.
- Q867839 name "ロッサーの定理" @default.
- Q867839 name "로서의 정리" @default.
- Q867839 type Item @default.
- Q867839 label "Rosser's theorem" @default.
- Q867839 label "Rossers teorem" @default.
- Q867839 label "Teorema Rosser" @default.
- Q867839 label "teorema de Rosser" @default.
- Q867839 label "teorema de Rosser" @default.
- Q867839 label "teoremo de Rosser" @default.
- Q867839 label "théorème de Rosser" @default.
- Q867839 label "قضیه راسر" @default.
- Q867839 label "مبرهنة روسر" @default.
- Q867839 label "ロッサーの定理" @default.
- Q867839 label "로서의 정리" @default.
- Q867839 prefLabel "Rosser's theorem" @default.
- Q867839 prefLabel "Rossers teorem" @default.
- Q867839 prefLabel "Teorema Rosser" @default.
- Q867839 prefLabel "teorema de Rosser" @default.
- Q867839 prefLabel "teorema de Rosser" @default.
- Q867839 prefLabel "teoremo de Rosser" @default.
- Q867839 prefLabel "théorème de Rosser" @default.
- Q867839 prefLabel "قضیه راسر" @default.
- Q867839 prefLabel "مبرهنة روسر" @default.
- Q867839 prefLabel "ロッサーの定理" @default.
- Q867839 prefLabel "로서의 정리" @default.
- Q867839 P138 Q867839-5dae35d4-4c0d-ce76-1121-dcc6290d7e67 @default.
- Q867839 P2534 Q867839-a45379cc-498a-f8a7-8c9a-b5cef3aec256 @default.
- Q867839 P2812 Q867839-7B4B3A2A-D7FD-49BF-8828-D37030763916 @default.
- Q867839 P31 Q867839-6CD48A8E-4A75-4713-AAD2-529DCBBA6EE2 @default.
- Q867839 P6104 Q867839-C59DE4C4-51AA-4AA9-A0E8-DA1361F95503 @default.
- Q867839 P646 Q867839-89820C54-66FC-4B22-BD93-C3C3B520C16C @default.
- Q867839 P7235 Q867839-288a67fb-4025-6f82-1f6e-0077f291dacf @default.
- Q867839 P7235 Q867839-5b70a0a6-4f2f-412e-db72-79b5d876a541 @default.
- Q867839 P7235 Q867839-9c7d4271-4aba-63a9-8cf2-07502a89e360 @default.
- Q867839 P138 Q332905 @default.
- Q867839 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle p_{n}>n\log n}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>p</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo>></mo> <mi>n</mi> <mi>log</mi> <mo>⁡<!-- --></mo> <mi>n</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p_{n}>n\log n}</annotation> </semantics> </math>" @default.
- Q867839 P2812 "RossersTheorem" @default.
- Q867839 P31 Q65943 @default.
- Q867839 P6104 Q8487137 @default.
- Q867839 P646 "/m/06rq4q" @default.
- Q867839 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \log }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>log</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \log }</annotation> </semantics> </math>" @default.
- Q867839 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle n}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>n</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle n}</annotation> </semantics> </math>" @default.
- Q867839 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle p_{n}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>p</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p_{n}}</annotation> </semantics> </math>" @default.