{"entities":{"Q1084852":{"pageid":1095604,"ns":120,"title":"Item:Q1084852","lastrevid":66895671,"modified":"2026-04-12T13:35:00Z","type":"item","id":"Q1084852","labels":{"en":{"language":"en","value":"Algebraic calculi of processes and net expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980468"}},"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":"Q1084852$93D87658-FD34-486F-8C67-A0A7482EFBF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51045cee965f79a66d4c62928713a31a7886b321","datavalue":{"value":{"text":"Algebraic calculi of processes and net expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084852$3C0C00A8-D280-4922-AD58-3614DFF085E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d150492ce7f65a441eb99b01804333ea6f32a2c","datavalue":{"value":"0606.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084852$DB9E613A-52A4-4EDD-8F80-9E4E8BAA0A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c3a4dc745d9b819f08e64c3f6813017af2a4edb","datavalue":{"value":"10.1016/0304-3975(85)90176-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084852$6BFEBA0A-3611-4560-B7C7-015A548B8A1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe183d93c029e0aa92279cd45c5ae8bafa3a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1084851,"id":"Q1084851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$851DBE1E-0E0F-4F7B-9821-FE2DCA98E5D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$556578E1-F1CD-4803-991C-1455D390931F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1084852$733B380F-B01C-4529-A480-653BE3F752AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f929e3da999a7488f62450398742d8be01563f6c","datavalue":{"value":"https://hal.inria.fr/inria-00076189/file/RR-0367.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084852$708E44C8-0462-4E56-B194-DCDB1E027124","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9332ee7f1cc4c900ae47142506b641b5686709b","datavalue":{"value":"It is shown that the Meije algebra of processes can be expressed in a flow algebra, the algebra of net expressions. We then use this fact to derive a normal form for the calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$9EFB8D79-C697-4F98-BE6E-F01C609C94BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084852$8D29BDF0-05D9-44B1-8CC6-6CF038865B36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43fc6efff7fa9cf97e9c06ed10c37294822e9f9e","datavalue":{"value":"3980468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084852$C65ADB87-EF27-47F6-B4A1-7D29C5B1D739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d53e1fb297b37d62cecf6e783c317003bf0db4","datavalue":{"value":"parallel system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$AE503437-0CF0-4177-B71D-2F1B604E65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584800525a0e65fe63c490669336b2ae840eab3b","datavalue":{"value":"communication network","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$A67C3AA4-88F9-4AA0-AAAB-A4F74ACFF9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7115aa10fb544fa9b328a1d932bee8654db36bcb","datavalue":{"value":"Meije algebra of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$C23AD680-AF6B-40DA-98F4-9765E149FDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4825bbfc77f29acf41b3c311e8c1515b418049","datavalue":{"value":"flow algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$C868F79C-6DF7-4A69-97BE-11042F7CFD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d896830eab1938284b1df8cb65b5597789d44d3f","datavalue":{"value":"algebra of net expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084852$899CCFDD-DC6A-438C-B884-E6A2B11A3928","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":"Q1084852$A0DA113E-D69F-416D-A4C5-093CA6946B5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51231084f260933188af32ca7cb6c48847e549fb","datavalue":{"value":"W2044936725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084852$36815A5C-8677-4E2E-A6D9-3C4192901B12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$CF3C4AAF-7604-421E-A47C-047A1622D1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$2B57A0B9-99E4-4CE8-83BE-4E9882BA25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ead2548cafa915e52db69fc55088e5fc0a6b75b","datavalue":{"value":{"entity-type":"item","numeric-id":3854604,"id":"Q3854604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$AA05930D-93D1-4E9B-876D-4101271A9358","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":"Q1084852$0F17EAF0-C2FF-4575-948A-C6B25D992792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$299C732A-F30A-4A33-B58B-4102DF608F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45191d2a62943b00de2ae9eada5baa2ce2c9e522","datavalue":{"value":{"entity-type":"item","numeric-id":789888,"id":"Q789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084852$906AB9AC-3AF5-47F4-8F13-A6310D9DFA42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7523421eaeaf7f235de5ecad6e6fd3700d0f640","datavalue":{"value":{"entity-type":"item","numeric-id":3735084,"id":"Q3735084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474ea9da1560e6cc03b0d5cd439b737c08e4be9a","datavalue":{"value":{"amount":"+0.8251330852508545","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":"Q1084852$265B72A0-DDC4-40CE-9D88-77625DFFF509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c5241796fb72dfc8411eb64c50115b23446550","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9873f4ea3ba0ec4e1b5fffafe1de2e519c48b5","datavalue":{"value":{"amount":"+0.8182432651519775","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":"Q1084852$6A332F08-A47C-421A-A418-7453819972C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1505cd702548673d371268e3bfb81a0ae333a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3745292,"id":"Q3745292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb60589587d02856c3c05cd7e5f21440364385f","datavalue":{"value":{"amount":"+0.8023946285247803","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":"Q1084852$768CD882-F970-4BCA-8D8F-762BE6A14694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652320ff494f5b8a67a885ceef32b3bb23eb82f","datavalue":{"value":{"entity-type":"item","numeric-id":3477943,"id":"Q3477943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84dc9e14108f2472a2a58454328dc8a3b33bad1","datavalue":{"value":{"amount":"+0.7966228723526001","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":"Q1084852$C322CC45-5E9E-4FFC-8C5C-A55C88BBCC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc0f5486d6b773a95c35fccb61b0dcf78e02ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4500378,"id":"Q4500378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8e6d1e915a3c538ac594be942d1341f790119a","datavalue":{"value":{"amount":"+0.7682241797447205","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":"Q1084852$6B34F882-5050-4623-BD7D-7F53F9EF0B0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic calculi of processes and net expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_calculi_of_processes_and_net_expressions"}}}}}