{"entities":{"Q3897033":{"pageid":5926938,"ns":120,"title":"Item:Q3897033","lastrevid":88888955,"modified":"2026-06-04T15:45:02Z","type":"item","id":"Q3897033","labels":{"en":{"language":"en","value":"Decision complexity of variants of propositional dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3704557"}},"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":"Q3897033$D103F8AD-58D3-44AF-9084-D265135FB2DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f1d7837318dcfdf92e13cdd2f6384d08cb75516","datavalue":{"value":{"text":"Decision complexity of variants of propositional dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3897033$5E9B36EF-7511-4E90-9DFB-A1E4C9F27987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf19ba9c029f994e1544e5d93c0da26e0304361","datavalue":{"value":"0451.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$1CA0741C-DFBC-4453-A940-45F59782CAF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"528342e2bb278c6ce0318f924ccbcb16514da1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3897032,"id":"Q3897032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3897033$05301375-37C4-492E-9D1A-9C130BCEDE72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3897033$79B5BE9B-CCFD-412E-9889-78D31D809969","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$E5ADA494-2218-481C-A414-CA365723AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$7F604492-2B09-4E9D-82E3-332AE8D5940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$32D46F02-FD56-41E4-AEAE-ABD63AAF5F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$F0517E11-229C-40E5-B2E3-F340FBF42CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$875DB65C-30F6-4D55-806C-D15D8ECF8FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$21C722C4-2999-418B-87B9-D15DB6AEF58A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8f27db6fed519c7f950107dbf69829e51dfad40","datavalue":{"value":"3704557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$C44808B4-7946-4C4B-9F01-C2FC0C61FE9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897033$1F674024-3136-40C6-BD75-C0634043F673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba8bcd2a85d9a9beb157e4b676edf194064349c","datavalue":{"value":"deterministic propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897033$DA951C89-EC30-481A-86B5-E2F970B8EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897033$671C25D4-7997-40E6-B77F-CCAB16E439D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1da827074372b6941cfda37ebbe1d27623c934","datavalue":{"value":"shuffle operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897033$43764FDA-CAFA-4A51-82F1-C661740D95B6","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":"Q3897033$83123DC7-4E72-44F4-B5D9-9722D8E86743","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd331a259af49b65e043ecc4b9ff3da21a47ba9","datavalue":{"value":"10.1007/BFB0022540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897033$A14F842E-E250-412B-9756-87E42BA58A98","rank":"normal"}],"P1643":[{"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":"cf0b2fa92b8565547b09d78cf6c6aa5a12f52688","datavalue":{"value":{"amount":"+0.8467439413070679","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":"Q3897033$3295111C-D0A0-4C36-B884-7872D935CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac756c49478e963add0118e10ac825098f0db5e3","datavalue":{"value":{"amount":"+0.8382861614227295","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":"Q3897033$C3B7DFEC-F507-4CEA-9A3C-A1CC1BA61290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3835672983f8530d2df7bce018160814d5657b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4628ef42e679405c02219876736807cbeebf54b7","datavalue":{"value":{"amount":"+0.8222289085388184","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":"Q3897033$D74807E3-1A7A-4354-99E5-28DBA961F35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c8e5a1f55c6527d75b8be25b1b82626efd7a8c","datavalue":{"value":{"amount":"+0.8201781511306763","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":"Q3897033$BBEFE573-4169-4761-90A2-2DE388015B19","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":"6b522f8aa28decb63cc12c7dafa25ed1cb26e8b0","datavalue":{"value":{"amount":"+0.816148579120636","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":"Q3897033$B903551E-B8BC-47C7-A371-5B1D206DE6F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision complexity of variants of propositional dynamic logic","badges":[]}}}}}