{"entities":{"Q3398983":{"pageid":3409686,"ns":120,"title":"Item:Q3398983","lastrevid":86886545,"modified":"2026-06-04T10:06:40Z","type":"item","id":"Q3398983","labels":{"en":{"language":"en","value":"On a Relationship between G\u00f6del's Second Incompleteness Theorem and Hilbert's Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5608736"}},"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":"Q3398983$1B69CB93-EBD1-4388-8493-BD43A608F7E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748f7d9aaddf4c3a59053dabd89f294e4f983dd2","datavalue":{"value":{"text":"On a Relationship between G\u00f6del's Second Incompleteness Theorem and Hilbert's Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3398983$FE209F56-5AAD-411F-9D94-51058081B70E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97353ae4cfcdc379f7b3f27f1f4de2fc332ed93","datavalue":{"value":"1185.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$D16C350B-EDAC-473A-84D1-6ED115D2F2B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7904a0fbe81f518d9277ca472a905d87cfae06b","datavalue":{"value":{"entity-type":"item","numeric-id":283131,"id":"Q283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398983$2B739F68-6AF8-4E10-8093-A238F2903D77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3398983$18441023-7072-496B-B640-33713808BCBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3398983$93618A7F-A439-4BA8-B7C3-3108EE038435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$5D99E00E-992D-4008-B982-78C6D4059878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$9FF6537A-42BD-45E3-88EC-3B8BF3A81E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$80628996-3410-4EDF-A706-EEE0B2D081AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30dba4c4d728b5c8703108fb48904cdeeb5ede45","datavalue":{"value":"5608736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$BDAE529C-FF41-4222-99BF-CCF6ED60E6D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398983$F2924C96-70BD-442F-B27D-A3FFF6C21A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398983$F9D4DE9C-6A7D-4685-A918-3B2716326B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398983$40A0C5F0-15DB-4BDF-BBDF-E43B1A6C2349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e90ddaa65f6143cd7da834aeb12339818a4abb","datavalue":{"value":"consistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398983$1EA24E49-FA2E-4671-B000-A842D9A88414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3398983$BE36E77D-34FC-42B9-8FAC-BA3A209C1217","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":"Q3398983$337DF239-FBE3-41CC-AF17-3178671246A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b87286e9ce5c685682bd726aecc12050e0470d6","datavalue":{"value":"https://doi.org/10.4288/jafpos.17.0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3398983$E9EEC3FA-E11E-4598-B383-15316A30E910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffd8eec11064a0c9e747f0098665b5be47e7b629","datavalue":{"value":"W180401523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$CBEFDA2F-2318-460E-9711-2B5B51726FA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248f5ce769e17aefc3fbc2791e24b9a468b6438e","datavalue":{"value":"10.4288/JAFPOS.17.0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3398983$74B34EF6-355E-4DB4-9C46-141FA668E350","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208738e88ca889c132c9a4d527b1b3fac099072d","datavalue":{"value":{"entity-type":"item","numeric-id":809063,"id":"Q809063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014aa21fe7368c76c3167d6f6e2fd4f6b3c788da","datavalue":{"value":{"amount":"+0.8164275288581848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3398983$0962A721-51C1-4372-8EF0-A9DFFBB9DBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bd94b4dee3f0beb675a427fcc8f6a2506a41af","datavalue":{"value":{"entity-type":"item","numeric-id":5869554,"id":"Q5869554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6123ab967efe52f179ee37096fdedc93f959d7","datavalue":{"value":{"amount":"+0.8151450157165527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3398983$9CCADCA8-D2ED-48FC-B4BB-E616B6D1AF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6427bbed5440ac149f64e0da2946e9279a3cba","datavalue":{"value":{"entity-type":"item","numeric-id":1100453,"id":"Q1100453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7d9e5cba4c063df5a481efd8ebd74f53e287bd","datavalue":{"value":{"amount":"+0.802324652671814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3398983$5B44BCDC-0164-4775-A33F-4F5419F59888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ae4cd618bc118c6f3b92d5a1d60c7284ecc7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5700821,"id":"Q5700821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848cf5ddac76df3bea990cdcfe057822adc56923","datavalue":{"value":{"amount":"+0.7901877164840698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3398983$BF109B8D-DBC2-4182-841F-A4E9D1FE40F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18551308a2747e4f5bcd072286ab8a810a16fa18","datavalue":{"value":{"entity-type":"item","numeric-id":2736243,"id":"Q2736243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33d7003779993e9bcd45e75e783555b982e7212","datavalue":{"value":{"amount":"+0.7810220718383789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3398983$87C8CBBE-87EE-4C0A-B66C-211368974BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a Relationship between G\u00f6del's Second Incompleteness Theorem and Hilbert's Program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_Relationship_between_G%C3%B6del%27s_Second_Incompleteness_Theorem_and_Hilbert%27s_Program"}}}}}