{"entities":{"Q907263":{"pageid":909111,"ns":120,"title":"Item:Q907263","lastrevid":65256726,"modified":"2026-04-12T01:20:54Z","type":"item","id":"Q907263","labels":{"en":{"language":"en","value":"A quantitative study of pure parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6534994"}},"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":"Q907263$DD065FCD-1C06-4416-9E08-B791902A4BBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40af9c5a6eb8bb273fca0de97d7e2827ff7afcd7","datavalue":{"value":{"text":"A quantitative study of pure parallel processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q907263$2470E844-C2E3-48C1-AA7C-06DC31CF6519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6cc96f7a792abc92b1e2057777ecdeb948bb2b","datavalue":{"value":"1329.05066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$475A0D76-0CAF-4546-A7AB-C65B2E90E307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3fdaaac0e110cbc4c911ad49e4f3b8502cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":391392,"id":"Q391392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$9BA15DE1-D6AF-46EB-9E0D-B7C34ED532B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b35478b4a24e45fa6a3a10e422c54976753b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":408541,"id":"Q408541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$D64B3DD3-4A90-4E65-AA30-705F79771711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"debe90ded34c13dc8b9f4b60c4e374cec491bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":2037937,"id":"Q2037937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$AC1E10B6-845A-48A0-A81E-9EA4256ADE7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$53FADF2A-D8D3-4A7F-A88E-4CE9C36C4F0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3f0504cdbec36416c8068369865aa5a0a508332","datavalue":{"value":{"time":"+2016-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q907263$A8894E6B-3078-46F8-B02F-41B4A7CD660A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c6449018ecdfdcc20658a14f4bbd5df905d8963","datavalue":{"value":"https://arxiv.org/abs/1407.1873","type":"string"},"datatype":"url"},"type":"statement","id":"Q907263$31CA6B50-3A60-4D73-A5EA-5FD6DA18EF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0060e5f9b27a7fae461dc553dbba08b63ab32432","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v23i1p11","type":"string"},"datatype":"url"},"type":"statement","id":"Q907263$466DA545-756F-4548-8EC3-E96EEFB81D13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40ea13d32b2e9508f000babfab571e8c3980a970","datavalue":{"value":"Summary: In this paper, we study the interleaving -- or pure merge -- operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-called combinatorial explosion that makes the analysis of process behaviours e.g. by model-checking, very hard -- at least from the point of view of computational complexity. The originality of our approach is to study this combinatorial explosion phenomenon on average, relying on advanced analytic combinatorics techniques. We study various measures that contribute to a better understanding of the process behaviours represented as plane rooted trees: the number of runs (corresponding to the width of the trees), the expected total size of the trees as well as their overall shape. Two practical outcomes of our quantitative study are also presented: (1) a linear-time algorithm to compute the probability of a concurrent run prefix, and (2) an efficient algorithm for uniform random sampling of concurrent runs. These provide interesting responses to the combinatorial explosion problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$A2C6AE7B-8F25-44F1-A762-61AC56C9C3AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$FE6ABF97-6BB2-4182-8061-FFB1BB73C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$30AA199E-224B-463E-B9D5-EB90CA03D746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$4B5B2383-D0CA-46B2-AAAC-4257EFD1903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$39B61CE9-31D2-4AD9-9000-5DCB8C7E0C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a65ea714683449406757118bb3970b9969c597cd","datavalue":{"value":"6534994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$5B70993B-1F9F-40B4-8422-0635B724991C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff5aa699b56efef2fa7149ab5dd9da458f27427c","datavalue":{"value":"pure merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$5BF3F465-3DEE-4A07-BB4B-E8ADDB90A2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22115d1594fe386f6ec9265062a741d80ab52c","datavalue":{"value":"interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$EF083EDD-4DE0-446B-8572-3A66C43ABF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$D2B9BB2B-7474-4CEE-9497-55530206A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$3EA45BF0-6F52-416D-90B5-6B8BB8DEA645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"998a413378f32179977443583804d0b05c6ecd04","datavalue":{"value":"increasing trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$570CB78E-380D-4558-9916-DEE0F0B7CB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f3e28cc85f3362f21d4f0f87c623fef128c160","datavalue":{"value":"holonomic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$BAE478BF-963A-4140-82A8-9E508DE0A82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q907263$FA6187D1-70DD-4799-8051-B6DD4B7A25E2","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":"Q907263$A47C5E5E-5A19-4D52-8F7A-243EA5AA9B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c955c70a9aab22205a232fe26882c77a24df8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$7C2E8F3A-D882-46C9-80B5-05D83A6F5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bdce01e5d3af9c414fcc4b6dfd3d6d62bbed25","datavalue":{"value":{"entity-type":"item","numeric-id":1325960,"id":"Q1325960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$AB5F0B99-8016-481F-A8BA-ED6C41F6A5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2254db7fc4165e806aefcd032dfb116a8a9bb1b9","datavalue":{"value":{"entity-type":"item","numeric-id":424397,"id":"Q424397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$07C4911B-77D4-4802-B8FF-B88095432284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a17f9c3037969d9c628ee1c1cf50712f409c20","datavalue":{"value":{"entity-type":"item","numeric-id":2920847,"id":"Q2920847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$0976069C-BE14-4B94-8906-8D3826D0F67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8726490d2491ffb511f7c9d30cc9035996fcda4f","datavalue":{"value":{"entity-type":"item","numeric-id":2963932,"id":"Q2963932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$6E34D43E-5C90-472E-B9CD-57D2630E5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5175cbdc044ecfd2758d18db8c8e9b50128629","datavalue":{"value":{"entity-type":"item","numeric-id":5174965,"id":"Q5174965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$3E33E77D-C3B7-41E2-90FA-0AA9A7D4A9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5b0c9d6afe4f1b8f7b47f32232096ec6d212f6","datavalue":{"value":{"entity-type":"item","numeric-id":1117926,"id":"Q1117926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$A6C063FF-5976-4F4D-95F8-17B9CA08C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$72ABC51D-AF2A-45B4-81C1-037D142A2823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$C1A28D0C-E46B-4407-80FC-1792C0E635AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$3C795006-2530-4580-AD35-82DBF3D77CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed55385b8d1b4e94ee519738e375929d4af8fff2","datavalue":{"value":{"entity-type":"item","numeric-id":1282099,"id":"Q1282099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$DAA1F70D-46EB-48C3-A92D-BCBDB5092E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c0bf79d428c740c926b5e2a478863e688bf48a","datavalue":{"value":{"entity-type":"item","numeric-id":2530258,"id":"Q2530258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$1FEFF086-8C8A-408B-B772-94FA0072935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$102F5CC9-B751-4AB5-9D61-8AE64C37397E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a456b752a8f7c1b3f6c263a047685ca2986de2e","datavalue":{"value":{"entity-type":"item","numeric-id":659651,"id":"Q659651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$CD76353F-9C84-41C7-81A7-D6447C29E71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7519a5b9ea22e3dc837bedcb5feb1325d47f774c","datavalue":{"value":{"entity-type":"item","numeric-id":4028873,"id":"Q4028873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$4E292F25-B52A-4B93-9365-8097B2AF86F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce83546bebdc943dbe7eec3e48fb139903c86a5","datavalue":{"value":{"entity-type":"item","numeric-id":2920850,"id":"Q2920850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$5F11537F-47E1-49AA-89AA-D9196F492517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928104aa4a75fdc26cf965c15c38f20ff485dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3516035,"id":"Q3516035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$E5B84A40-EEC1-430D-AC80-BA2CE3D9FF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8d6afcc0f2ec7b0126ec742aaccdeccbec8244","datavalue":{"value":{"entity-type":"item","numeric-id":1201808,"id":"Q1201808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$4936C37A-945C-49DA-A109-0F5F8A9C93CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$4215B059-0E5E-41DD-8C45-8B595C44F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$8B39D656-279A-49A5-ABAD-CD8B193C255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ebe229a969cb3b92edc01f8bcd303c6f6e17cd","datavalue":{"value":{"entity-type":"item","numeric-id":2368931,"id":"Q2368931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$5976C6B8-3B23-45AE-879C-E884EADCB7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0755e44a6e3d9306456d48ead77864fbd7d3ec","datavalue":{"value":{"entity-type":"item","numeric-id":674629,"id":"Q674629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$DB1BC892-32BD-42F2-9195-3C51118203F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd894320d40d24f2bcf5a7cf17528bc8c529656","datavalue":{"value":{"entity-type":"item","numeric-id":2341249,"id":"Q2341249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$BFBC2743-D643-4F04-8FD8-E50EE0CC57C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c2224374d232336acda947332972e7b0b01797","datavalue":{"value":{"entity-type":"item","numeric-id":4369384,"id":"Q4369384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$2A2D1C88-12BF-4816-A940-E9430E53B182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86b5ad5ea318cb07bc08a6e7e67ca411ae23020","datavalue":{"value":{"entity-type":"item","numeric-id":4175300,"id":"Q4175300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$77B4F938-FE35-43AB-B606-E2E918257206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e171791286368ce24f8cc2823bac4f507f4f918e","datavalue":{"value":{"entity-type":"item","numeric-id":4910750,"id":"Q4910750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$7D11AB62-84A2-4DE8-A541-EC2AE26195AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9179e1da7c81df0025f61fd536ed098f5e64c0c","datavalue":{"value":{"entity-type":"item","numeric-id":5599275,"id":"Q5599275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$90498357-31B4-4A05-B9AD-13F79511CA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60b34613f74a9699fa72502302bbe4a9028a1ad","datavalue":{"value":{"entity-type":"item","numeric-id":754228,"id":"Q754228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$53A82791-5974-41C4-A7F0-3E35D7DB99D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18172e9af6b821b44c5daf17d6c84741627f8348","datavalue":{"value":{"entity-type":"item","numeric-id":2645775,"id":"Q2645775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$9283DBAD-B42A-4868-9320-E1A44610211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25e8527ee99f514bd6780d3f428e77ec9bc20c7","datavalue":{"value":{"entity-type":"item","numeric-id":3228715,"id":"Q3228715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$D9223A0E-67F4-4E09-BDBF-A2D47E354CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6008497b77b3f32230f88fa41be4f8753bdee162","datavalue":{"value":{"entity-type":"item","numeric-id":1145145,"id":"Q1145145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$F2F21934-D02A-4C2B-B08E-7F7976EF3BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d05496c40a1353e1f9ecbb78975cbab472fcd3","datavalue":{"value":{"entity-type":"item","numeric-id":4371576,"id":"Q4371576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$4490118C-44B9-49E7-9762-98A89CBBC725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe7b5a086fd30673c32562ea91803df2eb085a4","datavalue":{"value":{"entity-type":"item","numeric-id":3893303,"id":"Q3893303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$404CB664-732F-4291-A905-8184FEC75580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ca7e27e9265917f99011a3430b23c9ab063af","datavalue":{"value":{"entity-type":"item","numeric-id":1173698,"id":"Q1173698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907263$07AA2A9F-EBD6-4A0A-B007-B0FBE0FF7BE6","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"03a191877510473711569b992aa75c0913b1ae67","datavalue":{"value":"bafkreicgqtez4w2honir7iwvye57bv2okcjdun7mgpa2eorfslifavjtbi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907263$441E751B-13A2-4157-8B9F-B8E4BE8E17D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fbac02ea855c45ffa87d96f0038f297b45c59b","datavalue":{"value":{"entity-type":"item","numeric-id":5174965,"id":"Q5174965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f571589e77cd4c3d7bb58583a9de27871f35c91","datavalue":{"value":{"amount":"+0.8650774955749512","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":"Q907263$290F9CC6-D679-4F21-8586-BB28F82B88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b87858adea361b60588b6628f907be3593d310","datavalue":{"value":{"entity-type":"item","numeric-id":2920847,"id":"Q2920847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2638af55fe9713c047670eb84c3f37877bda0a93","datavalue":{"value":{"amount":"+0.8119049072265625","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":"Q907263$CF1D11A9-70BE-4114-925B-6CFB016B5A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7beb8fdd958de4c2fa911085eb743e9babba7f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2963932,"id":"Q2963932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746b8c53d436a2f8b4d7cb67f9c519a3e31a5498","datavalue":{"value":{"amount":"+0.8034053444862366","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":"Q907263$16BFB673-828B-44F7-92B2-1D844946D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87358632b3db524d32cd03b6bff6e0fe331f0cc1","datavalue":{"value":{"entity-type":"item","numeric-id":2120961,"id":"Q2120961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65616a61826cd40f7dc153fd5c641ae07efa5f98","datavalue":{"value":{"amount":"+0.781420886516571","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":"Q907263$5AEA813C-677D-46E0-BC3B-FB5F78C3223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d30c929958e1c52688c4b2cb8c1d28aa7f5b13","datavalue":{"value":{"entity-type":"item","numeric-id":4993536,"id":"Q4993536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8b47a647c6b174784b4afe09943d1e5462b6c9","datavalue":{"value":{"amount":"+0.738142192363739","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":"Q907263$A9EB1928-E5AA-4321-BD48-678205E8B2CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quantitative study of pure parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quantitative_study_of_pure_parallel_processes"}}}}}