{"entities":{"Q764285":{"pageid":766134,"ns":120,"title":"Item:Q764285","lastrevid":64161018,"modified":"2026-04-11T18:03:04Z","type":"item","id":"Q764285","labels":{"en":{"language":"en","value":"A linear process-algebraic format with data for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014287"}},"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":"Q764285$819B94AC-55C1-47AA-A808-D75302CEFB45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11de1fb4b2eda6621639e27e3bdc339f447041c8","datavalue":{"value":{"text":"A linear process-algebraic format with data for probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764285$7748BC09-63DB-45C8-A24C-2EA4E385D785","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df19013ec4d638a5ce0c88a6441f98f55aa0c9c3","datavalue":{"value":"1283.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$D7F8372C-5A2E-474B-AD6A-2AC3A99EF77C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$5C977419-EE8C-4F2D-932D-ACFAE90F1042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$685E3E43-1373-41A0-9FF5-64C2D218533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8205f7645ace19f38d4b0abd4fd4de5774377b","datavalue":{"value":{"entity-type":"item","numeric-id":507379,"id":"Q507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$4991FF5F-0534-4365-B6B7-73C503EB8E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$9B7DEB81-4665-4733-AA87-F1D726BE3C57","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":"Q764285$EE25A551-54BB-4685-B2CD-89018738062A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764285$70DF3CC8-751C-4B76-9A9F-B3A433FFA34E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6255aca30deb479f045b381d0dc094a9b7bcc307","datavalue":{"value":"A novel linear process-algebraic format for probabilistic automata is presented. The key ingredient is a symbolic transformation of probabilistic process algebra terms (terms of prCRL which is restricted \\(\\mu \\text{CRL}\\) with a probabilistic choice operator) that incorporate data into this linear format while preserving strong probabilistic bisimulation. This generalizes similar techniques for traditional process algebras with data, and treats data and data-dependent probabilistic choice in a fully symbolic manner, leading to the symbolic analysis of parameterized probabilistic systems. Several reduction techniques that can be easily applied to the presented models are discussed. A validation of the presented approach is presented on a benchmark case study, namely leader election protocols. It shows significant reductions of states, transitions as well as running time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$824369F3-2EE0-447E-9642-7074828705E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$1C084C10-5F03-4E4A-8E39-5B13F48632D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$B9A00BF4-1DD9-44DC-ACBF-915BD3C90FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$7F52C3C5-3029-42B8-8447-0BE5DD0EB847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$55B64726-D755-4ACB-9C72-FBB65AF5AFA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aeef0c02e4518181b9826a05158e2c44eb028fd","datavalue":{"value":"6014287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$26035EC7-CBD0-4B66-87A5-517F2B7A8DBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568e4b6f6a85f7fdc738e58f2c4a6d722175e68","datavalue":{"value":"probabilistic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$43067A7B-A273-4BAB-ABFF-9D9ABE57CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"081b79b4adfd295e5dab936c22cabd29ef04eede","datavalue":{"value":"linearization","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$4DCBEA55-5658-4C4C-9D68-1BF4F0852667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ee9c15865a0dd4f157b474893160812384aa91","datavalue":{"value":"data-dependent probabilistic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$1633CEE4-CAF2-4A14-8301-FDF5406A9073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c7758ed6c46736f07879bff8b435f38894c921","datavalue":{"value":"symbolic transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$B3AD436C-E8C3-45F2-9018-F488FB043A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$D4764E17-AD72-44CB-8CE0-3F8BEC8BAECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb546e6ffd5955adf2ecbb67852153bc108998","datavalue":{"value":"\\(\\mu \\text{CRL}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q764285$7C556B31-C5CF-41A6-85FF-2DB6605EC48B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$05DE1CD9-D88B-4F59-88AB-3DDED6E3FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$4E8E8727-5B32-40F7-9322-471333D943D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$52D9517D-B1BF-4FAF-A61E-807BC3C4F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$8137A15F-5E3D-4A15-8E94-C8F103655DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$D4F72F67-399E-4DCF-B017-E0AEC5F01CFE","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":"Q764285$5BC2FCD5-2007-4870-8A8F-40378CAEED98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ab4c941ef7e34f9ec39c1c299a2e794a030aee0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.07.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q764285$FFE3CD38-8A76-4A9F-9ED5-444DBEF6A55E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3570f72ddf3847bbb7f8a4cd9ab57124fe7081c4","datavalue":{"value":"W2018187447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$9BA23445-F0D2-43F9-B13B-5968B1297B1A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23cecd0380e1f90986ead767a386d7cd82f92e5c","datavalue":{"value":"Q57801041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$79CE68C5-8084-4023-8D35-8E37C104152D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$D2EBFBC2-34AD-4895-9898-FF1D1BEC4A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3f2f2ebce38bf116ec41928db66587659e692","datavalue":{"value":{"entity-type":"item","numeric-id":5429327,"id":"Q5429327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$DAB58E9D-130D-498F-A488-F634CD7783B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0578163b10ec695dc0aac06af320d6a8f5f3de12","datavalue":{"value":{"entity-type":"item","numeric-id":3636872,"id":"Q3636872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$222AC27C-5703-48A1-8765-5F4A12816AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2383af19b89dceb8df6d73900f6c3fb59318a","datavalue":{"value":{"entity-type":"item","numeric-id":5429326,"id":"Q5429326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$7EB10405-792B-4A28-B465-E3DE183AE4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$8BFBBE8F-BA76-41B9-B990-F83634A84486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da470dfdb973baa9fc19c42cc86d12a22b73a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$6E3F202C-30A4-4041-8DC4-625B88FD71AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae2538fc8d2d22a325f9c06cc9dd15cff1d3f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$F3888468-F719-441E-AFE2-776701246BC1","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":"Q764285$64E9F6F5-3260-4A93-9CDB-7C641285132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa05e64dbbf7578ee73cf305f595ff14000c8071","datavalue":{"value":{"entity-type":"item","numeric-id":2368694,"id":"Q2368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$5DE119AF-2265-4946-A9AC-A0560564F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281171d82bfffcff31075aa89b9473ea31a64e49","datavalue":{"value":{"entity-type":"item","numeric-id":1349249,"id":"Q1349249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$B614B528-E671-45C7-9D3C-A02DE2AAD952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d96865302774e8a0f8e2de1f5d02bebbdd9fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853730,"id":"Q853730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$DF1C4E42-67B8-48EF-A5D9-22EC16885AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9b645d9f37735823e86c3d18dea20531fc4e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3648690,"id":"Q3648690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$C8FF6313-B3A4-473A-B317-7B413C962198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c430855aaef7af72f0376eaf5a62149a8e8b38f2","datavalue":{"value":{"entity-type":"item","numeric-id":883139,"id":"Q883139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$912CE761-B2EE-40AE-8669-FE476887BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4881031dc675a85a79cae7b8b0198f49d057c03","datavalue":{"value":{"entity-type":"item","numeric-id":3069997,"id":"Q3069997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$ADCE4C47-3807-41CD-AFA8-4CE2F1865609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5cabc1608e6443b5f3827492573b28b5372878","datavalue":{"value":{"entity-type":"item","numeric-id":5505595,"id":"Q5505595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$B5DC03C6-088E-40C4-9A06-6FE0FBFA5B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed8c406d428f511f7f2fcb0abb354fd8a053516","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$6801E115-2381-40E2-8C62-FDE004CA5C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$4E46D001-AA81-43C0-B998-1DADFCEA71FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23b6e54a49f6404b1becb9f5148a66c34076cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$9ABBA48E-ACE8-4108-A8CC-D84BDB5AAB48","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":"Q764285$BBF8CD9E-04BC-46BD-B8DC-2C5F51AB335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$7A07B9D1-336A-4395-B05D-FDB55AFD3FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e86dde2ce252b353fcf619267682a107fb13c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$C586A811-87FB-4592-AA15-5ED63ECBD795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$14DF47F5-42B2-4FE6-B0E3-36E5D24533C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c4ef2c9489180d0debd161e091f6df4acfc913","datavalue":{"value":{"entity-type":"item","numeric-id":918187,"id":"Q918187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$C908470B-9BDF-4692-975E-9BDBA2AC253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d99d1aec144156c4eedca85e9fea065f7a8a8c1","datavalue":{"value":{"entity-type":"item","numeric-id":2848414,"id":"Q2848414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$70BA0AAD-D41F-4D65-B92B-17B751CFE9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96cd3c8e279753c9d9b2917ca65be0b3c086ba9","datavalue":{"value":{"entity-type":"item","numeric-id":764285,"id":"Q764285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764285$162DBFD6-5020-4822-82FB-0A2AD6375B4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ace0d4f7fbc69354721f9b3b94a44bf023bfa284","datavalue":{"value":"10.1016/J.TCS.2011.07.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764285$86AB173B-1714-41C0-ACF0-45DB9865F0F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a7b5b0e1d5bd801b77869d7b6ffa9693b1e5f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ca9453ed3c90fba4bf2826990aef8ef62acc63","datavalue":{"value":{"amount":"+0.7321699261665344","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":"Q764285$8C791B11-5E1E-4FE6-B1BC-B8C21FB95922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0add54a764ac02f2329798cc005bc54762c5966d","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e769282f292b96495f421444890e9d0bbb6944","datavalue":{"value":{"amount":"+0.7283024787902832","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":"Q764285$9FEF1763-FAA5-477A-8BC1-96E39518F76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30be3119feeb4fe0cb945cb7d65eaf2f8edef","datavalue":{"value":{"entity-type":"item","numeric-id":2915179,"id":"Q2915179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4382f655938b73ee3c67dd6d69c38f61e075c93","datavalue":{"value":{"amount":"+0.7274749279022217","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":"Q764285$FCA6543B-BA85-4DFC-8944-793D69978E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496dddf2b6fb6f3fab8e1df53a92f064f4e0321a","datavalue":{"value":{"entity-type":"item","numeric-id":3090825,"id":"Q3090825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859782dac2a9c92f9d1dbbc8afdbb11c25ddf7c7","datavalue":{"value":{"amount":"+0.7263548374176025","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":"Q764285$55A834E3-0CE6-4B5B-9F96-5F2A5CAFFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1b7b95c291762147a05dfd948c2ed24892b492","datavalue":{"value":{"entity-type":"item","numeric-id":672230,"id":"Q672230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f8f7c6eeac223a8a4f3700ead6399ce7ca4c1d","datavalue":{"value":{"amount":"+0.7216674089431763","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":"Q764285$686F8570-6591-4570-8942-DDADB0E6BC66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear process-algebraic format with data for probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_process-algebraic_format_with_data_for_probabilistic_automata"}}}}}