{"entities":{"Q4984860":{"pageid":7014437,"ns":120,"title":"Item:Q4984860","lastrevid":53976809,"modified":"2026-01-26T00:43:43Z","type":"item","id":"Q4984860","labels":{"en":{"language":"en","value":"G\u00f6del's second incompleteness theorem: how it is derived and what it delivers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7335863"}},"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":"Q4984860$E351D3FE-AF9B-4541-B2F8-B3A48FC559E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4d2b8deb6545fbeb9afad99607c18c7d118483","datavalue":{"value":{"text":"G\u00d6DEL\u2019S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4984860$CACE0429-60D4-4699-AE5E-FEC30712F6FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df1ea22c643325e9536a4362c572f9dd726f377","datavalue":{"value":"1462.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$61BA1F2F-7F8B-41FB-8DBB-D25D27304928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1c83971d160faa3e32e3b0606692b817762b53","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$77EDDD7E-FCE2-42D9-B444-8B0E1AEB88B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$F63BBF23-A136-41E3-9548-4E71330FFAF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adcdcc65558827cc34b3e4eae5025a6b9542c84d","datavalue":{"value":{"time":"+2021-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4984860$92BF6328-8D14-43F4-AEDE-1A8C532C7007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$A2E4827B-B2EF-452F-84A8-6906F5384F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$DB8CE863-70E0-4ACA-AA5C-75E3F0F0AE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$D1E69835-BAD4-40A9-885C-F99A4D353F93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a903ab484f0d2839ddb242bef16fea61e0c837b0","datavalue":{"value":"7335863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$7826AA18-DA20-43F8-B662-4450700B9D2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950291c557f1ec9615a4390b1eafc3ec5c91cc12","datavalue":{"value":"first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$97071BC3-1D54-42CE-A489-92070B21C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$44C972EB-7A9E-444E-B3B0-5396F05D23A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e6d2211936d95974498c88b65c454bd21366fe","datavalue":{"value":"G\u00f6del's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$BD46FF3D-C516-44FA-B4CE-D241E4EC422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ef012419760b8eef135ae90e71c2133244800e","datavalue":{"value":"Rosser's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$0A711E2F-FCCA-42F9-809C-E5A00A16609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178f953ea69b0b0ed18f4b3c975558101aa9f21f","datavalue":{"value":"Kleene's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$97D224A6-D25C-4C40-855B-E44CECA747FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550a61b79cc586c1320672afeeef3b8d2cdf4898","datavalue":{"value":"Chaitin's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$456BF60F-F922-4B41-85EE-2172D6E127EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5788ec08fda5a9033ae19436e2eb1fe6086ef8a","datavalue":{"value":"Boolos' proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4984860$F0F6301F-5B09-4D1E-AB00-87F25672FA71","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":"Q4984860$ADA3EE6B-75B5-4258-905B-1926B5165FBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48569ea2781845eac5081e4b91baa863df0823bb","datavalue":{"value":"https://doi.org/10.1017/bsl.2020.22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4984860$87B8FFC6-4AF7-4F06-B33E-6F9AC4FE3B38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0d59e98e8f7d23d8371b1df51f1112fa83539d9","datavalue":{"value":"W3034490412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$80D81C31-7BF2-4042-A603-823671AC5582","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39455dbe138a1f365224fbe941c6a40e1d99d34","datavalue":{"value":{"entity-type":"item","numeric-id":1181476,"id":"Q1181476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$00DE5133-4F77-4B0F-8005-64CA38404451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$1108E16C-9DD5-4D88-8A8E-FBDD91B8147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0891913663d8f8db20e51f632db652b6e8ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$6DF1C9A7-77F0-4CDE-9C67-9F40F453C30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$95A16B3E-782E-416A-B611-272FAFD16B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$4FE29790-1FD4-4247-8727-F5751302BD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$B76A5B0F-8FD2-4C5D-A488-881DFBB962A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$A64485AC-A11A-4F8A-B937-55DBC60E149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8242be0393aabdfbd870955dc6de1d3828d32","datavalue":{"value":{"entity-type":"item","numeric-id":2909753,"id":"Q2909753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$512EFF82-1F32-469D-97DF-8FF03762B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$A30A7E69-2BE6-412F-A696-664BC922A1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744b21977cc0938ff6184681d3fd88bead43f334","datavalue":{"value":{"entity-type":"item","numeric-id":2910986,"id":"Q2910986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$BA19F166-CA0C-4872-911B-960BAF0FABAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0f2e26d1a5e637b7f483d125d085e6f10f6ade","datavalue":{"value":{"entity-type":"item","numeric-id":2645094,"id":"Q2645094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$48922B58-5BBE-40C9-B862-7281714B4D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cf8006b5b4254804342bce8b0794f450e6c3c1","datavalue":{"value":{"entity-type":"item","numeric-id":5796642,"id":"Q5796642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$4ADAA962-FA1D-431F-9824-0A62BE5B3D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$6D69D3F2-82E0-45BF-9C96-B1606174A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$F8532D0F-AF08-485D-A4BC-6116D526EAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9b21eb96e11d20f783eee209a81a274ab0db64","datavalue":{"value":{"entity-type":"item","numeric-id":4775856,"id":"Q4775856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$5C8CF4D4-6F65-47AA-96A9-344498717E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cc7e9010fb06ed8988ba1658268422c6954472","datavalue":{"value":{"entity-type":"item","numeric-id":698542,"id":"Q698542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$681E1DD2-B3B6-4033-A4BE-86E2FE94C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c767e418db1d8af8bdec91cd74e3e40f63b264a","datavalue":{"value":{"entity-type":"item","numeric-id":5499600,"id":"Q5499600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$F04FB970-2B0A-49DE-AF99-CB751C2E75D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c437d18b46761a056caae2e2d677221fc9794b","datavalue":{"value":{"entity-type":"item","numeric-id":3133168,"id":"Q3133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$9FBDFEA2-3F84-4E27-BD2D-4348B22A2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac0141bc2d45e4e3b9bfd2da379b4fa14bb009","datavalue":{"value":{"entity-type":"item","numeric-id":1653263,"id":"Q1653263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$2350FE4E-03DB-4064-A5F9-8DDF96758980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$E2C07605-34CF-4B6D-84BB-69A34256E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$27A0925A-29C9-4851-B8C6-F984B4C3E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$6A4F9D44-13A9-4F5A-9726-E5D6A3B0B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaec5d9287b692425cb3430ded11ca3d1c2ad88","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$0AABE80C-2F4D-4389-BFE0-81F3D6963299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37acd84a9fbd43ed4b7df1edaa382f9ade2f0cc","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4984860$B6040136-D6E1-4D4F-97E8-DB5DFAB75A52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a2c1661e5eefda1b146c81749ee38d9650f5f01","datavalue":{"value":"10.1017/BSL.2020.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4984860$CCABE2A3-D543-4FFD-95AC-DE00EE484329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c3a93827cbe047e973bbbbd9aa48df22b4b2f3","datavalue":{"value":{"entity-type":"item","numeric-id":1653263,"id":"Q1653263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e512938f070922d7ea98e0a7d27208272afcb317","datavalue":{"value":{"amount":"+0.8088233470916748","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":"Q4984860$7DBEAA3F-5792-4B5B-B5DE-F287A76C2CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14648fd79cba6f65665498fad5e2723d4189e83b","datavalue":{"value":{"amount":"+0.7918091416358948","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":"Q4984860$719AB217-890D-4711-A466-FB7BA5D38F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63adca5093fcab5e746233f7e873de0c0cdf4770","datavalue":{"value":{"entity-type":"item","numeric-id":3010559,"id":"Q3010559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7516d9e549f449006d332e360ef777bf427b46","datavalue":{"value":{"amount":"+0.7917094230651855","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":"Q4984860$2FA30CE6-572A-4D3E-8B21-D016D493E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae792a5fd4af40dffcdacc49c1dd7b18c9c35aa2","datavalue":{"value":{"amount":"+0.7914835214614868","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":"Q4984860$53F35C68-7DAB-4089-B786-0EF2B25480D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5018a9e182e3ad69af540739373d49d1cae1857b","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae792a5fd4af40dffcdacc49c1dd7b18c9c35aa2","datavalue":{"value":{"amount":"+0.7914835214614868","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":"Q4984860$6CF89F9E-287E-46A0-98EF-8F13160C3977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4984860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4984860"}}}}}