{"entities":{"Q5095651":{"pageid":7125227,"ns":120,"title":"Item:Q5095651","lastrevid":58413612,"modified":"2026-04-05T02:52:44Z","type":"item","id":"Q5095651","labels":{"en":{"language":"en","value":"Complexity and expressivity of propositional dynamic logics with finitely many variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570102"}},"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":"Q5095651$C193A274-922B-4185-AFF8-D7FE0FCEC5B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee487cba2b6568d66e1b0001d0b8eab5a4c05bf","datavalue":{"value":{"text":"Complexity and expressivity of propositional dynamic logics with finitely many variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095651$409B8631-EEDB-435B-A409-074C230B1FDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdd90945bb0df98a7ee175df4b0826696e8c7990","datavalue":{"value":"1492.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$E80E6A77-9FF4-471E-B9CA-0B54D488B2BF","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":"Q5095651$CE94F4F1-2BA8-4BD9-84E9-71AAA457F277","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":"Q5095651$5E1DDC7F-D52C-42A4-B07B-A5DA31ECC2A5","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":"Q5095651$66B0F68D-31AE-44B1-A444-008C2AC85A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095651$AAF009F7-8209-46CB-A7C5-CA61F459BCD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c89cfa93f20826552052e6300663b1cf2504f586","datavalue":{"value":"https://arxiv.org/abs/1901.06407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095651$1EE3005F-7081-4CF0-82EE-3413E403B5C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$6C5BEDD9-BD44-4290-9DF4-EEE9B3EE82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$BF41A363-A36D-415A-B3A1-3BD09221D870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$C417DD8F-FCF1-4638-B355-D9059F30D95E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b379c8192a3bd76a93d6bccd444cde39dbd9a169","datavalue":{"value":"7570102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$92F48E54-8AD5-42AA-AB73-42F46546EEF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$4C484737-92DB-4A49-85CA-E337C0BCFA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca03f46842bad00dc95e567b2e06f1f2f7a38f1","datavalue":{"value":"finite-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$28E62C97-5741-4F79-81A8-FB9867B0F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$67A02A63-5F0E-4DA8-BF3A-0D5604854257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$0807AAC1-C012-45F1-A8EB-1293D2AB52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$9B45F614-75A8-4BC1-B746-2AD89E63A28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095651$CB439383-28D2-40F7-B942-A17CFE62B2F2","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":"Q5095651$9B779B3F-37C7-40CC-93ED-1CAB4637B44B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d3a81b72fa1df72e87a90f1eacf993a70d8f29","datavalue":{"value":"W2806921937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$B8941DCA-5872-4B5F-B809-003E129AF302","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"845b617dde6820c111e0e3678a379263de6d87e9","datavalue":{"value":"Q129795911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$4C09840D-B84C-4534-80D2-20B241189ED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3751a2caf3dc428b6ca31977b9374747eb5761d4","datavalue":{"value":"10.1093/JIGPAL/JZY014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095651$F7D55340-2FCB-4871-9C8B-66210C9D4050","rank":"normal"}],"P1643":[{"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":"49a5d7e9d086a286ec228308510dd70b7e1bdf24","datavalue":{"value":{"amount":"+0.93245274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$5D5A713C-0F2E-4E34-A8A1-00EFC70BB45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea655080c35a31d839d17c9bcb28d0fd4e95d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3203003,"id":"Q3203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4049360337eb94f793b264b780a662a53efec7","datavalue":{"value":{"amount":"+0.9263914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$96F11BD3-7227-4388-AC0D-181430F5444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc243242fe836b402952d659873a5e7730b0788","datavalue":{"value":{"amount":"+0.9230201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$195EA1AD-BE45-4D1A-8F33-5E1E1A093B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c8fc67a7fcf4094f85c00218a1c310b257cf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3393869,"id":"Q3393869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343983b73c3c4a1410d4c291577d4b0391809e8e","datavalue":{"value":{"amount":"+0.92281425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$E246475B-1BE9-499B-A650-8B46A004413B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ff245570b282de53653b791546251d7086b05a","datavalue":{"value":{"entity-type":"item","numeric-id":5104726,"id":"Q5104726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22ce0c9875c6c987fa5ea3551e0fe984d35e6c2","datavalue":{"value":{"amount":"+0.9103093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$1BD410D6-9F3F-499F-905F-6C97A3146D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7cc1e3100c2aa28a0bde6a9f3970928ade67b2","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abfbb05f4f4a8f9450c13dcebe237705fdc3293","datavalue":{"value":{"amount":"+0.90913856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$DE9AC564-B030-4503-84B5-353F66F1A034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b4b463c4adbfe155b7e4df1ebfa1ae4a50d827","datavalue":{"value":{"entity-type":"item","numeric-id":2835868,"id":"Q2835868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e7768f72d53fe48f527b17c80a31a4b0b7e274","datavalue":{"value":{"amount":"+0.90179664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$5D69E80D-F599-40B1-9E62-2E28AA845389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179cbe81ea4dca0c5bd5341caef729cd4422b421","datavalue":{"value":{"entity-type":"item","numeric-id":2892686,"id":"Q2892686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a560608941682393bbd97f3f665cd07e350c8f","datavalue":{"value":{"amount":"+0.90097624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$55B262C9-5BEC-4F7A-B4B4-F44B0A75204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d297f6860ba63a4752b42d120a699735fbd08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3063969,"id":"Q3063969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a560608941682393bbd97f3f665cd07e350c8f","datavalue":{"value":{"amount":"+0.90097624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$45E2BA55-9019-4134-9C8C-15331D2D94B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a92649b2fb6ff85eeb99b4c20b2d3b6ba5991","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0095b09b8c264e93bbe24e8d9f4d3f379d5e27d","datavalue":{"value":{"amount":"+0.9006745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095651$A7BA4CE9-F15E-4312-BE2B-0AB97FC192CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5095651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5095651"}}}}}