{"entities":{"Q3731022":{"pageid":5760928,"ns":120,"title":"Item:Q3731022","lastrevid":50803058,"modified":"2026-01-15T05:51:01Z","type":"item","id":"Q3731022","labels":{"en":{"language":"en","value":"Process algebra for synchronous communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963183"}},"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":"Q3731022$5A918757-9CC1-49EC-AC73-B24B4ED03B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dafc6e12b5edce46f2225f9e9aa1e3ee3e0acf04","datavalue":{"value":{"text":"Process algebra for synchronous communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3731022$D3296508-970D-4976-A476-3FEE7265821F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d54f9eedc86aeb6bc4ac708b7b6f48b06ffe24a6","datavalue":{"value":"0597.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731022$76A00AE8-7681-43CB-8702-13F72E8841A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6e936db49b5eb14d5ca1050c994e67c5ce939d4","datavalue":{"value":"10.1016/S0019-9958(84)80025-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731022$26612B9D-44EC-4631-8DAB-6654A852C5BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731022$13B174C6-9883-4A49-997A-6C4CCC55FF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731022$7829F407-2BCD-430C-A370-5730828B21DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731022$0C91180F-8171-429E-B7E4-1A793D43737F","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":"Q3731022$C095BC69-9628-4419-BF16-F65B6D1875BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731022$6FC43A9B-4C15-451A-9A3C-29133DD1BB1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050bc399ab989223f922e56a194fc49ba49505f6","datavalue":{"value":"3963183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731022$C857E179-FF28-4479-8C3D-85F79C45F72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c139479883f0ff765c433dddd512dfe59543ab1d","datavalue":{"value":"algebraic theory of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$C3515552-346E-4B71-ABCC-BF86BB8246CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$9DF9E463-913E-4CDA-9B3D-1265538D1825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de799ceda352941f8e591daaacc8d21bd4b7949c","datavalue":{"value":"free merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$59F90C78-EA3C-4DCE-88CE-A6B74773F2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$23A1D04E-A40B-49B6-914E-8AFEBA036176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$14510490-728D-4D75-95D1-EB5FB81D5C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a2fa56a9cd48de9a95264b49cf5a20eff97ed7","datavalue":{"value":"synchronous process cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$22962DDC-D15D-45DF-BF21-615D163157E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$199CF218-10DE-4EA5-A8DE-8DC48116EF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99384af0bbea69ab1634471dd128685e686d3c7d","datavalue":{"value":"communication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731022$81CB2370-3D39-4A26-A59B-76010EC185AC","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":"Q3731022$8BBB7DFC-5DA4-44A6-9276-E4C73CC65F68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df9c7f0225ed9bed6e507628585727e0557899c7","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(84)80025-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3731022$F2F559EC-0F9B-41C8-9C10-58E08F478196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51059c347edca9956d594f7de885045e0d4e0dc4","datavalue":{"value":"W1972478730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731022$DD462E4A-DBD6-4A48-B3F5-BFD72953C7FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d672eb639351333f9fe9302176dd95b18e620185","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d0060efcfee6a1a539b4841a43729890e70901","datavalue":{"value":{"amount":"+0.8776743412017822","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":"Q3731022$68E301E5-230A-4A38-ABD9-F2424CEA1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3310483601ec8c78e9b6a73b9c962cca8c6562a1","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394a46db3226dff92ff87da54773e93eec04ab58","datavalue":{"value":{"amount":"+0.8375003337860107","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":"Q3731022$735DE816-C2D0-46D6-8A4E-2591282E005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d14b1c3191131d93b66704c8f1953b84ecdee27","datavalue":{"value":{"entity-type":"item","numeric-id":4840947,"id":"Q4840947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5708114115efa8591aae0cf57985ca8e125847b2","datavalue":{"value":{"amount":"+0.8258860111236572","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":"Q3731022$49E6AA85-D624-4C51-A5CF-D3C010A95810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac89604d315deb4211a22d817d642fc7ccda8040","datavalue":{"value":{"amount":"+0.8227353096008301","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":"Q3731022$7CAD69AA-0C7F-48ED-A29A-7B76BCC523A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c85aff40ad00e6f50149fbc6905f82e8f90cf7","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743d9732ca5e6338a7f3e77b0acb87cae885d416","datavalue":{"value":{"amount":"+0.8223574757575989","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":"Q3731022$CED7B85B-DD11-4B3E-9B74-40CE38DF5A1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3731022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3731022"}}}}}