{"entities":{"Q5241916":{"pageid":7271483,"ns":120,"title":"Item:Q5241916","lastrevid":58507044,"modified":"2026-04-05T12:43:27Z","type":"item","id":"Q5241916","labels":{"en":{"language":"en","value":"Complexity of finite-variable fragments of propositional modal logics of symmetric frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125816"}},"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":"Q5241916$6F963222-89FD-4443-B581-FBDC658802F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e9196255a0680d959e40ca17c7839fc7508e6a5","datavalue":{"value":{"text":"Complexity of finite-variable fragments of propositional modal logics of symmetric frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241916$C7C3759A-1798-4532-8963-A1AE396F1C61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71778b992329a9d2924be5cfd7231e56cf1b6759","datavalue":{"value":"1494.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$D00CC514-A8FE-49A0-BCEA-20434D4E3230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241916$01C772AC-AD2A-46DC-843B-A09BBB0318A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241916$ADA5EB62-35B4-4371-8E07-2D7022862886","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241916$4D876ACC-3E2B-4BD5-8A2C-DEC7697D764C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24678e93630473e7eec7097ac94735b33c441507","datavalue":{"value":{"time":"+2019-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241916$F22FB85F-67AD-4D28-9B09-32A3457D42D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"320f71d0c8eb74a8dfdf422950a38356ccdf68ed","datavalue":{"value":"https://arxiv.org/abs/1910.02257","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241916$A1BD9E70-8C45-4DA5-9DA0-4AB5119561B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$8C825014-EFDE-4F26-B08F-4938526AF4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$D4EA07C9-96E1-4C60-9B51-1A37AB045201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c44a71c2c82135c257e6863afba214f30090a0a","datavalue":{"value":"7125816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$66103B36-14A5-4503-9A93-F9F31C7A1C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241916$B527ABD6-98F8-4F1C-8FB6-B61B11FD47A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c11e34488563e2b849c8e017eadd281613133f","datavalue":{"value":"symmetric frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241916$C6E224BE-5C30-4B69-93F3-C6277C6EE95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca03f46842bad00dc95e567b2e06f1f2f7a38f1","datavalue":{"value":"finite-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241916$667A63C5-A97D-4DAA-83FB-CC44DB06EC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241916$1FFAF139-FF5E-4E66-BC67-7AB1973FE3B0","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":"Q5241916$FF92BFE2-E47A-4700-ADF2-73326A2C60D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49a5e090759ad80bb3171da3ffbcbb49b33342b2","datavalue":{"value":"W3102047415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$92674E06-38F3-4352-9F3A-D5D432A9BDE5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2da2730f1bcaa70b855964b46ff091f724d237f","datavalue":{"value":"Q129597966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$7C00B190-3BE7-44CE-934B-1210117BB967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0d045333ccc5353ee03d41bd4a4c531b7ce9933","datavalue":{"value":"10.1093/JIGPAL/JZY018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241916$124C284E-1F39-42EB-9A3F-F47DD880584A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fa0c1cf7477ddb1a22f5c678a7f9484e7d3cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3647277,"id":"Q3647277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79448bf3e9fe47a6c8059d98bfb5cdba492e882","datavalue":{"value":{"amount":"+0.7802940607070923","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":"Q5241916$121C0C99-6755-45B6-94A1-FDE8F217CA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ddbe805ffc8a376016efeae68ecabab86a4488","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a7751e3eb8e71c8e8fe07245b4fcfa7a1bc4cf","datavalue":{"value":{"amount":"+0.7676732540130615","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":"Q5241916$7F912598-73A4-4B26-85DE-540FF30E6BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfabe7bc5fe0aeab2bf5bc7b9d4a7cb190379f0","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48cda9678bd034f525cb6b9adc4e802e125f7bb4","datavalue":{"value":{"amount":"+0.7567508816719055","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":"Q5241916$11542C6A-A6B9-4C4B-85E8-8BCC737C4614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e527c2c83736cb7151377ed3bc9a35cf7cbd093a","datavalue":{"value":{"entity-type":"item","numeric-id":5108014,"id":"Q5108014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a44a3e51e3d29f227ec038183fd6d00f96d006","datavalue":{"value":{"amount":"+0.7508964538574219","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":"Q5241916$B5C77F5C-42F4-46C7-8CAD-3A1539F8BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381fd7cdcf69c0fcaa9f50650ce3456010bf0992","datavalue":{"value":{"amount":"+0.7492889761924744","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":"Q5241916$CF4B7F1E-3AE0-4931-87F3-4203703F1E7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241916"}}}}}