{"entities":{"Q2856009":{"pageid":2866729,"ns":120,"title":"Item:Q2856009","lastrevid":51850052,"modified":"2026-01-20T08:50:40Z","type":"item","id":"Q2856009","labels":{"en":{"language":"en","value":"From computing to interaction: on the expressiveness of asynchronous pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6218361"}},"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":"Q2856009$4F69DB35-C363-484F-A0D4-BBDDF1C50DAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e79965efc045c2bd4149bc916746c43064e863e8","datavalue":{"value":"1286.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$7596CB55-BC56-445E-806A-62EBD2517BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5068f4eac65667ddc07bc53fdb150a4ad0386f36","datavalue":{"value":"10.1142/S0129054113500081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$F4BB817D-56F1-406C-AC97-5D865BD81525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7d7ea463ae32b5624e68691402624fd145f19c","datavalue":{"value":{"entity-type":"item","numeric-id":2491207,"id":"Q2491207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$C78CAA1D-9947-4DBA-A2FE-3815BD25DCA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$D7E5FF6F-526A-4909-8DAE-3F6EC53FAC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e41e95550d16033ed81f1eb7c35b7c5a600767d","datavalue":{"value":{"time":"+2013-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856009$7AD24AB4-16BC-4AAE-AA0B-93D53F81A6CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$F4FF96C0-0DF0-4E70-A818-FBD8E7B3576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$7793208D-D285-4C65-84F5-426291539DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$035DDA6F-B81A-4349-BACD-037138B43AD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f45c448e993156aa5d625eb371945b07b39f3d00","datavalue":{"value":"6218361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$2486FA84-7C49-4901-8DF5-79DDDCC89887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2713d68ce1ce7b99873864dcfa743a3a42b07b0d","datavalue":{"value":"asynchronous pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856009$73858900-CE57-4A8F-BF8E-EDF08D0D98DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b933f81df0196608e656630ee8ff1ae99e9432f","datavalue":{"value":"interaction completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856009$AC864D91-BC36-4D8D-A845-9A826F79834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20948c65eb1071e3fc5361e3e877a98c7059f0a1","datavalue":{"value":"model independent equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856009$FBB159DC-BFEE-448D-96B0-43C117140C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a87ce356eba9375cd86db14226413bceedc87a2e","datavalue":{"value":"subbisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856009$E597D429-9629-4300-93A2-6182907C6294","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":"Q2856009$98CA715F-2225-402B-8BC7-9E03ACBC41C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd9fbf231481de0f81edcd9d2c329fec3a4e62c","datavalue":{"value":{"entity-type":"item","numeric-id":5262949,"id":"Q5262949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$20425CBA-EDDB-45A1-AE20-3E09ADF341FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$9FC0854B-9EB3-4F04-9791-0C9BA7DACB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4b05c7805a0293c373928db5315eeade74c57d","datavalue":{"value":{"entity-type":"item","numeric-id":2864372,"id":"Q2864372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$1B78A55E-4198-4507-8155-CEF0A336DFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$D5F8A248-F714-4355-A26B-F1539FD57CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$0314E5B3-0EC6-44BC-A936-F9121C3F61EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$C0ACD75D-9777-4178-A251-07668FEAB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6ee11757cbc740a0d57faf9b39b98fe24b0a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1763730,"id":"Q1763730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$3BEE235A-9D11-4F71-AB24-D4867F2BD0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$8145CDA1-BEA1-4285-99F2-94E00715255A","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":"Q2856009$48E602B3-D6DA-4674-BA08-575EC1369CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$EB4D3114-BD2C-4B9C-881F-9C3581FDFD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$9B66111A-9DF1-4E0D-9780-90CA1FDE98BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856009$9CC7C926-B8D2-4E9E-8C54-D13633722679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04ed316f40a59934b21c8cd655607f3dc8e3c4d1","datavalue":{"value":"https://doi.org/10.1142/s0129054113500081","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856009$D3D1245E-F414-408F-921B-AC769FD3DC97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd3fd9d88fdfc375fb97bf730bc608d6719d95f6","datavalue":{"value":"W2089742622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856009$E0B4A36E-74A9-4C2B-8BEC-963057837E66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f0eb9cc6a063f0a2c03f749da3c49269a87d9b5","datavalue":{"value":{"text":"From computing to interaction: on the expressiveness of asynchronous pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856009$ED454CE9-99CB-468F-BCD4-3835F74F9C97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be4f9eecea1a08bb85bdac7f9893790b49c3b38","datavalue":{"value":{"entity-type":"item","numeric-id":4965862,"id":"Q4965862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5030014c35ff629a5dc737b1d54435b3694344db","datavalue":{"value":{"amount":"+0.7641770839691162","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":"Q2856009$4227B482-CDA1-4D07-BB45-9FAED7514ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a71ec948495a761399cf501b7fc10852eb4571","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0826e659218b60075c0f3b4b57ee6568ae977b","datavalue":{"value":{"amount":"+0.7464802265167236","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":"Q2856009$19F44496-72DD-44B8-A429-83D2F9BC7D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abe0dd1af4f98c0eda9a9c3c107eb3ba7fab773","datavalue":{"value":{"entity-type":"item","numeric-id":3507382,"id":"Q3507382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ae32592ed9ff6fdc656e9cd4feb51b165dd2e7","datavalue":{"value":{"amount":"+0.7351565361022949","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":"Q2856009$79A7C2DA-929F-43D1-A1A2-AAB2F72B31CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f60451485fa9e9c6923e461bbd9e0625899560","datavalue":{"value":{"entity-type":"item","numeric-id":3584945,"id":"Q3584945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2a6f95bea18daaf4cdb1c6c69b6653017f7ded","datavalue":{"value":{"amount":"+0.7343038320541382","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":"Q2856009$12EEDD14-301E-4159-8BCD-A6904A354F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c08966e76f233d137fc4c8a599e191ee247416d","datavalue":{"value":{"amount":"+0.7333636283874512","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":"Q2856009$5E5367FD-2CB2-438C-916F-264B2C54B842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856009"}}}}}