{"entities":{"Q482919":{"pageid":484686,"ns":120,"title":"Item:Q482919","lastrevid":62172153,"modified":"2026-04-11T04:15:02Z","type":"item","id":"Q482919","labels":{"en":{"language":"en","value":"On the complexity of the closed fragment of Japaridze's provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6380540"}},"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":"Q482919$FC361599-7AC6-4CA6-8AC5-B42DB6B8FEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"480e50cb5722fdc6e457d2a5b5d35eb81c4ecd76","datavalue":{"value":{"text":"On the complexity of the closed fragment of Japaridze's provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q482919$D31F5B16-D207-4F4B-B06C-3AD9F4E010A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1768cd400d002e5af2e0cbbfc9c8b62fff5a303e","datavalue":{"value":"1339.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$16E355F6-531A-4B96-ADB2-D78A57A40D46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$E1ABE4F8-D5A3-4EB3-897A-B400D588BA67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64cb2c292354f5e0ffaa04ffb9039a1f87da480b","datavalue":{"value":{"time":"+2014-12-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":"Q482919$1D2979A4-FF62-49C8-AE7B-07DCE58C96AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"910f8040e014263cac61691e6b6f8127c9c45dae","datavalue":{"value":"https://arxiv.org/abs/1305.6065","type":"string"},"datatype":"url"},"type":"statement","id":"Q482919$BBE9960A-654B-4346-9325-4AC519C86B2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$2CE93F90-A8D2-4FCF-9A73-C51D34BCEFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$20BB8FD2-0CBA-4778-A89A-607B68158C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf8923de0198ec5069d9751614073088018acba","datavalue":{"value":"6380540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$8401FF88-02F1-4426-BFFB-24E7A2E9AF81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q482919$BE588B1C-FCF7-462B-8A9E-D2C546A881AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q482919$6D68320E-3058-41FA-9AB1-C670B8D17458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a47a252b06c5ebf529b5399685a3b67492fb41e","datavalue":{"value":"closed fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q482919$3B668ECF-DB57-4926-93BA-374B67810DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$06661507-0520-4FE4-A15A-519920DDAE8B","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":"Q482919$310A777C-E5DA-4F3B-BE7B-9D4B0ECB9C4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e830f36d94c25fd66ca135927165e8513cf0bcc3","datavalue":{"value":"W2089432821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$D13CD108-8B4F-411B-A422-DEDEDD0DB582","rank":"normal"}],"P223":[{"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":"Q482919$5C214C1A-DEEA-4872-BA2B-3EAC489DB761","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":"Q482919$A3569E22-AE67-49CA-892D-C976E2805AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$D6583507-0907-437D-A2F1-86FF8A8FD559","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":"Q482919$3562DEFF-4FEA-46FC-BB2A-FCD89A8F4152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"831aefa6aba839fa37fccd15eec15bca031da389","datavalue":{"value":{"entity-type":"item","numeric-id":2825406,"id":"Q2825406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$FCECA39A-C568-49E5-9C6C-8FB10326D689","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":"Q482919$BADE0824-E9B2-4B83-82EB-26AEFB156E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc99d2b561f99f43a908ce842ee7791f5e09f3","datavalue":{"value":{"entity-type":"item","numeric-id":1844708,"id":"Q1844708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$A42FF2D4-C0B5-400A-956A-467759615651","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":"Q482919$283F8F17-3B83-44B0-869F-50588B017F02","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":"Q482919$244ACF2D-AE06-4F82-A2C4-C1C8CDCBB489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2dbd0a2e37fe63f0a991c0d065f41aef6b6da8","datavalue":{"value":{"entity-type":"item","numeric-id":1423633,"id":"Q1423633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$7890FAE2-946D-4226-BAE7-A710F1CE2D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$7C974F17-7542-4805-A5F4-52F0426AE205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92719b1fcb0956ce1ef0daa8facd86c31678e7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$733ECD89-138E-49E7-89E2-4CE62F21026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482919$06EF156E-1C39-4A82-B2C9-9ED18201D8DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d70123dc198be551e93f1fb189f308eb7fb9e41","datavalue":{"value":"10.1007/S00153-014-0397-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482919$84AD3F14-77B0-470C-895E-6BB2A53E9BC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c31d7c4d48b2e6bb908560a5a9692aa0c08a5e","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f277430b6dba27f355f541ac948ef83fd0624c44","datavalue":{"value":{"amount":"+0.8669031262397766","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":"Q482919$CB26DDD4-2753-406C-BF74-5008AC7B715E","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":"d485ba347766037ee7ab41631513ebfce0ee77ab","datavalue":{"value":{"amount":"+0.8594645857810974","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":"Q482919$7A45770E-B336-41F5-9B8B-E65D51F0DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bb34559b410e664ae4bdd4c889f5223aaa2b4e","datavalue":{"value":{"amount":"+0.8312604427337646","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":"Q482919$411F028E-0335-45B8-8006-C4EEBD3A7CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2935b7ce8dca50e6323c0e18a64b596fd4cfac03","datavalue":{"value":{"amount":"+0.8286457061767578","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":"Q482919$A2178350-D072-4998-AD18-B857E1E756F1","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":"bfb22bd36b5d3682e370f633acb0cce6a44f12a4","datavalue":{"value":{"amount":"+0.8241485357284546","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":"Q482919$53CEADA3-D3E1-4FB0-9B6B-0B1C1007B70B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of the closed fragment of Japaridze's provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_the_closed_fragment_of_Japaridze%27s_provability_logic"}}}}}