{"entities":{"Q3330490":{"pageid":3341198,"ns":120,"title":"Item:Q3330490","lastrevid":48719665,"modified":"2026-01-05T17:15:48Z","type":"item","id":"Q3330490","labels":{"en":{"language":"en","value":"Axiomatic semantics of communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3862418"}},"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":"Q3330490$B610FE9C-8496-464D-861E-E919064F4D44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6fe15c8ee697846bf12d589c2d3630fe41d6155","datavalue":{"value":{"text":"Axiomatic semantics of communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3330490$8F29BBF5-496C-4CD9-9237-3EA6509B9B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5be0986a674f23bd7c6bbf4627012fd2b41b0a8d","datavalue":{"value":"0542.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$8323651A-3CFC-4DB5-8E60-DD25338887AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85d26dcb60bd1d8027f35020fc4d1ebfc0850541","datavalue":{"value":"10.1145/1780.1805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$E859CC14-32BE-461B-875A-A3914FB0B2EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ed3b0664441e8d880d927898de01db2ab18f95","datavalue":{"value":{"entity-type":"item","numeric-id":796291,"id":"Q796291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3330490$408C3876-EC75-4A8E-A49D-52A361E1D5C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3330490$B65F9A9F-9AB6-41E7-A16D-3B33C9821A1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3330490$D1DA6595-B942-4383-AD97-C313B032B79B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$AB197217-93C6-4BD8-ACEA-97912F8AD96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$DA2499E1-EE26-4689-BD59-2DF60BE04670","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e31f0c663e72a8bda0a2ab056917dad937a8d50","datavalue":{"value":"3862418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$EF238893-1F94-4A39-8BE9-E6108240FDBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$B2801D7C-25CD-458D-AAB5-0BC8D518BA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb789c4f5b63b1f62a0c8b037defb0c473b2f0e1","datavalue":{"value":"absence of deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$DECB2809-3D2B-4B75-822A-B9060748110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$9C720A93-DEFF-4099-9F06-A09838F9FA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$1500037A-4BD1-498A-9946-5603DA3A5F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4679b60dc44bb12507ce6599e3a2dd24dbece218","datavalue":{"value":"distributed termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$CC561669-7CCF-44FD-B10C-75344A798168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$CEF2AC7E-38EE-4FC8-B9AE-9AEADF95EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330490$09B631F2-DACA-45F4-958B-2B89F1E389FF","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":"Q3330490$7CB1E089-4980-4F24-B2BF-A2413E56470F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0da572ad1a3c0da39dfe821774379d57c3caaaef","datavalue":{"value":"https://doi.org/10.1145/1780.1805","type":"string"},"datatype":"url"},"type":"statement","id":"Q3330490$BDE15C4F-ED51-4388-8E1D-E8A9B14DE950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecbc3d68b24a85e6f8edfdd8793a82f31c23eb73","datavalue":{"value":"W2030590001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330490$4683810A-9489-40C2-B28B-92B67EAEA376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0274f08ec493aea99c7ba922bdb7c0584f5736","datavalue":{"value":{"entity-type":"item","numeric-id":1901127,"id":"Q1901127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b891a1d59c0aa5fcb7c5d3513b1d2b818daff275","datavalue":{"value":{"amount":"+0.8152989745140076","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":"Q3330490$5B7109C7-AE0B-45E8-8E20-5084F989E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77028034a1327f3a2935ef65767fbc7de44d44af","datavalue":{"value":{"entity-type":"item","numeric-id":3787441,"id":"Q3787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5ed1c780c5ac3ecd3bccdd99be28566109cefa","datavalue":{"value":{"amount":"+0.7984169125556946","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":"Q3330490$5A82D47D-9193-43E8-B6D8-6168702A4A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d06b04b3574bf1e19a583b8d9291f39b51daba","datavalue":{"value":{"entity-type":"item","numeric-id":1088402,"id":"Q1088402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fcb88bf3fca17465743590eda337aaeb3c0281","datavalue":{"value":{"amount":"+0.7980830073356628","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":"Q3330490$5AA283E0-B3A9-46F1-820B-744100A0AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8165f80eca07dbc4123c2e66fa8da864c16e061a","datavalue":{"value":{"entity-type":"item","numeric-id":3796726,"id":"Q3796726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e523c2cade2c46a6684bf761e10eaabacaf0d7","datavalue":{"value":{"amount":"+0.7951996922492981","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":"Q3330490$5456AA57-67AE-4295-8164-7AF0397249DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8872f4ac8cf28767382d6fa75713c74a7f382d21","datavalue":{"value":{"amount":"+0.7895960211753845","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":"Q3330490$D46ADC10-1136-40FD-A356-35A610EF6945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3330490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3330490"}}}}}