{"entities":{"Q3094141":{"pageid":3104856,"ns":120,"title":"Item:Q3094141","lastrevid":51351704,"modified":"2026-01-17T21:26:32Z","type":"item","id":"Q3094141","labels":{"en":{"language":"en","value":"Can we make the second incompleteness theorem coordinate free?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961417"}},"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":"Q3094141$E30FF74F-DAF9-4B6A-B833-FB7FBF4EA9E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e10d77994aa5e9fb08d98dbbad3f55dfe4ad4f85","datavalue":{"value":{"text":"Can We Make the Second Incompleteness Theorem Coordinate Free?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094141$D28A1F12-B7B7-4BB1-A0FF-80462BBBF0F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fad32b8f8308060fab5693de96a2234f7135e9c","datavalue":{"value":"1262.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$4E1FA4E0-4B83-4D67-B91E-E93FDB9159FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094141$5511232F-CEEC-4C56-9E9D-6EB785A8AD33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-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":"Q3094141$BA601CE6-6221-4345-809F-9C7390F0C4DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49ddef5e0cb8bb030d1d7f46ada45a4baa2adf3","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/33636","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094141$D2838D90-6A25-44ED-9938-00F272BB0E18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$D47EABE5-26B7-43ED-B5BF-5E9C45F1DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$5D7DCF89-BB4E-4F41-B31A-C1B8FC2F6C85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e07c5c38035081ce7db586f25bb418910c65b61","datavalue":{"value":"5961417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$5542D9C5-0FCF-4835-8F50-8EB3E3EAA2CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094141$4E6B3A78-1A5B-41CC-973F-466F294416BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094141$4463EFC2-D341-493D-99A8-C529FFB71A12","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":"Q3094141$F6E8C8B6-689C-48CA-AAD1-77A978C2C26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b95dd7faedb7d7035924c72c734eb8590dcd020","datavalue":{"value":"W2007738947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$455EE12D-76B7-4DB4-854D-70A764B88FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"062374d91cdce12e773bb19a65345a9f82d6b6a4","datavalue":{"value":"10.1093/LOGCOM/EXP048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094141$908F318B-D200-4E0E-92BF-2BE883538F41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094141$84419785-722D-410C-85DE-0AF4D8ABCA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd38c53ff7172fd58ae1cb772f837c49d510e38","datavalue":{"value":{"entity-type":"item","numeric-id":5221590,"id":"Q5221590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e989237f9e24a077cc65bd24e92c703fd5d5c2bc","datavalue":{"value":{"amount":"+0.7740916609764099","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":"Q3094141$2D7EF75A-9353-4C2A-91C2-303263D736BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69e6ec7d5ff90b1fecff2ba36e51fd194f8e680","datavalue":{"value":{"amount":"+0.7414005994796753","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":"Q3094141$9B78A803-AA21-4992-A309-EA677FF318DC","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":"45bdb94496ccb6969ffe99de71a32244894db58f","datavalue":{"value":{"amount":"+0.7359679937362671","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":"Q3094141$20ABACFE-086E-414F-BC11-07AF1D98697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef1cb92f16176692a1be761b05488846da6486","datavalue":{"value":{"entity-type":"item","numeric-id":4532626,"id":"Q4532626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bdb94496ccb6969ffe99de71a32244894db58f","datavalue":{"value":{"amount":"+0.7359679937362671","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":"Q3094141$5314049B-E982-4A69-9B9C-73F24562DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f4541abffea4cfd0506a08e0bbfbc0bd86ba1c","datavalue":{"value":{"entity-type":"item","numeric-id":2500470,"id":"Q2500470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839c1f0e6f30c593019b14bd8542a8d26ef07b8c","datavalue":{"value":{"amount":"+0.7331428527832031","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":"Q3094141$350AA1E9-6C5F-4101-B635-5C3AB46D0FFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094141"}}}}}