{"entities":{"Q5486241":{"pageid":7515801,"ns":120,"title":"Item:Q5486241","lastrevid":49910191,"modified":"2026-01-11T23:21:00Z","type":"item","id":"Q5486241","labels":{"en":{"language":"en","value":"2-Exp Time lower bounds for propositional dynamic logics with intersection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051853"}},"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":"Q5486241$47D20BC4-0B93-46A1-99EE-827F1C374AF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"280c7d9d86df1bb2e1332dde9d707fb3921a3495","datavalue":{"value":{"text":"2-Exp Time lower bounds for propositional dynamic logics with intersection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486241$B7EC866C-99AD-4D59-BD52-F3FBDA44336C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f09cc04950c8a2790811e5f21a90e1a578c58388","datavalue":{"value":"1100.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$A88C42E3-8312-4D5B-B460-7FF7660D52D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$06A5B9F6-9408-4602-B764-627C8A112E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$DF0574E5-1F49-422D-8092-C33F1CD7D352","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$251146C5-D7BC-40A0-9672-183A478FC919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486241$D5284D57-E04E-44A9-A31B-41C58C7D2DA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$4DEC4625-6078-4227-ACEB-F23A0B8B12A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$5E0C27B2-D2D2-4AC6-ACF7-D35BCD58E0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$E4FF7148-D62F-41A0-8342-6B48688465A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00cb8057802020b485b05b43ac94a3c2ba65b96d","datavalue":{"value":"5051853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$B5DACB42-DD8B-42C7-894F-335E74AA6B60","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":"Q5486241$786EB2A8-FCB8-4B15-93F8-08E7A8FBA934","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"140f343c9a82454e86b8f50bc7881698ab338f91","datavalue":{"value":"https://doi.org/10.2178/jsl/1129642115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486241$F18ABEF0-269B-426A-A93F-99518124650A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53412636c18204e1ca75c1f2fd14fedfe887f758","datavalue":{"value":"W2044028378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$E7CE93FA-A1E5-49A8-BD1C-8DBC5EFF9E62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$A70F9198-1EBC-4C71-9749-EE402BF7DB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$E6DA74F3-1A3A-4397-A797-5DAF582E60F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$F3B57040-44FC-474A-94D9-6E18A7D1CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$029D8EC1-BD24-468D-98A6-9774FAA8A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$34DA4B71-1352-4756-B701-4D09DAFE53B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$18726EB6-07BB-43A1-AD05-DE83013FB704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31a99c51d80b38cc137e146f5a044e1bcc0c548","datavalue":{"value":{"entity-type":"item","numeric-id":1351943,"id":"Q1351943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$DC9F2793-39D2-4AC2-AC0A-58F964C1727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3afba40930a9eca1790621ec032df0b6a61f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":3647227,"id":"Q3647227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$2078A26E-A8AB-4D33-8D01-FDE22FCBE1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30503e2191a985b06e59de37ad4b47ce193e33","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$18082E21-0BB1-453B-A8ED-959457792F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$59DCEB30-74FA-4BD3-88A8-4E020B0BE165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$E9515A2B-AFBC-45DE-9C7A-CEA5D34F53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fef1c73e6fe26b9a2ddcd98c8be8aecf117a9","datavalue":{"value":{"entity-type":"item","numeric-id":4812322,"id":"Q4812322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$8BCB84AC-B503-4ED9-A698-21FFB27FF3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7100939e80fb0008f871bed9e74270a1795a9ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3647225,"id":"Q3647225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486241$A35BB8E7-A90C-47C0-BB3C-370AE3CBEF64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5edf54964d1b97f40d125d8fff3d6a392311190a","datavalue":{"value":"10.2178/JSL/1129642115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486241$4B0FED68-E546-45BD-93C9-361FF1B3ADA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09712c8d5cedb6e37e12b333b22688a3373ac6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5758037,"id":"Q5758037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd75abcc5af1a24adccb0ca9f6e28380244f10b","datavalue":{"value":{"amount":"+0.8653496503829956","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":"Q5486241$2CC14982-55BA-40EC-BF8D-96752625C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ef1ab27d845d4b3bb990cb0ab67773c7ce5128","datavalue":{"value":{"entity-type":"item","numeric-id":5483005,"id":"Q5483005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6045a36f392c2bc2c85d142121a988aa1f45c6f","datavalue":{"value":{"amount":"+0.8474478125572205","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":"Q5486241$DB0048A3-1F7E-4274-829F-3EE1C6D019CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6ce98ae8317df1eb9b436c09a370a65180c27","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0509a367f0ea00992b7c8464d4a2e052995fc84f","datavalue":{"value":{"amount":"+0.8085693120956421","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":"Q5486241$3AA27E3B-A5AE-406D-B67D-D2B6FBAEF272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422d187176c51eaadb0d1d0dd58664d093597601","datavalue":{"value":{"amount":"+0.8030728697776794","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":"Q5486241$612EA7D5-28DE-40EE-8ADD-C7B6F85D70D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f3aa79c1b85baafa5b5f17d3c77257565294f3","datavalue":{"value":{"amount":"+0.7990013360977173","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":"Q5486241$98E658BB-B4E1-4B4F-B74B-C8E03DA14858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486241"}}}}}