{"entities":{"Q3323259":{"pageid":3333967,"ns":120,"title":"Item:Q3323259","lastrevid":48701401,"modified":"2026-01-05T16:04:09Z","type":"item","id":"Q3323259","labels":{"en":{"language":"en","value":"Deterministic dynamic logic is strictly weaker than dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854410"}},"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":"Q3323259$BBA11A5B-1F2B-4AFE-8059-C4D49CA53DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85e940c79dbc6be96e0ac45b64d76c164a4c5286","datavalue":{"value":{"text":"Deterministic dynamic logic is strictly weaker than dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3323259$1B36B216-3267-4E74-9E8B-5335B66295A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bd4d9b31401e02c58048ea73d713817cae930d0","datavalue":{"value":"0537.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$DDFB7F38-7BE2-4983-9F97-F247E529EF3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db3fcab962f3f124ad386a385c64fd76c016bb34","datavalue":{"value":"10.1016/S0019-9958(83)80024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$36A892E7-275D-48AD-8B92-D0B74234D0A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323259$74457DE6-3E24-494B-9878-C7CDF96DABEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3323259$935CE66D-ABB6-430F-951A-999E7E9FCACA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$0C2E0FB8-4F63-44F7-8129-79CCC5CB6BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$EB3B460E-1DF8-4E8D-894C-BD54D8B80FC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cd68cc93ff4b9c2606061d0cb8932f96e29f166","datavalue":{"value":"3854410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$F066263B-201A-4AEA-9EC9-1F5CE227DBBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323259$0E47221D-6975-4213-8D9D-DDAEEDCEA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcd257c0d9e932ac1b7a243baad1a66854b25d0","datavalue":{"value":"deterministic dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323259$E386423A-8F90-4117-B2CC-7AE1FC2C2CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd90a72a2ddd1121f42abb5e05b67a2f6f8cd23","datavalue":{"value":{"entity-type":"item","numeric-id":1302300,"id":"Q1302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323259$A7C6E55F-F2F5-4812-A508-7BFF7404BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed05578318661e72bee1a7a8c30f5289ba97ccab","datavalue":{"value":{"entity-type":"item","numeric-id":234734,"id":"Q234734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323259$0AA5E924-FA1C-485E-A941-E7D6C5298682","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":"Q3323259$CC317D29-8C5C-4EFF-94C7-2CFD1BBB3DCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9500153b2cec0e6d56ecde9601df178f9c0d157","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3323259$3E1FEE85-6BC3-4EF2-A8D4-AD64C6B1F434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b5c2d6a176deffd8bc4bfaf1ba55fd8aa5096a","datavalue":{"value":"W1984464989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323259$9F62B080-0BF6-4CC3-9505-AAF14A288F37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd19a5d3c2e797fb479f69ce54a754d777210290","datavalue":{"value":{"entity-type":"item","numeric-id":3334975,"id":"Q3334975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb03c3b26667727f5db9451fc6f8aa235e5d551","datavalue":{"value":{"amount":"+0.8416024446487427","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":"Q3323259$695EB565-5624-4ACF-B95D-C3EDA14C7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3c9bd0ee2893a55af34a624f65f4cc9b88948f","datavalue":{"value":{"entity-type":"item","numeric-id":791517,"id":"Q791517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46999690049351c2deaaa56ecaafba8901a5f3f","datavalue":{"value":{"amount":"+0.8304756283760071","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":"Q3323259$FD573361-6356-4936-985C-7EC05179CD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cbe6b8da6c96c056f26a17a59dc48e9c996d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1117214,"id":"Q1117214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6187c3ac5b2aa389db50e91d7fb12badbd16a47d","datavalue":{"value":{"amount":"+0.8247629404067993","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":"Q3323259$03C48484-8850-4A67-B8BD-60C6495AAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6d1ab39eae533191add65c5f82fca368d131aa","datavalue":{"value":{"amount":"+0.8090425133705139","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":"Q3323259$8F9263E8-50F5-404B-B70B-81D26F2A179C","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":"ba8900b1468d07a9cf3367c9703554c72513628d","datavalue":{"value":{"amount":"+0.7841973304748535","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":"Q3323259$01172A27-1863-4F0B-B921-DA45AF1280AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3323259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3323259"}}}}}