{"entities":{"Q4965862":{"pageid":6995441,"ns":120,"title":"Item:Q4965862","lastrevid":58369038,"modified":"2026-04-04T22:18:22Z","type":"item","id":"Q4965862","labels":{"en":{"language":"en","value":"Synchrony vs causality in the asynchronous \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319034"}},"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":"Q4965862$79F641C3-2CAC-449D-8F6E-ABE685ADA72A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcfef17f4b658fadff13cd39b06ce5fcda2f5385","datavalue":{"value":"1457.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965862$B5ABF5CF-7DC5-4D5D-9E79-8BA01074E447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965862$BCECAFAF-0B44-4DD6-80F8-FF031D9FA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965862$2A3715B0-EE2C-48C7-8F5F-9B46A7AE39D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"438cc7c7107883bbe38ca803026dd2fcc09e1857","datavalue":{"value":{"entity-type":"item","numeric-id":1944097,"id":"Q1944097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965862$9B84ED32-214C-4C9E-91A8-E3DC26198FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4965862$43A10D7E-88EB-43F6-8E03-19D07398D40B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7726f79f4fc25f62d4472ef818e1651d1dbe15f5","datavalue":{"value":"https://arxiv.org/abs/1108.4469","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965862$664EE4B2-E0B5-4B20-88D8-813F98B7028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f9f1977dc0ff92198a4ebe333420525b1a387d2","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965862$DFF0F612-9CC8-4E0D-89CC-8CCBC83D4F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965862$72870F6F-141C-4EF0-AD93-64FDCC5E7E15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f41cfc2b718fbb23cedc74d5b64dfd39ab305c","datavalue":{"value":"7319034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965862$B4E55FB5-7317-4456-AAC4-9FB60AC842ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecb7685d6e7a1165883e6304d4a889e3b1a50d8","datavalue":{"value":"asynchrony","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965862$BC2C02F3-996E-467B-89ED-163FB83DFBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965862$B6DBC5ED-DD5C-4215-B910-38AA9C60C71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965862$5909765B-8117-4B88-BD20-87ED27FB3A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965862$E01D3F08-8B9B-455D-94EB-319A0C796AB0","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":"Q4965862$CD478668-CBDB-45E4-B1AF-89870A88CBF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b5a8d79bced0d7a102e30b382cf80da98e59d7","datavalue":{"value":{"entity-type":"item","numeric-id":2971080,"id":"Q2971080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98132c94cef505aced61ffe9ba4cfb581d5740d","datavalue":{"value":{"amount":"+0.859142541885376","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":"Q4965862$0DA83FA0-5AD9-4CE5-B308-18EAEC7BA849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b427b8f6570aa58ad392dc9e655eee39edb0a374","datavalue":{"value":{"entity-type":"item","numeric-id":1641151,"id":"Q1641151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93324edeb561a20d31ba2c89e6746b3525886dc8","datavalue":{"value":{"amount":"+0.8283655047416687","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":"Q4965862$DF8ACEDB-D362-4C1D-9F00-EC74E83E2F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7846dadae0b164b32671f49d694e75e29f6fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0383f9cdb7898b792c11bc5e83de1965d782a1","datavalue":{"value":{"amount":"+0.7993999123573303","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":"Q4965862$E97F386E-3070-4C9B-AF9A-019453BD8C7E","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":"9a5eaccb7a5d652ed22f29ac6d5d5888bf322998","datavalue":{"value":{"amount":"+0.7976507544517517","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":"Q4965862$953BBEFB-20C3-4E1B-BB21-5111AAFB5D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc370bc73d7820cc905692258de01d6d6579ae57","datavalue":{"value":{"entity-type":"item","numeric-id":4965864,"id":"Q4965864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463d89e5b84c2e28e97fc455556d653af8a4fb2e","datavalue":{"value":{"amount":"+0.7894408702850342","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":"Q4965862$647B98BD-A5F9-4BCA-A0C7-56D57EB4494C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4965862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4965862"}}}}}