{"entities":{"Q5891071":{"pageid":7926866,"ns":120,"title":"Item:Q5891071","lastrevid":51768356,"modified":"2026-01-19T22:43:42Z","type":"item","id":"Q5891071","labels":{"en":{"language":"en","value":"Propositional dynamic logic with converse and repeat for message-passing systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185343"}},"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":"Q5891071$1D3F8C0D-8547-450F-84C2-B66EF5B4AE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99580d7811aa2659ee67214260f1baeff54101d1","datavalue":{"value":"1297.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$9D5AA11A-5929-4A64-BF5D-4CB543440321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2d45982673c2b9575f6d33dfe3eee499368bc1b","datavalue":{"value":"10.2168/LMCS-9(2:12)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$D8E7EFEB-7424-447D-ADD3-13E1C3C7432E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e2ea6264713ed632011853c9fecdfff9f79606d","datavalue":{"value":{"entity-type":"item","numeric-id":2398212,"id":"Q2398212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891071$EF0FDAED-0CD3-4FCC-826D-6CD964E78D26","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":"Q5891071$8B8EB466-A891-45B5-B509-7602E7C0A29E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c8cabbca9130b549339a6dd53d71f49214bfda6","datavalue":{"value":{"time":"+2013-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891071$98182522-385E-4309-B2F4-A1E6250EB5D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$39F4570F-1C2E-4975-9195-233063374267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$987E763D-5059-43B0-BE71-E4432CB9FD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$1E0064B3-E1BC-47D2-B4F3-AE2F4C0C191F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$A0379F00-F58A-48D7-A47A-3E53D8869EC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89d7a683f655a3df5b5b180766e92e07d597a811","datavalue":{"value":"6185343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$369CEA12-B142-4229-BDE2-C10C2DBDB12D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891071$57A906CF-B81C-489A-AF2C-C35AC49C8382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891071$9FD84D84-2303-4DFF-B23D-6929D62C81E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bf6d7f7eeebfda2585b22d78a8ad1fef29cfe","datavalue":{"value":"communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891071$07E89270-760D-4CDE-8046-40CC72A04205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891071$CB8DF34F-F5FE-424D-BEB3-56BA67B742FC","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":"Q5891071$20ABBCD2-03DC-4F92-B4D2-16BCFDAE3794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb93f89a14e38bbdbfb64f7605343c204884bf32","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(2:12)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891071$09913C43-447D-46BA-9954-783B8B87EAFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"186eaf4544959308f01e991dc236a535b65c5414","datavalue":{"value":"W1967985135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891071$CF9C3C4A-0DEF-436B-81E7-C8A7F91965F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b23152ee6873a59255f950e0427d8fd557e8516","datavalue":{"value":{"text":"Propositional dynamic logic with converse and repeat for message-passing systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891071$C2BBEEEC-707F-47D2-B046-641F3D16240C","rank":"normal"}],"P1643":[{"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":"acbce04dc31478d36792ec61d5f7a80ca9c0fdc1","datavalue":{"value":{"amount":"+0.99758642911911","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":"Q5891071$98EE5C32-1053-402A-9310-2A914BA188E5","rank":"normal"},{"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":"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":"Q5891071$A2B46D05-28C0-45A5-8C7C-1A92864333E0","rank":"normal"},{"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":"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":"Q5891071$24730718-4C6F-4790-A207-0F1DECC56151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb974bc2d605da6e61f3a345b56bfa334ee03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7478b9655f7aa334e3aaca33b617724fdca3ae","datavalue":{"value":{"amount":"+0.7903348803520203","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":"Q5891071$0EAE0E07-0E08-41B7-9A5E-D53D713EA31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fd8add0a2bcf074e67b3a6564107ff3d97cae","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a637dd2a1f208b02caf3e6937154f09702af427","datavalue":{"value":{"amount":"+0.7890958786010742","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":"Q5891071$359EA784-8FC8-4AD8-8217-2073F9DBEC16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891071"}}}}}