{"entities":{"Q5346685":{"pageid":7376259,"ns":120,"title":"Item:Q5346685","lastrevid":92292854,"modified":"2026-06-05T01:21:30Z","type":"item","id":"Q5346685","labels":{"en":{"language":"en","value":"Symmetries in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6723419"}},"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":"Q5346685$F1DCB058-CE83-4CF9-A32E-9603E8912A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95c680d85afc35f7dcd43024c3bd69b35c6bbb53","datavalue":{"value":{"text":"SYMMETRIES IN MODAL LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5346685$32C29EDD-7095-46DC-8271-3F9C5C435363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b2d52a7dd139495f235e889a809d7e072d2d5b","datavalue":{"value":"1372.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$5D956C9F-DDDC-4BB7-8152-E750D3A3690F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$C02B0DFD-4DB5-4C25-89E6-52192A797F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce845461fffca5b81010c450e0e98e2e07323c12","datavalue":{"value":{"entity-type":"item","numeric-id":897930,"id":"Q897930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$CDEC5EFB-CACD-4476-9375-42F8106FA7F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$74C694DB-60C0-466A-8F01-6814E53F6B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874105a40b51aabcb626af7bccf0e9b797ad98cd","datavalue":{"value":{"time":"+2017-05-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":"Q5346685$CE6EBB8B-9213-4EE7-A895-85A52376A8EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d73f395c259a301410fea832a3c82b2915d66f0","datavalue":{"value":"https://arxiv.org/abs/1303.7327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5346685$AC4916E0-C63A-4A63-B026-A3D1C99FC60A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$6309AB8A-97AC-4780-89DE-50A8AACBD81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$8B4B94D2-06A6-4E11-A2ED-3ED295282BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$887C743E-0F4C-47F7-BEB3-2D6882271810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da7056cc63ed7dc7de180d989aeeb0394d9e3df9","datavalue":{"value":"6723419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$4B354C16-4E9A-4CFB-88E4-6DE396CE8999","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5346685$403FF0EB-60ED-4375-985A-1AADD2389AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5346685$1853B534-5C6D-4B0F-BB97-26F9FEB7AA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f9655f91e78614e2e5b6e37753d7aaba8e2a2","datavalue":{"value":"symmetries","type":"string"},"datatype":"string"},"type":"statement","id":"Q5346685$8922F16D-D1F7-4B0E-830A-F0872BDD6446","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":"Q5346685$269450DE-67DF-4DFA-A5C3-99005E2F2E5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52d8e327c5acd8ac514cc1c4f0656b0f2cec7b85","datavalue":{"value":"W2963581354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$F8954CD7-DFA7-4186-B5EC-57AA9A73834B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e615433d7c0da849d212b92d36df1a27bb8523","datavalue":{"value":{"entity-type":"item","numeric-id":3183516,"id":"Q3183516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$6322B057-67DA-471A-B816-4C26C4C2E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849c050bde1d6daf47c6a82d236315f01028bc35","datavalue":{"value":{"entity-type":"item","numeric-id":2577426,"id":"Q2577426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$C7778ED8-69FB-4F74-96F5-0B79077FCB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cee0ba89a94dbb22d64ed5203fa021a18deb09","datavalue":{"value":{"entity-type":"item","numeric-id":555523,"id":"Q555523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$86287114-2F29-4FA4-9EC4-4C3693B1EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$74D9A468-12FF-47E5-BBA1-5DE746195930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755109124011cd8e3c658ad937263073737abb6f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$46A9C601-5871-42AA-8C69-F4FD01CFA77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$7FB4692F-9F7E-4877-BB24-A65EDCDD0BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4bdd0b2684db92946325fec88ee72ff269f959","datavalue":{"value":{"entity-type":"item","numeric-id":1424276,"id":"Q1424276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$59EEEB55-6E87-4D7C-95C1-0AFCFD6BF3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b367f2c5e735000dae04af4e4f100929e5d9cf07","datavalue":{"value":{"entity-type":"item","numeric-id":1396814,"id":"Q1396814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$910AFAF7-47A9-4B4B-BB29-6A4C5F2604D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b09100178f0a5de97f8963ffbf07af910e4c749","datavalue":{"value":{"entity-type":"item","numeric-id":897931,"id":"Q897931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$46C0321C-CD3E-4FBC-8D9D-B9F2A0791C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c4443e412d25e9992651657d74b8e877d3be48","datavalue":{"value":{"entity-type":"item","numeric-id":631075,"id":"Q631075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$9388DF47-0D39-4CB5-8BFC-19960A4711A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5346685$1ED6D289-DFE1-4443-ACBA-AE2E49FBBFFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"329864f6d0c891d324f0e03bf66bddc4942f5194","datavalue":{"value":"10.1017/BSL.2015.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5346685$BF22A798-D62C-464F-9171-6CEEBD9DA52A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64df18dd0530bf2a60ccb742992f0cb607f4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4992392,"id":"Q4992392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b305020c1408cbee98c621fae596d0e5c6f040c1","datavalue":{"value":{"amount":"+0.910109519958496","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":"Q5346685$494369AE-9A2D-4925-9AFF-ACE0A80272F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638889eb802196cc09bf82cf0d3570433fc45606","datavalue":{"value":{"entity-type":"item","numeric-id":2851930,"id":"Q2851930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd7718d9c442b0fd070e58c4648aa41a8081564","datavalue":{"value":{"amount":"+0.8593834042549133","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":"Q5346685$6D201878-568D-4528-91C7-4DA13687EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4da0fcd9c419410163764c50279e61c4bb139c6","datavalue":{"value":{"entity-type":"item","numeric-id":897931,"id":"Q897931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7874dfccd2c1bbc510d67bbea5cc01f77d2a5a4c","datavalue":{"value":{"amount":"+0.8020886778831482","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":"Q5346685$447EC574-C2AA-405E-83CF-450FEEF69AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9aef774386ccbf6024985cd7c37c9123be9e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4264722,"id":"Q4264722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f0dd94262ba833f694310b791084392d6fede9","datavalue":{"value":{"amount":"+0.7677866220474243","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":"Q5346685$D6890A7B-4D65-4020-AF6E-F0133D545CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72677547aec7bbeed0d7f0c6cab2a8458ecfc71f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5212e74912aa154705fc4316b87f9e4481d8f45f","datavalue":{"value":{"amount":"+0.7549582123756409","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":"Q5346685$20566E09-2F77-4646-922F-542293DF43FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetries in modal logics (scientific article; zbMATH DE number 6723419)","badges":[]}}}}}