{"entities":{"Q2423752":{"pageid":2434495,"ns":120,"title":"Item:Q2423752","lastrevid":74197983,"modified":"2026-04-14T18:54:47Z","type":"item","id":"Q2423752","labels":{"en":{"language":"en","value":"A stable non-interleaving early operational semantics for the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069235"}},"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":"Q2423752$8C030C37-FD72-4A84-9E41-9E0DD5E0327C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6289d623e1fce12fd250768e0b351fe2a50f2d","datavalue":{"value":{"text":"A stable non-interleaving early operational semantics for the pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423752$6172C534-6882-4189-AE45-76B3EE4FBF81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"218e4e13649326d42fdf02c70f4081a078714c5c","datavalue":{"value":"1423.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$B8C82178-3BD4-4D88-9E58-8AEB3FA508A1","rank":"normal"}],"P16":[{"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":"Q2423752$71C06535-3385-4A0F-BDAB-1920391F7E9C","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":"Q2423752$1E7559AC-5B23-4990-A6AC-5CD522EAFCD6","rank":"normal"},{"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":"Q2423752$36AE3533-E75F-4FE9-A00B-D61EED62102C","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":"Q2423752$208618BC-BECE-4AC4-B070-610ED85BC273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-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":"Q2423752$31B04163-B2D5-460C-8CAF-CF3923A9F385","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$F8E09040-3589-445D-8F2D-7307788A32EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$452A706A-319D-4D74-87D4-5986C5D6550F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b1d6f8140e68f3e132280c194d68f228b4efec6","datavalue":{"value":"7069235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$EF55F477-9D52-4DB1-8814-465F6D795419","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$707ECB72-4D43-4E7E-8C4D-C0E8C4283A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ee8a80e1a2b6b2f963c7902e3b1970f3326d8","datavalue":{"value":"non-interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$BBCF9E62-1EA2-4681-8991-D382525388B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ddfc3961b983c7a561d57ae825e159fd59afad","datavalue":{"value":"early semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$5E2EF53D-0758-4F69-881E-B41BBCEBE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55fa68b73664a8080272b8793e0d48dce50b8a96","datavalue":{"value":"asynchronous transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$3FADC09D-482A-4C17-AB56-94AB1BEFC793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$D821D0C0-E2D4-45F2-A8A0-F49066216DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423752$8E7ADB96-ED0E-4479-B7B6-77329FE64F24","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":"Q2423752$4BAA269F-14CD-466E-A9C1-12780C096233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be970e9a430968d7e0c66a97c61d24f4e7edbbb0","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.02.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423752$B5F629C3-E1A6-497A-86BB-FE3559E83727","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187a9b7d7a51065ddfd92a081b59ec5634b861b8","datavalue":{"value":"W2916646198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$3583BA8A-D833-43BC-B8FE-1BCA0650AC3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd46d5321a7520f52ba903b91e708fdb23bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1329199,"id":"Q1329199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$C79F56B3-772A-45FA-9A34-B9BB981D27C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd79345a8f87c7895b144ad7e467b51606907b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525112,"id":"Q3525112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$4161746E-1E07-4480-AFF1-BD45130A10E8","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":"Q2423752$08733E1F-5443-4155-A044-163D7F2FB99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621d1a04c0214dd1100d512b59b47ae81f1b3ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4596625,"id":"Q4596625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$BB51BD4A-A7EC-4891-8D9D-CBE7457202D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$CDA3A6B6-842E-4E96-ACE8-CB8E3C6870B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$F2D941CD-5435-4999-8C5A-CA1809F16FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$8EBD95CA-8718-4835-972E-31EF625255F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d4c52760d25fbe48f1b450d25e661c443d561d","datavalue":{"value":{"entity-type":"item","numeric-id":4867409,"id":"Q4867409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$B4C1822B-41E6-4AD3-9419-177A30F3E7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4777ba67d503a24baf5f6da1bfdbe7fc15fa520","datavalue":{"value":{"entity-type":"item","numeric-id":2760252,"id":"Q2760252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$234BF676-7283-47E1-96EC-4ABBE7650C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$1255CB0B-A7A1-4323-A3AA-EC5DD7C5CF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$598090A8-BE56-4B6A-A69A-8E282B60185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1bbf606390b3de8ee77d5965d149f7a5edc2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1357807,"id":"Q1357807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$87EDB13A-F798-4073-BA62-CDD035D7A0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c629544826050aadbadc53f245aa879cee454973","datavalue":{"value":{"entity-type":"item","numeric-id":3525646,"id":"Q3525646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$AEDA0333-28B6-45BD-BC86-70E905BFD7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa09dff0509644d89689b413adab7fb2179c738","datavalue":{"value":{"entity-type":"item","numeric-id":2892773,"id":"Q2892773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$7138100A-4573-47C6-A86E-3BC4604DF3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$A8AF470C-B98B-464B-80F6-D7AC80828453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad255e962ec6e38d0c6c881b121a9dea41c9daa","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$68A3F2F9-5087-4411-88B6-256096D0D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$023E9B09-FD2F-44C4-ABAA-22A7FE7F82F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cad2f132ef1442daeef164f3d1b4f7724fb29b","datavalue":{"value":{"entity-type":"item","numeric-id":2763547,"id":"Q2763547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$B4B3C0E0-BDD9-4647-9B27-7FA1B457F344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e3eec2f2145d34cc9f6b768594163f8a1894d0","datavalue":{"value":{"entity-type":"item","numeric-id":5738986,"id":"Q5738986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$1D966B9C-3092-4542-81BB-A8A4DDF3DA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db95b5bb0cb81f961aac507b872151e1a12fb75","datavalue":{"value":{"entity-type":"item","numeric-id":5096391,"id":"Q5096391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$DEE15556-F2CA-4B0E-A73C-F00A0927DBD6","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":"Q2423752$7007B3BA-D241-4F8F-95A9-9A7481C3DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c9182edfb2df25135ab0276d49e9a668c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1342503,"id":"Q1342503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$27A7F8DD-3EA2-4BFC-A5F2-B88B606FEDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$41D3E60D-1747-45F1-855B-E72935D099AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$B6EA8835-7223-4CF0-BA7C-79704A0CD0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$C5BFD637-0707-42B0-8097-9191A1F31F31","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":"Q2423752$F3F573F0-F18A-486A-89CA-E48C1C750A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$9EC59A5E-1239-4793-A92F-678B4A90472B","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":"Q2423752$42225305-3903-4520-BAFD-90CAF260BA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e61883b7053159378a76f285220771607b2536","datavalue":{"value":{"entity-type":"item","numeric-id":4266484,"id":"Q4266484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$ED2F363B-96CF-47A0-866C-195D88D33C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b765b1710393bb28a6bbe6965bb707b247f24e","datavalue":{"value":{"entity-type":"item","numeric-id":672123,"id":"Q672123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$232B500C-D22B-4E24-B83A-76898D6935F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$1AF5FB16-5F3A-452E-93E2-6365B6FB6BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$420D5E6E-6328-4CD4-98DF-F76CDE7725C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9334eb8d6a15b20d49df6d00988318d7e9026446","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$662C9337-3031-4E28-8257-28BECD71A2EE","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":"Q2423752$1E19CDAA-D89F-4F02-841C-1951E82FAF5C","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":"Q2423752$02ACE14B-B133-4139-B474-AFC85ADA4C16","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":"Q2423752$F263B756-E433-48FF-A379-FA93D76F289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38069c6a0bea035a9b76a94cf920575b5d5c6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":964488,"id":"Q964488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$2459F044-49F6-420F-9CF8-E8DDB4F8AF4F","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":"Q2423752$81A61135-2857-4BF2-87E7-58FB48A5FB25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b2ceca9d9a060d12f50a0a90b0b58c5fd85b59f0","datavalue":{"value":"Q128329722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$F8D0A90D-B967-4B07-8847-FCECAA0B312D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3bc633f18b9f9642745dc763e725a2641cab976","datavalue":{"value":"10.1016/J.JLAMP.2019.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423752$ED27EAAB-044F-4D16-B774-B9EB898933CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d8c9ed73990c0931858db0f51f8ffb79094c9","datavalue":{"value":{"entity-type":"item","numeric-id":5738986,"id":"Q5738986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcf25b47573f0531bd2882554fd4abfe327ab02","datavalue":{"value":{"amount":"+0.997683048248291","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":"Q2423752$607B9B7C-6AB9-482D-B58C-A793C6789419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16e0478650df7ea5e626ed514ecd7f193a3ddf2","datavalue":{"value":{"entity-type":"item","numeric-id":2892773,"id":"Q2892773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ceea2cbb5fc8d7069d5abc43f70804d96d67bdc","datavalue":{"value":{"amount":"+0.8269635438919067","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":"Q2423752$F5AD01E5-B8AC-4353-B737-1B1A8E6F9CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881cd9bf70af28b8c24337f6b8fe920c38ae01a4","datavalue":{"value":{"entity-type":"item","numeric-id":3525646,"id":"Q3525646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7ec4e4b9912155ed47c40c140ba36fd1c46ecf","datavalue":{"value":{"amount":"+0.8084716796875","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":"Q2423752$3C4AD261-8D0B-4280-8279-B810ECB03C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc6b5b0fe8c9945b8844eff78c9c31d5cb749c0","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b7a8a7e4c15ed931d1f4afc8ed38ebeb3883ff","datavalue":{"value":{"amount":"+0.8006603121757507","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":"Q2423752$DDFEED72-4703-4FFF-B5EC-58881BD84DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8116d3f802174ebe95e067d19d4890eaea9d67c6","datavalue":{"value":{"entity-type":"item","numeric-id":4596625,"id":"Q4596625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b320aeac24b6a53e25f1c1c9894cbcce8f08916","datavalue":{"value":{"amount":"+0.7822346091270447","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":"Q2423752$67988A9A-0601-407A-8AB6-1D6E4245EFCA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423752$33D42FF5-0DC2-49F7-AE10-0F1CA71AFFDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A stable non-interleaving early operational semantics for the pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_stable_non-interleaving_early_operational_semantics_for_the_pi-calculus"}}}}}