{"entities":{"Q2148809":{"pageid":2159552,"ns":120,"title":"Item:Q2148809","lastrevid":55412071,"modified":"2026-02-17T15:50:02Z","type":"item","id":"Q2148809","labels":{"en":{"language":"en","value":"Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547754"}},"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":"Q2148809$C370DEED-04BA-42AF-B3D8-8D659AD2B6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6af33e5175252e69b6b1855c929dce3fe127cdf0","datavalue":{"value":{"text":"Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148809$CE5DDF77-E49F-4299-A9E9-E4FCD0E92AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"251a8a61be6dc0cc501b266e702d150277c33672","datavalue":{"value":"10.1007/978-3-030-88853-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148809$EFBEC9A8-7A6F-46E6-8385-C5679911D9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4746c967b1ea86e4823d52dcf426f400326466","datavalue":{"value":{"entity-type":"item","numeric-id":2118971,"id":"Q2118971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$B8E7A1B8-F700-4D55-8BCC-1C1703A3CC33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148809$EAF88678-8C6D-47A0-A08B-557DFEA8660C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148809$1CC711B8-0512-410A-A54F-592D4AB18247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"096de45ae405b7ec9c87b4c940cbbbcef325e5f5","datavalue":{"value":"7547754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148809$59DE470F-72C5-4855-B4AD-B4FD2AD965E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ad9a06ba1f432db2afa1577a40a22774680cdf","datavalue":{"value":"provability game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148809$4710F249-F8B1-4FCA-8C85-C1AEEB7A60EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148809$8BFFE4F6-7EB6-4ACF-8B71-5E8FE784C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148809$07349DD4-43A0-4A31-8A9A-CD6FA8D824CA","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":"Q2148809$C5C47611-B030-4AE3-90B7-5B1260B5C7E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff1384441f9b2d95071077dc6c47629da4e3f37d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88853-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148809$05589F8C-FB21-42BF-ACD6-60E7305BAEC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20d5a1f05c3d0d34a75218f9cb79c742e1691270","datavalue":{"value":"W3208946267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148809$8BF93B23-4D45-4E9B-90C5-DD2B6A51C4AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$18D684D1-1BAE-4817-BEEF-FD329B3FB38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$FF1B87A2-21DA-4564-8C48-0F246A454B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8bbbb951b2faad390d9f8aa130c9cb7db68fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5246115,"id":"Q5246115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$F2A108F3-732C-47BC-934F-D65FBBABF8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e8eb6c2b860f100237f73f9e56019c1ab1884c","datavalue":{"value":{"entity-type":"item","numeric-id":3874172,"id":"Q3874172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$9F7CC570-A987-4E27-83CC-70A99AADD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ad463e187a9d20b80a9e9111061a27aa671d38","datavalue":{"value":{"entity-type":"item","numeric-id":3620028,"id":"Q3620028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$E817590A-5A75-471B-ABC2-B6897AF85E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a2fea66065d3a7408e53291e0533628651deb7","datavalue":{"value":{"entity-type":"item","numeric-id":1037588,"id":"Q1037588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$1BAC18A9-02D8-4E3C-8448-3185C90A894F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$FEF56DD9-D674-44A5-BF3A-7FB61A77A958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$8E6C6619-8FA3-4B4E-ACF4-DD1866825D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27152544fce5bcd3e9d6e4537b2b4c205866b0bc","datavalue":{"value":{"entity-type":"item","numeric-id":3431966,"id":"Q3431966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$745973D9-F30F-4DF0-B268-633179B4E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bab6570b4e65a822cabf2757600b56e9632c897","datavalue":{"value":{"entity-type":"item","numeric-id":3511445,"id":"Q3511445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$0C58BF30-D6CB-4C3E-9EC9-D6150BD54711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389ecf4fd560ef72fd0217b09ee04765d70bace","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$B2479386-F8C6-46DB-987F-9C2B8E7BE045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$AD9FDFFE-20B0-42BF-8F87-C04A546040B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$4FA388EE-F94A-4FAB-AC39-E2E0E6623273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0904591390c867b51887b41e53033e872e482b17","datavalue":{"value":{"entity-type":"item","numeric-id":1094406,"id":"Q1094406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$4BFB98B7-D22E-457F-90D0-9D4C68A41FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9982d5d0be67aa04b0e6a1d0fd74101031edda","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$46351EA7-2107-41F6-AB63-4D6CA45B8B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b401bc1426a0a85157d7afeafa4baf617e9a9087","datavalue":{"value":{"entity-type":"item","numeric-id":5013625,"id":"Q5013625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148809$8C7E9E2F-D875-4DDC-AB77-38E3E169ABEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47a64fa01cd848c8744b04e3b2a0948c0b6ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2118973,"id":"Q2118973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1ac823e9829c4f2c43e6a3161edda37069d1bb","datavalue":{"value":{"amount":"+0.8187739253044128","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":"Q2148809$3D08081D-5904-4F90-8355-A81F99180E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9459fdacde9fd0c4dc14b4240c1844d89016eb8","datavalue":{"value":{"amount":"+0.8001213073730469","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":"Q2148809$970E57A2-A91E-4769-A55A-11E5601AD22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8998a920f13eefbdca317feab9bb39bb8745f0","datavalue":{"value":{"entity-type":"item","numeric-id":2148784,"id":"Q2148784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed888d7433460f52a41929d0c39cb09cecb0e97","datavalue":{"value":{"amount":"+0.7841002941131592","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":"Q2148809$23617E77-5505-45A6-89EE-685EA2D6936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d3422e0146e5d1140cbddbbaba33b38d38cad5","datavalue":{"value":{"entity-type":"item","numeric-id":3431966,"id":"Q3431966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68326f2c171782183f0f32b4b000a81080e16d2e","datavalue":{"value":{"amount":"+0.7734423875808716","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":"Q2148809$A256A7B3-6B01-4B7D-A285-6FA13AF1FC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496d92ed380b69a7c4a4015653d4adf73ef14fd3","datavalue":{"value":{"entity-type":"item","numeric-id":514506,"id":"Q514506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acd22de980b0c49386489d518283ca1fcc89749","datavalue":{"value":{"amount":"+0.7619853615760803","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":"Q2148809$58206D42-7270-4961-BCF3-C6C8BE4D084D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148809"}}}}}