Matches in Wikidata for { <http://www.wikidata.org/entity/Q852580> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- Q852580 description "dimostrazione matematica" @default.
- Q852580 description "démonstration mathématique" @default.
- Q852580 description "proof sketch" @default.
- Q852580 description "Übersicht der Beweise für die gödelschen Unvollständigkeitssätze" @default.
- Q852580 name "Beweise der Gödelschen Unvollständigkeitssätze" @default.
- Q852580 name "proof sketch for Gödel's first incompleteness theorem" @default.
- Q852580 name "Начерк доведення першої теореми Геделя про неповноту" @default.
- Q852580 type Item @default.
- Q852580 label "Beweise der Gödelschen Unvollständigkeitssätze" @default.
- Q852580 label "proof sketch for Gödel's first incompleteness theorem" @default.
- Q852580 label "Начерк доведення першої теореми Геделя про неповноту" @default.
- Q852580 prefLabel "Beweise der Gödelschen Unvollständigkeitssätze" @default.
- Q852580 prefLabel "proof sketch for Gödel's first incompleteness theorem" @default.
- Q852580 prefLabel "Начерк доведення першої теореми Геделя про неповноту" @default.
- Q852580 P2534 Q852580-45248C80-AAB0-47BC-96A3-273234169DCE @default.
- Q852580 P31 Q852580-5bd4730f-4a3b-f56d-6fdf-4f5700295d72 @default.
- Q852580 P6104 Q852580-24801009-4360-42EB-ABC1-929C06CDC125 @default.
- Q852580 P6366 Q852580-F88A75EB-D1DA-4675-A498-F0A0ED013B34 @default.
- Q852580 P646 Q852580-B1FC3386-49B9-4D15-8F45-32461EEF2281 @default.
- Q852580 P921 Q852580-1ef8fc33-4a16-596f-f2ec-4a7db940b419 @default.
- Q852580 P6366 196453473 @default.
- Q852580 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle P(G(P))=\forall y\,q(y,G(P))}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>y</mi> <mspace width="thinmathspace" /> <mi>q</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle P(G(P))=\forall y\,q(y,G(P))}</annotation> </semantics> </math>" @default.
- Q852580 P31 Q11538 @default.
- Q852580 P6104 Q8487137 @default.
- Q852580 P6366 "196453473" @default.
- Q852580 P646 "/m/027z7hl" @default.
- Q852580 P921 Q41390 @default.