{"entities":{"Q672230":{"pageid":674079,"ns":120,"title":"Item:Q672230","lastrevid":63704154,"modified":"2026-04-11T14:58:25Z","type":"item","id":"Q672230","labels":{"en":{"language":"en","value":"Probabilistic communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984873"}},"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":"Q672230$620A1758-060A-430A-B3E5-B17A322D5DCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"253a826e22a09009daaaeb3bec6b498b65fb7822","datavalue":{"value":{"text":"Probabilistic communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672230$84F080BF-B2A1-4AE4-A6AB-501C4CF8CFB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"883a7d0391322279c269d68011f928e00d0de46f","datavalue":{"value":"0872.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$A935FDA3-7FB9-446C-851D-CD8DAA9F6081","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0990a18c306a831f4949d5fc4cebc300b9a38c69","datavalue":{"value":"10.1016/0304-3975(94)00286-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$3FD156F0-6FF4-406F-AEE2-57474D5A787E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec76d719dc023211d823bf215f3f145d1ae06679","datavalue":{"value":{"entity-type":"item","numeric-id":284066,"id":"Q284066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$3243398C-2050-4E9F-B353-9DF536368294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$BB8F2712-7EF3-4667-AA8E-84762CD1F582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672230$C2164E3C-EBCE-4795-B550-A46024D5931A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$E8D20DD7-66C3-44A5-A292-A99F82815A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$BA40029D-35CD-47D7-A758-C98A1D52826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$82C51BB7-9344-4606-9817-8750C26FDFCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13600077aeced1da39c6e69ea898d2be106da18","datavalue":{"value":"984873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$F4ED643C-083B-4FDE-BCFF-1E8445CBBA4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b902812c304761498f6e65c6bde29ae936aa5f","datavalue":{"value":"communicating sequential processes (CSP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$D30A1C58-765F-448F-A8E3-885B745E43BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0120d68a104ed14cc88567f8b4c06dcf5f75020","datavalue":{"value":"correctness of probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$7E72AD87-0973-4BFE-9953-0EBAEA106542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bbc3726d083e844883df4bf25ea7acf2b49af3","datavalue":{"value":"probability measures on the space of infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$C805F698-085A-4F38-8B30-E1DF4BD247AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a52d2db740494b9d86f3a2118a54f3b913eb6f2b","datavalue":{"value":"conditional probability measures of infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$57D025E9-34B0-47A0-86B2-288A0E3C324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acbeb790aded42b8fb2fb808676d6ed321042c40","datavalue":{"value":"proof rules for the deterministic properties of probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$3C49353F-9592-41DD-B0BE-3702C97256F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e60fcf9158aa98d392c00bdcc895e775bd094d6","datavalue":{"value":"self-stabilising tokenring","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$3CE0DAE0-D61A-43CB-8133-8BFCC675B299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbf374c6afddeffce44d11d383cf4b96c424f21","datavalue":{"value":"specification of distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$A2D7E254-6719-43E3-86DF-4053E185EF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q672230$0C745505-5E55-4CBA-8E47-0AC2083C3AAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$59301AFD-C13E-483F-842E-7225A3058989","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":"Q672230$7E62A569-1559-4205-A93F-92B99EA10BB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22ef690176c7df6162eedf63a343905d5e2473d4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00286-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q672230$F476BCB5-8B74-47A1-9092-1115BDFC7F75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"565e0a493d87496fa632a5153ab65ffa625ea0be","datavalue":{"value":"W4212872794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672230$D8093136-160B-43A2-B091-6EDCB6A144BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$6F8C3D19-0DF6-4C99-8604-9AC99205484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9735eed3f48464dd20623e94466b9c786ed1230c","datavalue":{"value":{"entity-type":"item","numeric-id":4197800,"id":"Q4197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$B647D051-F40E-4EA5-BB21-884A52E5DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$D537A7C3-CDB9-44FD-8B2F-1149C3534390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dec0b0e7666406d2ead6b70adfd641079e3f0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1329195,"id":"Q1329195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$24790D48-62FC-4A43-981D-D80DDF0E4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9595afdcd6f0a34d637d70f3c89fca691c6293c","datavalue":{"value":{"entity-type":"item","numeric-id":3241504,"id":"Q3241504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$B4C39D83-0DFB-4B28-8ED9-7C627C40D5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$134D154E-04A9-4A73-8403-82FDBFF2E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932e1658ba5f2c3c316d94219b79648def27b84c","datavalue":{"value":{"entity-type":"item","numeric-id":911752,"id":"Q911752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$1DCC248A-B6F9-4688-9E06-6260A1E44BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$36408A79-3B4B-4555-A633-0C4B56E9779F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$79BF36FF-3DA4-4DF6-BCB4-93168B024407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$227CA840-C26F-4CF9-A5AA-6E8390576F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$804815F6-94F4-4890-A889-B2F460E11D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f409b11aa58cdb7a4c61c6882075a636adc8665f","datavalue":{"value":{"entity-type":"item","numeric-id":1261318,"id":"Q1261318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$7AB0502D-E229-4612-BDD5-7D4C43E745F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$CE0E2EF6-D7D0-4013-A35B-918665D9326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672230$3BD63BEA-047D-432F-A57A-4277FF4ED8A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9974e22b074cbe5c9f9d3a3a445cefadb37814a","datavalue":{"value":{"entity-type":"item","numeric-id":2365393,"id":"Q2365393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369c6d23baab42c3ebd4dda205a68f3497b41673","datavalue":{"value":{"amount":"+0.8616675734519958","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":"Q672230$DE3DFEBB-683D-4398-9829-8F6BF8AFD85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d56b32e29d6a3188b988c2a5923f130e699bba","datavalue":{"value":{"entity-type":"item","numeric-id":5754515,"id":"Q5754515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88faf0a7bde9b24ed007720cce9c7a35d132e8ab","datavalue":{"value":{"amount":"+0.8389077186584473","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":"Q672230$7578EA17-8D30-4EE8-ACCF-FBCAE58A0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cf4e07dc7234f03b47447521843638c9939afe","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82af697772c80eb1a8aa6c5ab43f2419046ca8c8","datavalue":{"value":{"amount":"+0.8231141567230225","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":"Q672230$5174D1CE-CC29-43F7-8DA1-827DF3180651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26319b61596e76ef8b4c053b836c35feab2c6f9a","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa920dc1124c386498f0f8c7e68b7751b183a0b","datavalue":{"value":{"amount":"+0.8137816786766052","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":"Q672230$AD0BEC3C-6E66-4D01-9181-264747D40156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e36f594da96277922367587cc330f103cdba63b","datavalue":{"value":{"entity-type":"item","numeric-id":4222974,"id":"Q4222974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167b50cd429d3afe1bf5db08e2ded0a28b96dfa1","datavalue":{"value":{"amount":"+0.806575357913971","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":"Q672230$28C1118D-E54A-44CC-8810-00D4095F628B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_communicating_processes"}}}}}