FRINK Linked Data Fragments server

Matches in Wikidata for { <http://www.wikidata.org/entity/Q1451046> ?p ?o ?g. }

• Q1451046 description "Begriff aus der Mathematik" @default.
• Q1451046 description "assignment of each symbol and well-formed formula of a formal language a unique natural number" @default.
• Q1451046 description "fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique" @default.
• Q1451046 description "termine" @default.
• Q1451046 description "Функция, сопоставляющая номер каждому объекту формального языка" @default.
• Q1451046 description "מונח בלוגיקה מתמטית" @default.
• Q1451046 description "收錄" @default.
• Q1451046 description "数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数" @default.
• Q1451046 name "Gödel numbering" @default.
• Q1451046 name "Gödel-numerado" @default.
• Q1451046 name "Gödelnumerering" @default.
• Q1451046 name "Gödelnummer" @default.
• Q1451046 name "Gödelnummer" @default.
• Q1451046 name "Gödelovo číslování" @default.
• Q1451046 name "Gödel號數" @default.
• Q1451046 name "Gödlovo število" @default.
• Q1451046 name "nombre de Gödel" @default.
• Q1451046 name "numeración de Gödel" @default.
• Q1451046 name "numero di Gödel" @default.
• Q1451046 name "número de Gödel" @default.
• Q1451046 name "número de Gödel" @default.
• Q1451046 name "énumération de Gödel" @default.
• Q1451046 name "Αρίθμηση Γκέντελ" @default.
• Q1451046 name "Нумерация Гёделя" @default.
• Q1451046 name "Нумерація Ґьоделя" @default.
• Q1451046 name "קידוד גדל" @default.
• Q1451046 name "গ্যোডেল সংখ্যা" @default.
• Q1451046 name "ゲーデル数" @default.
• Q1451046 name "哥德尔数" @default.
• Q1451046 type Item @default.
• Q1451046 label "Gödel numbering" @default.
• Q1451046 label "Gödel-numerado" @default.
• Q1451046 label "Gödelnumerering" @default.
• Q1451046 label "Gödelnummer" @default.
• Q1451046 label "Gödelnummer" @default.
• Q1451046 label "Gödelovo číslování" @default.
• Q1451046 label "Gödel號數" @default.
• Q1451046 label "Gödlovo število" @default.
• Q1451046 label "nombre de Gödel" @default.
• Q1451046 label "numeración de Gödel" @default.
• Q1451046 label "numero di Gödel" @default.
• Q1451046 label "número de Gödel" @default.
• Q1451046 label "número de Gödel" @default.
• Q1451046 label "énumération de Gödel" @default.
• Q1451046 label "Αρίθμηση Γκέντελ" @default.
• Q1451046 label "Нумерация Гёделя" @default.
• Q1451046 label "Нумерація Ґьоделя" @default.
• Q1451046 label "קידוד גדל" @default.
• Q1451046 label "গ্যোডেল সংখ্যা" @default.
• Q1451046 label "ゲーデル数" @default.
• Q1451046 label "哥德尔数" @default.
• Q1451046 altLabel "Gödelovo číslo" @default.
• Q1451046 altLabel "Γκεντελοποίηση" @default.
• Q1451046 altLabel "מספור גדל" @default.
• Q1451046 prefLabel "Gödel numbering" @default.
• Q1451046 prefLabel "Gödel-numerado" @default.
• Q1451046 prefLabel "Gödelnumerering" @default.
• Q1451046 prefLabel "Gödelnummer" @default.
• Q1451046 prefLabel "Gödelnummer" @default.
• Q1451046 prefLabel "Gödelovo číslování" @default.
• Q1451046 prefLabel "Gödel號數" @default.
• Q1451046 prefLabel "Gödlovo število" @default.
• Q1451046 prefLabel "nombre de Gödel" @default.
• Q1451046 prefLabel "numeración de Gödel" @default.
• Q1451046 prefLabel "numero di Gödel" @default.
• Q1451046 prefLabel "número de Gödel" @default.
• Q1451046 prefLabel "número de Gödel" @default.
• Q1451046 prefLabel "énumération de Gödel" @default.
• Q1451046 prefLabel "Αρίθμηση Γκέντελ" @default.
• Q1451046 prefLabel "Нумерация Гёделя" @default.
• Q1451046 prefLabel "Нумерація Ґьоделя" @default.
• Q1451046 prefLabel "קידוד גדל" @default.
• Q1451046 prefLabel "গ্যোডেল সংখ্যা" @default.
• Q1451046 prefLabel "ゲーデル数" @default.
• Q1451046 prefLabel "哥德尔数" @default.
• Q1451046 P10376 Q1451046-01e7e3c9-4f44-0c99-95fb-69aceff53865 @default.
• Q1451046 P1269 Q1451046-fde5ce09-454d-2848-1f87-8f21ffbd83a6 @default.
• Q1451046 P138 q1451046-4bc1890f-4bd0-f582-e699-b45f582381a1 @default.
• Q1451046 P1417 Q1451046-F04EDD81-0719-4DEA-B3D3-F688A33A9582 @default.
• Q1451046 P244 Q1451046-AE67DDFC-6C88-4046-978A-7A30A5F9BFDB @default.
• Q1451046 P2534 Q1451046-5863C791-F599-4B52-956B-1FD9F88146EE @default.
• Q1451046 P31 Q1451046-0aced518-4994-3fc7-4295-08178e92cd97 @default.
• Q1451046 P31 Q1451046-1ddcdde4-41d4-5d35-b865-60e83209c3d4 @default.
• Q1451046 P361 Q1451046-82866652-4f41-9c16-ad01-2a1d3529e412 @default.
• Q1451046 P4215 Q1451046-2EBCAEFB-84A9-471A-8F8E-658ECDB919A9 @default.
• Q1451046 P5869 Q1451046-0d7d6237-4f2a-e910-83fa-b382bdfa884d @default.
• Q1451046 P5869 Q1451046-a426a825-4fe6-e915-3367-6bac205eecc2 @default.
• Q1451046 P6104 Q1451046-82E48937-099F-4CCA-B045-3FEBBD6B740F @default.
• Q1451046 P6366 Q1451046-A5A75B2E-A930-4F54-BCFA-8281BA6C6EAB @default.
• Q1451046 P646 Q1451046-9058C1E1-7BA5-4214-9E18-5B13431A6659 @default.
• Q1451046 P8189 Q1451046-19FA2DA7-206E-431E-98C7-D3A9CB93521B @default.
• Q1451046 P244 sh85055600 @default.
• Q1451046 P6366 187540678 @default.
• Q1451046 P10376 "mathematics/godel-number" @default.
• Q1451046 P1269 Q77839244 @default.
• Q1451046 P138 Q41390 @default.
• Q1451046 P1417 "topic/Godel-number" @default.
• Q1451046 P244 "sh85055600" @default.
• Q1451046 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \mathrm {enc} (x_{1},x_{2},x_{3},\dots ,x_{n})=2^{x_{1}}\cdot 3^{x_{2}}\cdot 5^{x_{3}}\cdots p_{n}^{x_{n}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">e</mi> <mi mathvariant="normal">n</mi> <mi mathvariant="normal">c</mi> </mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> <mo>,</mo> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>2</mn> </mrow> </msub> <mo>,</mo> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>3</mn> </mrow> </msub> <mo>,</mo> <mo>&#x2026;<!-- … --></mo> <mo>,</mo> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <msup> <mn>2</mn> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> </mrow> </msup> <mo>&#x22C5;<!-- ⋅ --></mo> <msup> <mn>3</mn> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>2</mn> </mrow> </msub> </mrow> </msup> <mo>&#x22C5;<!-- ⋅ --></mo> <msup> <mn>5</mn> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>3</mn> </mrow> </msub> </mrow> </msup> <mo>&#x22EF;<!-- ⋯ --></mo> <msubsup> <mi>p</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> </mrow> </msubsup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \mathrm {enc} (x_{1},x_{2},x_{3},\dots ,x_{n})=2^{x_{1}}\cdot 3^{x_{2}}\cdot 5^{x_{3}}\cdots p_{n}^{x_{n}}}</annotation> </semantics> </math>" @default.
• Q1451046 P31 Q18653 @default.

• next