{"entities":{"Q2892686":{"pageid":2903411,"ns":120,"title":"Item:Q2892686","lastrevid":51494054,"modified":"2026-01-18T12:18:08Z","type":"item","id":"Q2892686","labels":{"en":{"language":"en","value":"A stochastic interpretation of propositional dynamic logic: expressivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047785"}},"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":"Q2892686$FCA6A9BA-3868-4860-9E07-B22813ACC0C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e69aba7eff1b01010e2cd267ca8ecb929f6ee3","datavalue":{"value":{"text":"A stochastic interpretation of propositional dynamic logic: expressivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892686$CD879480-BBB6-459D-A51F-9824CB845B4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adba47e68541b90e842b38d625a909e6a85810dc","datavalue":{"value":"1252.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$3D046B83-55DD-41BD-94B6-F9984CB6E369","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$9EC0FF87-FD2F-4B78-9286-6E91E330A450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892686$31ED4B51-10A5-4949-875E-5375A74933DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eec2ca69322333302be1d641b58ba986f334f953","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566646","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892686$7D5367C7-9AB8-4E0B-A647-DFEB04896B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$F716FA3B-25EC-4DB2-9BD6-72427BDC8BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$831E1F66-F71F-4A81-9E98-90D7D40664F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$98FEF6E8-11AB-4321-9370-45246E260DB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a837a77cd0954e09b8e620adf0bb7e8e922e5b5","datavalue":{"value":"6047785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$323499DD-A72E-4807-ADE8-58DF6E3A8C04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$01D263EA-DA8F-425F-8E43-B76DA45CF10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$CA9344FC-572C-4C2F-94E4-2B4D2CC403F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1fa266b6afc5339000e3b50d126a56f61ce258","datavalue":{"value":"measurable spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$D315CE26-8AE0-4075-A004-5ABFAAD5534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f9ee0b572b6453cb255cdfcd6a1a36df8979d","datavalue":{"value":"logical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$84DDEFDE-4EB1-49BB-A849-DD404E7E78B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e60170ae29598705faeee77c0fc68622618f371","datavalue":{"value":"stochastic Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$84282C4B-DCC5-4E5B-8EF2-A0911F24ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892686$F28A6D62-ECCC-46A7-ADF9-D77A9DD76837","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":"Q2892686$4D437AB9-6221-4333-9A7F-8602A59492B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b0460a48a28daba80e9e66dda56d7da509b0f1a","datavalue":{"value":"W2071190692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$7AC394F7-9DCD-4C70-AB85-B08836FFB1EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$3BB87C44-02BA-4593-8983-CBA21136F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$FA99558E-C861-44F1-87C4-498330A3703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e030d03f9ef4bcea642ecbac1a0ae87f95369","datavalue":{"value":{"entity-type":"item","numeric-id":995624,"id":"Q995624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$73C57632-EDD4-4622-B966-8370029A9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e66fe6f7570e843d017a6ce0a681b2ca8be37d","datavalue":{"value":{"entity-type":"item","numeric-id":3718164,"id":"Q3718164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$77A45600-CA2D-4B8B-A38F-92D391435803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$663BD577-162C-4BFC-819A-771A158FD9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$C723A733-DD40-411A-B640-A65C612FA640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066f9fe7a54531c998693336627ace132be8122e","datavalue":{"value":{"entity-type":"item","numeric-id":3005987,"id":"Q3005987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$64580529-3273-433F-9EDA-BCC4F8FD4E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e85ea0f7d116d20efeb8ee4f59cd2d5666d577d","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$7771350E-CF90-4A05-AE66-DC12CEB1D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$0F8A72EA-BD82-4C62-9706-53BCD1340DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$9B60E1F3-B760-4A89-A270-0B1DDF95A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$ADCC78ED-F81E-4FF1-8A9D-9FFCA762DD41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a54b87a114f4163da8c489441c483f9016aab2","datavalue":{"value":"10.2178/JSL/1333566646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892686$9AAED2FF-7D80-4FA5-8F9F-FC4A02DCD2F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892686$6DA8594F-CD3A-4E9D-B592-66302ECC2829","rank":"normal"}],"P1643":[{"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":"e167442a35442d1316cfd023acd761390e2fe60d","datavalue":{"value":{"amount":"+0.9739503264427184","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":"Q2892686$41A899E1-B17E-47F0-B4DC-864767A17A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8d4573ad8ba166ed539cb8dadbd0e7ddc79357","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046139a1dbc6841e9a382d4f083fac38058e5310","datavalue":{"value":{"amount":"+0.8031612634658813","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":"Q2892686$9A804441-1C8D-4D1B-9C5B-DD9A658E51E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f7c95199155673d900161728724ea875d5de13","datavalue":{"value":{"amount":"+0.7965137958526611","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":"Q2892686$03787AA5-2C2F-430B-A0FC-9F758E9F7C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59b5928b1e43d68ac894bd580694aa2513a34b1","datavalue":{"value":{"entity-type":"item","numeric-id":809069,"id":"Q809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3e2a3f78bad1cd006c401c7d864716e8e056a2","datavalue":{"value":{"amount":"+0.7846560478210449","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":"Q2892686$54BF32CB-8ECE-4490-964E-546EE22EA51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61de9746c03f9458e5fbccb5f90dd4b50505df","datavalue":{"value":{"entity-type":"item","numeric-id":516033,"id":"Q516033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bf7ecfc398b316fc9dc727cc8d85f8903d951f","datavalue":{"value":{"amount":"+0.7783909440040588","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":"Q2892686$83265F2F-C9B0-4157-B3BB-AB5CDF2CA6FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892686"}}}}}