{"entities":{"Q272301":{"pageid":274068,"ns":120,"title":"Item:Q272301","lastrevid":60549141,"modified":"2026-04-10T17:40:42Z","type":"item","id":"Q272301","labels":{"en":{"language":"en","value":"Declarative event based models of concurrency and refinement in psi-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6571108"}},"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":"Q272301$6D874BC9-2E1D-4E95-B6EF-37CA9940795D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604a76df8b51915b32aca6569ab73b4b32dc795e","datavalue":{"value":{"text":"Declarative event based models of concurrency and refinement in psi-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q272301$EF0184B0-21EC-4C47-972E-E736E436CCC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e78da8c51184f1ab896d4079a35ed1eb73160e","datavalue":{"value":"1352.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$F709EE81-C05C-4FC2-8536-ACFAD370971C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e8b19b85dc0f7478043a329d487ce1bf2431cf9","datavalue":{"value":{"entity-type":"item","numeric-id":272298,"id":"Q272298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$F5E89F72-8121-4742-BD4C-499BC953217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6800aeb717397b115258a9e735a6c4d17237fc87","datavalue":{"value":{"entity-type":"item","numeric-id":272299,"id":"Q272299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$628375D1-058E-4FF5-9A3F-A074EDCCC359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cbfc9d91e0bb47d8fe7c28262db6999b261d95","datavalue":{"value":{"entity-type":"item","numeric-id":2423751,"id":"Q2423751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$A37800C8-DE92-43E0-A36A-430F4484EE12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$AAB2B796-07C3-4949-809E-4D33BF972EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"005b756eceec3cfac748c1a4360caa386d165ffc","datavalue":{"value":{"time":"+2016-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q272301$999FD8E0-4578-4E47-9A34-375435F35147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$435B6C80-CAC5-4571-A358-664DF972BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$249848D2-D2DC-4702-87A2-1F5183D37750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc90b05a7fcc164568b5b33394b55f6fec250cb3","datavalue":{"value":"6571108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$892CEA66-BDE0-4DDC-9542-E90CB03DCD77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa354a31d13cd812ebb61f1dcac4b96f0ff0010e","datavalue":{"value":"psi-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$2466CF68-9317-4BDD-8C63-791C58742FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3c1ee6841d2d03b6de88021140c92814ee0b4a","datavalue":{"value":"prime event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$575A6B08-557A-430B-B23E-6FF1B027B273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d4a2b46c7fd37adf6c7120c614403b93817202a","datavalue":{"value":"DCR graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$EA54D5ED-7324-4602-9488-680A6F0AABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$773EAAF8-9CB0-4A6A-A411-810FFF20C3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770455b660abe02ad1271571a34522aca7acaa00","datavalue":{"value":"declarative models","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$E25B7E62-4C5B-47A3-926A-0CB6C651A6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q272301$50A9C36E-2A02-4B7E-A333-C21DFB6FAE7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$84071291-E34D-4444-B077-A9373427C22A","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":"Q272301$06810309-57AC-4EDF-9BAF-C2F83F0A8E98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f57b533ec95592b7756ce48a5539d9b4e5acacd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.12.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q272301$EF986885-0438-432F-B00A-4700B2A797F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48a75efc7194c2519b4ec46c722903c0288fe5db","datavalue":{"value":"W2267380002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$BB118460-CC86-46B8-8996-8406F71BC094","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a7eb47352c237fecf05652db90b72265b9841f","datavalue":{"value":{"entity-type":"item","numeric-id":4899113,"id":"Q4899113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$330BAD1B-34AF-40C7-B9BC-1A95AF603FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5c7d5eee7461f0678334c9dac93257a3672253","datavalue":{"value":{"entity-type":"item","numeric-id":5897765,"id":"Q5897765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$A83766C0-11FE-41F0-82B8-2062DC3708DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$BE47179B-D1DA-4F9A-BD24-27EEFF74E8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$5DCFABB6-C36C-4FD5-A05E-4437813A2214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$F5EA1622-502E-4868-9083-783F6BCA283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$B2F2A4C0-ADA0-4A9B-99AD-517B93FCB9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$B9880AB1-EAB1-4D97-A5AF-DD6BFE1A75B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$3F8FAB6F-DBC7-4615-A7F7-692DEB8D6A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb70412cafc6e538980766c76c983549d861cd3c","datavalue":{"value":{"entity-type":"item","numeric-id":3851636,"id":"Q3851636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$7C32A1B5-5654-46B3-9660-91EEFEE318A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$7BCDBB2D-FC13-4691-ACB0-CAD76F60347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$34D6755F-66BF-4878-8D9E-68274A12B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ca6df8004126057545c90f80a8e68078f9ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5216075,"id":"Q5216075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$D04B1556-7656-400E-ABA1-946475D6240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6703017ff8f9a6af010a7dcafc8bda5cce2674b","datavalue":{"value":{"entity-type":"item","numeric-id":3090835,"id":"Q3090835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$FD28C958-2628-4C74-B7A6-0482E6EA8DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585147f3d3a9c220e1bc37a72c608ce19a0792e5","datavalue":{"value":{"entity-type":"item","numeric-id":2830028,"id":"Q2830028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$FA1F57CD-285C-4331-8657-DCE2525D382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$CED8D4D9-A181-4FCC-B61B-FCDFCA37BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$308E343F-4846-41AB-AE2B-9914DD9F45A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$D016EBB6-7AA2-42D4-8752-457ECC201B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$3A901335-8305-4E1A-82EF-ABD39FD79F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$4E2E7000-53BF-40C6-958C-72EEAE6F5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ec035167c90583793be7ce804bec5b32bb5ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2800971,"id":"Q2800971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$33217D6C-322A-45A7-B2F1-D99EFC710E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2e2f3e61a2f4ad19b2c33400c6c6ec6221e226","datavalue":{"value":{"entity-type":"item","numeric-id":2830029,"id":"Q2830029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$DA4C80DA-1CA7-4C82-B049-137EE29B50C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$CB7E53AD-C85A-4C76-AD2D-AD6B3BDFDF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410adec4d0e36482a12fcbf29152f8c498fa2327","datavalue":{"value":{"entity-type":"item","numeric-id":4507892,"id":"Q4507892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$2DF8765A-A9B3-4B4E-A9E0-CDFFC5DD11C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$D30B047A-EAB6-4DB0-9217-466C0398B5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cecda2fa6e912ac5d1048551f1f3072b8b2e68e","datavalue":{"value":{"entity-type":"item","numeric-id":843106,"id":"Q843106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$D444AE4C-FBC7-4EA2-A50F-5A7BD3C228B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0a5a3e5912f65564269db655d62fed35c73e97","datavalue":{"value":{"entity-type":"item","numeric-id":338620,"id":"Q338620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$B824620A-6E57-4669-B99A-B254DDC23ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$068B52E2-DBEF-485E-9E59-21B604DA9EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$CBF6CB6B-4F34-4C6E-BD9A-40A614C9F097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$356F049E-7C5D-4FC7-B455-C4E17BA6C53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$7D31D138-2709-47AA-A529-C9E567BADED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0879b3bf301e2f1dc4a91fca8d086e0a6b1a204e","datavalue":{"value":{"entity-type":"item","numeric-id":3498448,"id":"Q3498448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$392E1847-3D7C-42A9-BDBC-EF3E2445D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6890d303998c9fa2be29c256afe7df9803c8f86d","datavalue":{"value":{"entity-type":"item","numeric-id":2894574,"id":"Q2894574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$E51547F7-7526-452F-8024-948BED8A0A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c1be4d1483f72ab2dfa8a99d989fd9ce1796c3","datavalue":{"value":{"entity-type":"item","numeric-id":5206949,"id":"Q5206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$8264EB2A-0237-4F0C-8D4B-33B256EADC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ea2b9048ad13e50f539ecaa21a881c1e3612e6","datavalue":{"value":{"entity-type":"item","numeric-id":3095234,"id":"Q3095234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$50341B86-A03F-4D4A-B497-C8E5D9F4EDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$892316A1-B12A-42E8-9D1C-ECED5DF8B021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9d5693113a80909065d508bc7e64794bf9f33cd","datavalue":{"value":"10.1016/J.JLAMP.2015.12.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272301$3611C059-C58A-41C4-B62A-3FA33A7EFBDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04247e1d1d6e5ba24d36f296aa7a013c2ed3561d","datavalue":{"value":{"entity-type":"item","numeric-id":5216075,"id":"Q5216075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247b7fa3b144e1fe02cf3cf047f8c6a86f89d26b","datavalue":{"value":{"amount":"+0.8647730946540833","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":"Q272301$9D3E14DB-9A9D-4ECC-8544-37932C8C0FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2103adacef651974c98a567b045693158727bcd","datavalue":{"value":{"amount":"+0.7497674226760864","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":"Q272301$29734EDA-EA16-4564-881F-DD9E3034EA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13562b4c4373e6196ad9a64b0ebfcaf092490020","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2067d49f59b3850f4c817073d423ae4b49c4e7","datavalue":{"value":{"amount":"+0.7495378255844116","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":"Q272301$C897BBAE-E43F-4637-A4DF-60E7189413F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76db878276130fe80ec1e6f7c4f4d299d563be53","datavalue":{"value":{"entity-type":"item","numeric-id":4995150,"id":"Q4995150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80e5d9cd22c2fba9f3b214a1b764ec6272fd60b","datavalue":{"value":{"amount":"+0.7235473394393921","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":"Q272301$5AC2EC11-EB1A-4246-98F7-CE2B00C349A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62fd73911f4dbe44ebf4b47a322cba20afe7e08","datavalue":{"value":{"entity-type":"item","numeric-id":5756598,"id":"Q5756598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd04817080c034474ca1169aac3984f3da264567","datavalue":{"value":{"amount":"+0.718191921710968","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":"Q272301$FDC07BE9-1F68-4200-AA0A-3A7711603179","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272301$952C468A-3C53-4336-9DB5-8479D960CC8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Declarative event based models of concurrency and refinement in psi-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Declarative_event_based_models_of_concurrency_and_refinement_in_psi-calculi"}}}}}