{"entities":{"Q2590255":{"pageid":2600998,"ns":120,"title":"Item:Q2590255","lastrevid":44415297,"modified":"2025-11-22T19:05:21Z","type":"item","id":"Q2590255","labels":{"en":{"language":"en","value":"A formal proof of G\u00f6del's theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2509694"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590255$0EBE8A57-324A-4CF2-AC76-3BAC56670994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a90361b5017a067a14ec04084bce55d29440cd84","datavalue":{"value":{"text":"A formal proof of G\u00f6del's theorem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590255$C7B17715-68C5-49FC-8151-8F9598EA37BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"107c94015bebd0c105414506364336cfde0abc08","datavalue":{"value":"65.0027.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590255$F795EDFE-6E9A-4D6F-8D7F-2D5AD0BADC43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bebe63d4785cf4b3b3a2a62fc82ad4069fee8bac","datavalue":{"value":"10.2307/2269060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590255$5CB84366-D14C-41A5-8778-830D6045D650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2590255$02E0B2E4-5034-4E52-A5EA-5BEBCE7778A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"325029351e7b8379234f5f04c88eebb09a3fec0f","datavalue":{"value":"Enth\u00e4lt einen formalen Beweis f\u00fcr die beiden \\textit{G\u00f6del}schen Theoreme (Mh. Math. Physik 38 (1931), 173-198; F. d. M. \\(57_{\\text{I}}\\), 54) mit den Mitteln der \\textit{Chwistek}schen formalen Metamathematik.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590255$3C592628-7E38-419A-AFBC-554ABCAA4BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a202ea08e1d010ba57693732704970ace1437e","datavalue":{"value":"2509694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590255$344BC220-4359-4ED4-BE64-D82EBA23185C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a3fcdebcea12ce05f5175a4cee5b4b2f63502e","datavalue":{"value":{"entity-type":"item","numeric-id":1565789,"id":"Q1565789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590255$26D7A92F-097A-4D38-A44A-66F0001B1CCF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590255$8A828DA3-2FD2-48CD-B6A9-C716A9D4F85F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a27707c3979e64a56fbe922d0264bc7110b7a1c8","datavalue":{"value":"https://doi.org/10.2307/2269060","type":"string"},"datatype":"url"},"type":"statement","id":"Q2590255$F07E5DE1-85A0-4850-840E-9103279C722C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f19a335492416ae9912ab1fc74bc8313acf2493b","datavalue":{"value":"W2106487865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590255$A91721E4-D450-4143-8AF5-7789E4C333A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590255$5CFB39D2-1271-46D1-997D-88C18BA16259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590255"}}}}}