{"entities":{"Q456968":{"pageid":458735,"ns":120,"title":"Item:Q456968","lastrevid":61977117,"modified":"2026-04-11T02:56:08Z","type":"item","id":"Q456968","labels":{"en":{"language":"en","value":"On provability logics with linearly ordered modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348342"}},"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":"Q456968$546C946A-9B9D-48B0-8B38-39514C87A8D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ffd14bef6137a8df5cdf72c6e8e5125ec262dc2","datavalue":{"value":{"text":"On provability logics with linearly ordered modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456968$D6DCEBAD-F78F-45A8-B1CB-DD75FE4CBB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef476b608ccdc297a27dfebd1c71cd3963e18eb2","datavalue":{"value":"1322.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$58DDA121-0247-452D-9D69-5C17A69D0BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$906351BE-E081-4FDA-82EF-D1772EEAB409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$D3CC44B1-0315-4AA6-B6D9-0B0E47877CB7","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":"Q456968$19B06089-F51B-474C-9990-05A4CA823088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$59AB7F59-03B7-4AD8-9FBD-9C8648402B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456968$5FEE7CA8-5F59-469E-BC52-08815BF92320","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6915a33b696795ac71c9c0b729ca83be0ad445a5","datavalue":{"value":"https://arxiv.org/abs/1210.4809","type":"string"},"datatype":"url"},"type":"statement","id":"Q456968$E42D4893-6831-42EE-A3D6-4ED1ACE0C2F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d8b1831c69308d5a4f430d4e976882cb485b58f","datavalue":{"value":"\\textit{G. Japaridze} introduced polymodal provability logic {GLP} [Modal-logical means of studying provability. Moscow: Moscow State Univ. (Diss.) (1986)]. The language of {GLP} extends that of classical propositional logic by unary modalities [\\(n\\)], for each \\(n\\in \\omega.\\) The arithmetical interpretation of a formula \\([n]\\varphi\\) is ``\\(\\varphi\\) is provable from the axioms of Peano arithmetic together with all true arithmetical \\(\\Pi_n\\)-sentences''. Roughly speaking, {GLP} grasps the modal properties of the formal arithmetic with the \\(\\omega\\)-rule. Later, \\textit{K. N. Ignatiev} [J. Symb. Log. 58, No. 1, 249--290 (1993; Zbl 0795.03082)] developed Japaridze's results about {GLP} for more general theories. The system {GLP} was used as a basis for a simple proof-theoretic analysis of Peano arithmetic [\\textit{L. D. Beklemishev}, Ann. Pure Appl. Logic 128, No. 1--3, 103--123 (2004; Zbl 1048.03045)]. Beklemishev introduced the logics {GLP}\\(_\\Lambda\\) in 2005 as a generalization of Japaridze's logic. If \\(\\Lambda\\) is any linearly ordered set the G\u00f6del-L\u00f6b logic {GLP}\\(_\\Lambda\\) contains one modality \\([\\alpha]\\) for each ordinal \\(\\alpha<\\Lambda.\\) Japaridze's system {GLP} is in fact the logic {GLP}\\(_\\omega.\\) The system {GLP}\\(_\\Lambda\\) has no non-trivial Kripke models, but \\textit{K. N. Ignatiev} [Ann. Pure Appl. Logic 64, No. 1, 1--25 (1993; Zbl 0802.03014)] showed that its closed fragment {GLP}\\(_\\Lambda^0\\) does. In the paper under review a normal form theorem for {GLP}\\(_\\Lambda^0\\) is proved. Further, a restricted axiomatization of {GLP}\\(_\\Lambda^0\\) is provided. At the end, the decidability of {GLP}\\(_\\Lambda^0\\) for recursive orderings \\(\\Lambda\\) is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456968$3AFE9E85-4DFC-4FA4-830A-76BFAD9F9BCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$2F56A18E-4665-4B56-A56C-4E8C2B5779CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$4E6C87EB-30CB-41A4-A6D5-A7C4A215CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$80CD0473-B9E6-4289-BE90-871A28CDBAD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf88a40958c131252d85a54391c2f21bbe01112","datavalue":{"value":"6348342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$AFBFAE40-A524-433B-A195-9A15E22682B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456968$46DD9EFB-6C60-4ACE-B657-C122D9E31F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456968$DF6B56C2-4023-4136-A82A-27E2C9C4D70F","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":"Q456968$55DBE1F1-1B4B-4C12-A3F6-C31207A73EDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9cc42330ec693efc41ec0315bd346143a724905","datavalue":{"value":"W2034453867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$18BA6095-48F5-4F45-9308-9E4DED3293A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43f05430540f3080b56135e825b411a0b44e4019","datavalue":{"value":"Q58883282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$AABA6F48-5D97-4E11-909D-9B5A630A11FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"619a199d9f4fe2f8dde9e1b533b50958d1d9e435","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$C483DF56-BAE4-4766-B99F-F0F9D1772B12","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":"Q456968$029A1800-4160-48C7-A03F-505EB1E35D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfa7552e485598aa5ecf7b430881d0fdd8d66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483298,"id":"Q5483298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$651C754E-C6E5-422B-8FE3-195CC7EF65B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823cc67bf607ad1aa858d9275603363a58e0f64","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$7D52B117-CA73-4D66-8923-1324BB9F4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$CB816CA3-709A-43E4-967D-2DDD83D21C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac51521ca242facad7e91920bf812f8848369347","datavalue":{"value":{"entity-type":"item","numeric-id":3001092,"id":"Q3001092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$95C54DB2-74EE-4701-AFAF-C24F7D5A9589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b296164d3c0f8a07121a259f764f7ceb4a2e74","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$AB8293F1-3C24-4228-93D9-DB08AB4B8A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d25d21135b8b2822c873d87c7973c99b3a1051","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$F59B7513-0D5B-4891-8AA9-1CE900551428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$97DACF93-BAB5-494E-A40E-986A311C0185","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":"Q456968$4C9370EE-0C02-4055-87C4-68D93F5FB591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ad0b3069d2d8e09dd331de0c221da351b2b21","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$16526840-186F-42F2-9108-F299162501FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515f1f57e276d538e9aaafc4a8c04bbb632e057","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$EE2ECB57-749B-4ECC-B998-326C9D2D362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f6f13186ef923fe5ee8a282ea12558a817d4ed","datavalue":{"value":{"entity-type":"item","numeric-id":5727662,"id":"Q5727662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$D847F4FE-AA70-40E0-BE4E-8F77D12D7F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83d3dd844e10f76030e452cd367614249e8fec0","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$D6761F14-4E3C-4E72-B6E8-9ACC61AA6CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76dbb5d9a2cebcf74117cdaebc314ebfde27ab","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$8855B25B-75B9-4A78-B19C-E0F8D5C8AFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1864c7cd8d0a5fcf8acbce38de8dea37ec03416c","datavalue":{"value":{"entity-type":"item","numeric-id":385073,"id":"Q385073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$F6797F2B-034B-48D1-BC12-CD2F6565209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8417887f2a76ba50f6f7c5f56c86d3e9fee6319","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$C5AF1A6D-19B4-4C33-A3D7-0857A9AF9498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114260f4cd1602544364642a34079b9ceee85ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$B631D75F-79FB-4FB5-8A95-6CA5082C494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed5d4dc6a27184f9b503206e637b294a24667c","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$F4FF49C6-EC9E-4C86-B888-E7A40C22B05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5caf83d33956ae1c5e79580fb86e4883dbbe564f","datavalue":{"value":{"entity-type":"item","numeric-id":2904409,"id":"Q2904409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$0FDA5A6A-30CC-4DCA-A5FB-398D219303D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$1222CB95-0F7C-4923-A131-DBF22C2E159D","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":"Q456968$2300346F-BFAC-4C3A-A62E-AA9723278961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef3f5713cbb522ee6ededace3ebebb99eae1d21","datavalue":{"value":{"entity-type":"item","numeric-id":2510774,"id":"Q2510774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456968$2233D49E-E665-4E29-AA8C-56C936AE7E2D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d5bad9a2823dedb9ec12490b2b3618310ed94523","datavalue":{"value":"journals/sLogica/BeklemishevDJ14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$3EEBE3E2-3C5D-4E10-A46A-627D21F17B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c09871bcd3243750df22d4c310159f511e1278c7","datavalue":{"value":"10.1007/S11225-013-9490-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456968$4CFF52F3-BEC3-412D-A1DF-9A1782AFFEAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b228e631199bfeda3210a9c57bd76d42f46dc15b","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d740eefa8a2812d0fa8466414727b3858c1cea","datavalue":{"value":{"amount":"+0.91270745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$D675E295-70D3-4B02-8C50-598B5081C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9281f804c4a284bf3c18553f513767e58059ef0","datavalue":{"value":{"amount":"+0.911352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$09594B6A-E305-4555-9E07-232B1AE562E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bad1c16d0f174cba2c055c55ee5bf55469720a","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1756be6445af0e6fae7340f63cea53ea747f6b","datavalue":{"value":{"amount":"+0.87822914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$2B268351-B970-4E13-B7F7-5663330B79E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2d5b1446f0c59e8a06c8ab5bbbb284c54202a0","datavalue":{"value":{"entity-type":"item","numeric-id":3001092,"id":"Q3001092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f3e97b0dc5c59200574cd6f79c67d5d2031b9c","datavalue":{"value":{"amount":"+0.8646165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$1B96A437-6775-4795-A71F-8E15C3457848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f014087c66ae90821a31e1b78fff7aa7ef18f0d","datavalue":{"value":{"amount":"+0.86394083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$BC90E9E9-7EED-4F9D-9C05-77EB4FDA8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91065a151d139b854a132dff298ecea1107849a6","datavalue":{"value":{"amount":"+0.85011685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$C24391AF-408E-47ED-8190-57C1105B9DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57fab498092ebb844d08d3779f9447d78a25fc0","datavalue":{"value":{"amount":"+0.84884775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$BE922293-CFAC-4C5A-9520-ADDC4F2C054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ff46ec8f64d77a2c8f4674d0b8252aa06c776","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c6a8320b1afec3d2ba1c7e82304960bbbc6af0","datavalue":{"value":{"amount":"+0.84780765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$CBEF72A3-70BE-4E45-944F-54AD7E9E3B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51f8d76b6c6939c8017ef4af3f04b660f1b53b8","datavalue":{"value":{"entity-type":"item","numeric-id":5095650,"id":"Q5095650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e428ced64da73f971c277cf02477f2befecd67d","datavalue":{"value":{"amount":"+0.83791023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$AD28AA6D-49A2-4E14-8BA9-3FFF3BD3576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa370a3e204a0e1bc56edc774fb677ef1629b60e","datavalue":{"value":{"entity-type":"item","numeric-id":5483298,"id":"Q5483298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9741c48d35bbefa82f2b5d90041e30c2b35389","datavalue":{"value":{"amount":"+0.83311373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456968$C85D0094-D86B-498B-82DC-3B5A7811564D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On provability logics with linearly ordered modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_provability_logics_with_linearly_ordered_modalities"}}}}}