{"entities":{"Q5419872":{"pageid":7449446,"ns":120,"title":"Item:Q5419872","lastrevid":52013753,"modified":"2026-01-20T18:24:40Z","type":"item","id":"Q5419872","labels":{"en":{"language":"en","value":"Calibrating provability logic: from modal logic to reflection calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302896"}},"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":"Q5419872$6EFDA895-338D-478C-9E4F-DB78F91C8D47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9daa5e52c06e289a5b392ff2b518b1a5aeb5eb51","datavalue":{"value":"1331.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419872$BC8593FD-E94A-4858-A16A-27C803F1060B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419872$FA9404BC-0188-4E60-AEA6-F39CE712EA2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419872$522DB839-47FD-4520-979F-1B9CC5A85C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419872$BA46C046-B922-435B-9D29-BBA9F161D572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"447cc77c7c20f3ac8c42184e246742c0d4ce0a79","datavalue":{"value":"6302896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419872$42BA4C62-4DAA-42BF-A5D5-C0144DF9EA21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419872$AAA2AD62-95BA-466D-B081-69D499A93445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd323d55c808fe439235fbcefbbf829c7f17360","datavalue":{"value":"positive fragments of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419872$C2463A6E-ED0C-4494-AE31-6DEC648B0B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419872$6F703117-7630-4606-BE08-0A97134A19B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3076cfbc822b942d89f530c0a84271cddee86b","datavalue":{"value":"ordinal representation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419872$D6E9B236-A83C-4475-BF47-530E94EF98C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc38ef7b6d40142733a637a1dedc06de8cd7db49","datavalue":{"value":"unprovable combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419872$A48E785D-8E0A-4579-B61A-49F3A3AD6DDD","rank":"normal"}],"P16":[{"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":"Q5419872$617340F5-C129-4108-9A22-554BFC2A0721","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":"Q5419872$23C4BEA5-6F87-4DF9-AB42-A35A0DDA77FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bd6925d65733b613979449aa59219790291ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5224557,"id":"Q5224557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58641d9f2fa8bc921a91e0b895439e5a8c04191","datavalue":{"value":{"amount":"+0.8216702938079834","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":"Q5419872$D2C55ECE-AF6E-4986-85A9-1514B820842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9699d318a03e3b911c83b4b7cd31b7676126b6a9","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a247fe41b787638350b9422549654c9b669f97","datavalue":{"value":{"amount":"+0.8150534629821777","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":"Q5419872$51671111-9E26-4DF6-A745-7C30964F9666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37505173f71ce81b1d21c33286618788cf362f96","datavalue":{"value":{"entity-type":"item","numeric-id":2862108,"id":"Q2862108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f36bd3e5816355edadc32a3d05904775fd8546c","datavalue":{"value":{"amount":"+0.8064711093902588","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":"Q5419872$3727DBB6-29B9-4AF3-8168-BDDECE5EF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e745ef2fdd8b8cb3322ca55c2fa3fe087a3894a","datavalue":{"value":{"entity-type":"item","numeric-id":5377088,"id":"Q5377088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47e6b89003c5a1146a861c2eb59f2949930449d","datavalue":{"value":{"amount":"+0.8020555973052979","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":"Q5419872$CA201142-FB46-464B-95DB-3D9BF0BAE4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d9c8bc2d0f66c64e16c4163e7ee1b1558127c0","datavalue":{"value":{"entity-type":"item","numeric-id":1685909,"id":"Q1685909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fecd7494af2638ec4b7b732a3b5a5a5f0ef1427","datavalue":{"value":{"amount":"+0.7910658717155457","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":"Q5419872$3474D435-0042-4F7A-965E-4913152591CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419872"}}}}}