{"entities":{"Q1732059":{"pageid":1742800,"ns":120,"title":"Item:Q1732059","lastrevid":68924469,"modified":"2026-04-13T03:08:41Z","type":"item","id":"Q1732059","labels":{"en":{"language":"en","value":"Axiomatizing provable \\(n\\)-provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036528"}},"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":"Q1732059$15194D68-4C74-4D66-A78C-54DCA805EBD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14197daed23a049387c5747d023ac22d99a72cb","datavalue":{"value":{"text":"Axiomatizing provable \\(n\\)-provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1732059$10C1ED8C-D7C8-4117-859D-C5996FD1B1FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11b99004078e4b2601462fef49565cc7f8d63c84","datavalue":{"value":"1484.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$0D3BE95B-73ED-4D49-9C92-EEB0400E9906","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34b3be6626d0a98b96790da91fe7e3bfd396ed9b","datavalue":{"value":"10.1134/S1064562418070153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$8A326686-FE53-4DD4-A12F-54BCAD25AEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb227a0b57be51a44a61d42029b2e1bbb007c7f0","datavalue":{"value":{"entity-type":"item","numeric-id":295673,"id":"Q295673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$26BB8D4E-98EC-454F-BACE-C4F7353CAAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$E2B88C9E-00C3-438A-A2E8-73D461031147","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$F6B6A0F0-64F3-4A42-ABA4-E8C608DBB2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99a99d302fa341637847c5e280e86ffac68daf0","datavalue":{"value":{"time":"+2019-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1732059$5A930FBF-7862-4B26-9964-E49E892DCDFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$5EC4CED6-2571-4EA6-B653-679C658B5CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$D701063B-B722-400A-BEBF-27F3AC43C488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cfeb39d53c6f10add6138abf72f1b0972637154","datavalue":{"value":"7036528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$22964957-5F05-4651-94AB-47785A15B21A","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":"Q1732059$1ECFCEFB-1F09-4321-B1D1-EFB94F7ED34B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$6DE881E5-41A0-422F-8DB4-79EEEC53235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$E6910A6E-3AAB-45A0-BF12-35BA602F2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$7B8CCDA8-D7C7-4801-9B96-D2CEF298F839","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":"Q1732059$6782D50D-55BE-4C21-A162-F56ABD2C8FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd53877802138e1f68e602e783385eaa725cff0","datavalue":{"value":{"entity-type":"item","numeric-id":2566065,"id":"Q2566065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$50C3A05B-6E1E-4249-90BC-5CB011AE7642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bb124e0e0abd7bc878aa66fe5bf61aa285a1af","datavalue":{"value":{"entity-type":"item","numeric-id":2350971,"id":"Q2350971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$0E586DE5-B2FE-4D62-8018-81B9B0FC6C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$B8B888C6-59FC-4DC8-96D7-788A65D8651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$6BC985BF-C21B-4157-AA3D-5CA8CB038AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$233272E8-740E-43DD-958E-F5FAFAC9E43A","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":"Q1732059$BCC47564-56BA-4870-9095-872D810AED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732059$09729A6D-BD76-48AD-9074-8A1F695C203D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9737e4830ad9a884dadb34326d16f3f1244183e2","datavalue":{"value":"https://doi.org/10.1134/s1064562418070153","type":"string"},"datatype":"url"},"type":"statement","id":"Q1732059$2D9D5B79-3EBD-49EE-8221-9A2193ABDC3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7e261630f5da356a573a13b476035327c89090e","datavalue":{"value":"W2963720101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732059$E57DE8E3-0501-46E4-93BD-8DFF962751FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82a17d63f21420ccb321b5f26f5eae38325974f","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5ff924eabd0f5d74c80465fffe4286ff642984","datavalue":{"value":{"amount":"+0.9469293355941772","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":"Q1732059$22EBC1BE-4547-4165-8366-30B1C1DB23C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a162ec4a2f7e470aacab7c6700fa892f6b52dce4","datavalue":{"value":{"entity-type":"item","numeric-id":3804701,"id":"Q3804701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5417221e5e706bbb98a006cd116b5e8ca59b8c","datavalue":{"value":{"amount":"+0.8874797224998474","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":"Q1732059$C76958B1-FB94-4736-8807-78E8015F27BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d981fc87965e0638d21cdf8cb35197c7a370ccce","datavalue":{"value":{"amount":"+0.7964735627174377","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":"Q1732059$44DD56E8-9EEC-4518-B38C-F2383DA0AE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce759c71a85d3d20f0cc9db40870d76b6903219c","datavalue":{"value":{"entity-type":"item","numeric-id":3362800,"id":"Q3362800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26a84d8db50e21822eca5ab132cb633be00eccd","datavalue":{"value":{"amount":"+0.7566649317741394","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":"Q1732059$2228B123-70F0-48AA-BB9A-A73B7475F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640f63fa73f27ee5061aeb4b8a33db0e33609224","datavalue":{"value":{"entity-type":"item","numeric-id":2204378,"id":"Q2204378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82ed8fd34702502642c4e8dcaceabb87664008b","datavalue":{"value":{"amount":"+0.7549443244934082","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":"Q1732059$107D2342-43F8-41D1-AB83-58FE3F269B5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing provable \\(n\\)-provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_provable_%5C(n%5C)-provability"}}}}}