{"entities":{"Q5458843":{"pageid":7488402,"ns":120,"title":"Item:Q5458843","lastrevid":58589859,"modified":"2026-04-05T21:44:31Z","type":"item","id":"Q5458843","labels":{"en":{"language":"en","value":"Propositional Dynamic Logic for Message-Passing Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267233"}},"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":"Q5458843$1B8C520C-64E0-4A99-8046-F33B70F4C709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8859978573b577a04ee2601bf3a452d949bbad4","datavalue":{"value":{"text":"Propositional Dynamic Logic for Message-Passing Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458843$6F866C5C-F483-4B4B-A6E2-91E208A5D137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e1bc04f157333a42fecb3801253946a9930eb1a","datavalue":{"value":"1135.03335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$715D8BA0-2ED7-476B-8735-8BAD2D937A6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"816dc3f801c93be4fd0c83fafe54104223392c3d","datavalue":{"value":"10.1007/978-3-540-77050-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$3D20C841-F390-4885-8786-6DA6A543CBC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$5D582ED9-25BB-4E46-B4C5-AE2D70608D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bade51deaa7ae5a5c64fb9812dcd0bbef051f96a","datavalue":{"value":{"entity-type":"item","numeric-id":703494,"id":"Q703494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$6085A845-5F09-4A36-8490-DF9785D1D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$8898E589-E42C-4323-A22A-81D88882CE3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$C381FC1B-6779-415B-83D5-35FA4503E9A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458843$1451112D-14A8-4552-B422-4CA2A373BB3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85032fe267571e08d236362ae96a7ab0ae53d338","datavalue":{"value":"https://arxiv.org/abs/1007.4764","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458843$B5880379-A16D-4DC6-89A8-39CC71F8F424","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$B5683A89-B82F-4F21-9ED3-37C368F2B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$29CDAC66-5033-45B1-8072-15AB0451F2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$B6BDEF27-CC3E-4B1D-86A9-943EC54DAD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8beb0235cfd3b608a517ca281fd47360f92cc7","datavalue":{"value":"5267233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$67A60CA1-27A4-4465-A53B-ECBE3A034A92","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":"Q5458843$F67A3808-57BF-49F7-A8FE-3D221A1BE5C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5d9edf53cb5e31ccb7dc15d319ba920e79326a3","datavalue":{"value":"W1974771355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458843$59A449F1-16A1-440F-B54A-88511CA88E0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d93451df5193ff36857124bab9011eb9b098280","datavalue":{"value":{"entity-type":"item","numeric-id":948076,"id":"Q948076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$ECA2AC3E-F646-46E3-B9C3-26B02A04D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90e983d275654cfa1f1fca8642e9f24c34a5ca2","datavalue":{"value":{"entity-type":"item","numeric-id":5458843,"id":"Q5458843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$310A4A83-A020-4C2A-A49F-121DC87935FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$E137EAF9-4D02-4E5B-96F2-EDE8B144BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$B1ADE375-EB8E-4AC1-AC57-4376EF74FE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$665E9A4E-501B-4959-A90C-CDAF2AD5886A","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":"Q5458843$BCC07542-34D4-4778-94A4-A619354B5E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5267a6253867a8850f88301d5f8f0ed3681b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5900568,"id":"Q5900568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$ECD7524C-ABFE-42F9-8AA2-6E47459E2F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$E430834E-2CB0-4FFC-9490-7141CECB6879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c34147ffd6c06a9dd1a5280776b0af56a634c68","datavalue":{"value":{"entity-type":"item","numeric-id":4737197,"id":"Q4737197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$E51DFAE6-856A-4816-A432-9410F32E1C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641f7a1533f6ac8244a7b3a6697fda0ed03c12ef","datavalue":{"value":{"entity-type":"item","numeric-id":6044107,"id":"Q6044107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$57240C6E-AEAD-4DFF-B029-2F056005D4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$19CC1FB5-BA9B-4744-B059-D7987452BC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8421bf31d8b0704e96001f7467f1d058f77af7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4474224,"id":"Q4474224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$2C5B997A-737A-4FAE-8266-D3253C0C6482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1409cb70fda59fe3d2b6c9b96c0b2febd70386","datavalue":{"value":{"entity-type":"item","numeric-id":2754167,"id":"Q2754167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$990C31B5-3E54-4492-A9EC-8173350B728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c97726108eb5c94e4f01a19ba698615051e785","datavalue":{"value":{"entity-type":"item","numeric-id":1886450,"id":"Q1886450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$C328989A-C99D-4BD2-9C04-3D200663624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458843$2B81961C-63DD-4031-8896-73B1126864C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d5fe473de3e1a70316ff6cb0f956abdd177268","datavalue":{"value":{"entity-type":"item","numeric-id":2786133,"id":"Q2786133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15e2a83923bc15c9459a2e27dcd5e7f1cc488b6","datavalue":{"value":{"amount":"+0.9848039150238036","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":"Q5458843$B609F721-3CD0-41C3-B17F-5A67BB68B175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea9538188ccde7e0c157dd9eca49b4685f90bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5891071,"id":"Q5891071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4e258c91861ef3d12d8e51feb759b92f3f8efe","datavalue":{"value":{"amount":"+0.8961027264595032","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":"Q5458843$9938B15E-03E6-4ED2-B644-8BF55544F7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b7ba46a6482267a731695dc3c3915a20737b9e","datavalue":{"value":{"entity-type":"item","numeric-id":5891761,"id":"Q5891761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aff9934e82b167a8408342ca7da950af68e46c","datavalue":{"value":{"amount":"+0.8828985691070557","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":"Q5458843$75EF9582-A858-4EE8-B179-AAEBB7570067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e828c661f65b9f5259ec2b422fc403adc088bfd3","datavalue":{"value":{"entity-type":"item","numeric-id":2208242,"id":"Q2208242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea92ed215cc45ce2c0122c963a50d4b37e1655e","datavalue":{"value":{"amount":"+0.8435417413711548","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":"Q5458843$D1008C7E-583D-4796-8417-ED87710FD046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178c6ca41f71d94f4e43abd50684df8de3994d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4415260,"id":"Q4415260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396984969bbcb636ff5da324293b955b5412f6ea","datavalue":{"value":{"amount":"+0.7990348935127258","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":"Q5458843$C3DD0F01-4CAB-4739-A305-C68A10EA0405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458843"}}}}}