{"entities":{"Q4910418":{"pageid":6939997,"ns":120,"title":"Item:Q4910418","lastrevid":41887411,"modified":"2025-05-09T10:56:21Z","type":"item","id":"Q4910418","labels":{"en":{"language":"en","value":"A Proof System for Compositional Verification of Probabilistic Concurrent Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145832"}},"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":"Q4910418$FFA3B9D2-2B6D-46B0-B062-9684E423A1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f84a33230e5b11e057303e3075375b257412a739","datavalue":{"value":{"text":"A Proof System for Compositional Verification of Probabilistic Concurrent Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910418$CA7E81C2-016B-4E5A-B2A3-D8648DBFE7D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a6b68427364155a702c2863f0835738c464d9de","datavalue":{"value":"1260.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$8346C677-D88A-46EC-A6A4-75E3A68E0500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeeb3fe775de5b914d1db69b422cf3156347e012","datavalue":{"value":"10.1007/978-3-642-37075-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$974F0539-D1E0-42F4-B298-7F56884DCFF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910418$C2BD9C9B-62A8-4385-B8C4-67DBC5151B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910418$50DC6466-3084-4B0C-AED3-A2F11D9546CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910418$C44D9D2B-71DB-4804-9838-6BD19ECF70DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910418$165C6C45-EFC8-48B5-8B04-B217D61A16F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$B8E10C14-D830-40B1-9A68-4761DB6906E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$6B2D5ED5-6121-4F51-9F6C-9FE6AEF295C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$A2C102C9-3B87-4F67-99E7-290270C2DE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$C3DA0F5D-19AD-46CF-8BF9-1F409C4DB418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f1438ac48b9b24eb48d5dea2ca263ea0a2205f6","datavalue":{"value":"6145832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$2CB50F9B-D6CD-4CB0-9F71-E441A0523FD0","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":"Q4910418$6F3B149D-C126-4A61-8C1D-E679E946B2B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a07669a0d86be7233e594144b22df03a139d3c66","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37075-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910418$2BE9548C-B6D4-4D15-9CB1-408C202E45F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"064465155a81641f3f29c60a57378be8b3c2208a","datavalue":{"value":"W1568477142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910418$DC93631F-30D8-47FB-9EB4-3D1A4B3F5A14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd31365b997de4d19740c327b0da27c026f29ee","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd87420d24039ee842857d01a90dd221bc6f21d","datavalue":{"value":{"amount":"+0.91669774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$4E6664EB-BAC4-4451-987B-E875874D7B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05a96e7770c73a39d17464df9a315aa5df5be47","datavalue":{"value":{"entity-type":"item","numeric-id":5716749,"id":"Q5716749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847ec2aa7cc17d06f31101a8041b807d3b967e55","datavalue":{"value":{"amount":"+0.90930605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$6B73A903-485B-48EA-B000-243722C00B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a21934c85635d17da04c5d630e08effa9de4c4","datavalue":{"value":{"amount":"+0.9068488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$BD535648-F2C6-45D6-8D9D-401946EEB86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70211b293ec1f9ed1c863e31e5c51359b553df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3819969,"id":"Q3819969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8525d85b1243559083e95231ae9173c1727c78d","datavalue":{"value":{"amount":"+0.9052066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$86C9BF13-3DA4-4BCB-8DA8-C2F284107968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3086256c1500d406616bdf03c73557d2cdf24a17","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b8cce903fbe9b43251480bcbec1eba1285711c","datavalue":{"value":{"amount":"+0.9046725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$D5A51640-A96B-4368-AFD2-481C789F15E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a5e6fa7d33fe4c55bc35929d8e539b4e986c7","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d5336b0c5f5bcc61289869a2d56106a788fbcc","datavalue":{"value":{"amount":"+0.90236455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$EB72088D-4429-45DF-8D2E-B1D5413F62C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59615408db11f80645774f909fcfc1a67839ae4","datavalue":{"value":{"amount":"+0.901976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$2E040CA3-7BD9-4021-A530-93E468009F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876f6995aee1337445bbc34a648175b32643c560","datavalue":{"value":{"entity-type":"item","numeric-id":4296305,"id":"Q4296305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ede627958b14de48c95389fed779120a2bd3587","datavalue":{"value":{"amount":"+0.9016758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$2F801D48-C083-4855-8C5D-822D6982335D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf70a90999b3fb1450f24430082d8a3d25625110","datavalue":{"value":{"entity-type":"item","numeric-id":3172942,"id":"Q3172942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd66a03ac2be08c714402b7c4ba5ab58b1a7594","datavalue":{"value":{"amount":"+0.9009354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$17CE1035-D8A4-477B-AC69-97C47F94EF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fae46537c11b8e06fab95f04a1c6424ea37f29","datavalue":{"value":{"entity-type":"item","numeric-id":5096883,"id":"Q5096883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac2eb2753a02718c38b357e8e4fa7e416a39b3c","datavalue":{"value":{"amount":"+0.8995558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910418$A3127D91-BEFA-4A42-9E0D-ED3AE1DA9A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910418"}}}}}