{"entities":{"Q2786133":{"pageid":2796871,"ns":120,"title":"Item:Q2786133","lastrevid":51086972,"modified":"2026-01-16T14:37:40Z","type":"item","id":"Q2786133","labels":{"en":{"language":"en","value":"Propositional dynamic logic for message-passing systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789403"}},"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":"Q2786133$896534CC-CDF6-4E6A-A0E0-1E1B48B506A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c8de04fce4b286ea63477c96f1e7adf08bcc857","datavalue":{"value":"1201.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$72DD954E-5207-4152-BE15-ECD5C5ABE8A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4edc554850673b2c5ba9ad80f3c6d0c10381f4b","datavalue":{"value":"10.2168/LMCS-6(3:16)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$D53B4FFC-4896-43F9-B60C-F8014952AC35","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":"Q2786133$8F5C7EAC-5C10-4F03-8B3A-3F45E83F2428","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":"Q2786133$D6AF8AE7-A2F9-4EAA-BFFB-95079D10D260","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":"Q2786133$60DBF65E-BEE8-4B92-B1FE-A7764D4CA536","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786133$B44D37B9-8B3E-4350-B1D3-D1B62FBB53FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786133$22851F82-8992-4678-8E47-E861818E094C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$E5260465-8B59-4A1E-A5FB-B13575EA6687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$2A8EB868-F6F6-42E8-AD5F-A4A5EDEE55BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$BB296217-EC63-4878-8441-EC1E16B6D20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$BEFF9305-41EC-4A12-88C2-C04F01431EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d04d9e77c76730265996304df095c6f5cf54fa08","datavalue":{"value":"5789403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786133$D317D4DF-7697-49FE-B9C5-543BE27907BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786133$9051E2F8-CC43-4782-896F-EAEAC4C18A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bf6d7f7eeebfda2585b22d78a8ad1fef29cfe","datavalue":{"value":"communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786133$6E8A19B7-F795-4CF2-A7DC-6ACEEC997136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786133$D27F29FA-1F0F-4B58-B8B6-838010043C3C","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":"Q2786133$19B73900-A01F-4DF5-8BA7-7F16930AA4A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f959b8343d3fd4b21aed0c424097907555b5cb","datavalue":{"value":{"text":"Propositional dynamic logic for message-passing systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786133$5D6AF48E-0243-4D60-82A9-77653A316572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6784abe5d7197553d9e9f4c314bcab39854e4747","datavalue":{"value":{"entity-type":"item","numeric-id":5458843,"id":"Q5458843"},"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":"Q2786133$BFA4C872-3409-4872-A7C0-6B937DB7D355","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":"fc20e42324011ff4b416c96ab6fbd1e8db2b3e4b","datavalue":{"value":{"amount":"+0.8986324667930603","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":"Q2786133$ECECE3E2-A27E-438B-848D-DA10FFA1DE39","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":"d86cebd30eff310b2afdd4602cb5723951baf9b4","datavalue":{"value":{"amount":"+0.8867114782333374","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":"Q2786133$37A1B100-5D91-4173-8F66-183F177A7E54","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":"4218af580b6452b5b7a0bd13616bf3aad8c2406f","datavalue":{"value":{"amount":"+0.8579490184783936","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":"Q2786133$1B27FB33-7B2F-40F5-9C8E-0D5395F21619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930502d3c35a2035be7d959107ed4400e8f7cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5009419,"id":"Q5009419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade4ee5fe987917ed8469649a60a3dc95f6ad65","datavalue":{"value":{"amount":"+0.8197579383850098","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":"Q2786133$B692AAB9-3CB7-495C-A6ED-41140AFB8248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786133"}}}}}