{"entities":{"Q1060558":{"pageid":1071310,"ns":120,"title":"Item:Q1060558","lastrevid":69537048,"modified":"2026-04-13T07:40:36Z","type":"item","id":"Q1060558","labels":{"en":{"language":"en","value":"A language for linking modules into systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907759"}},"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":"Q1060558$0217E3C8-C19F-42D0-B9EC-4201876A0B7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8932b36cd846247dd1468211ee45531d73ad9633","datavalue":{"value":{"text":"A language for linking modules into systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060558$E3103F42-5352-480F-8246-8BB0AAD452F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34954d05e13a36842266deb35079ff6c0084ff3a","datavalue":{"value":"0568.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060558$DC677597-DFC5-4369-9CC5-B1F586B61AD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fb83a923f81100b71d582b9ab726e714a371ca7","datavalue":{"value":"10.1007/BF01934380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060558$055EFCC1-4B0D-4920-9F38-F275D59A12DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2acc3bd88bab8ae1ef98e11efdde1fe53b18379e","datavalue":{"value":{"entity-type":"item","numeric-id":1060557,"id":"Q1060557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060558$3E3E28E5-D883-4BF9-A09B-12145E18D4B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060558$C5229FCB-4D38-4548-AA4E-FDDF8DCC2D30","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":"Q1060558$D2E67206-C6B8-498C-903F-7045A0ADC783","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd1e21f18f8b8f99c4454f20d4db9cccc161c85c","datavalue":{"value":"A variant of the static part of Milner's language CCS is presented. It can be used for describing the construction of systems from modules, where the interconnection between modules is either export-import relationships of, for instance, procedures and types, or alternatively many-to-one communication channels. The semantics of the language is specified on two levels, the exterior level and the interior level. The exterior level semantics determines the legality of expressions, given externally visible properties of their constituent modules, while the interior level semantics associates a certain class of labeled directed graphs with expressions of the language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$E784DCDC-A019-4C0C-8679-C55F11626221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060558$88F711D7-2BCA-43AC-88B4-74B993C5EAF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37dd52184f6b7d1562152f310482db3d5464f942","datavalue":{"value":"3907759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060558$62BD8B00-3BEE-4CEF-AB10-F97533A4283A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$E0C6B714-A5ED-4816-8956-0496EE1FA4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$618FB588-9ACE-420A-8B82-52B6229F344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9255a7c815b4edfe166965598bc12050788d49","datavalue":{"value":"Milner's language CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$B5FE031A-7058-43F4-A5B1-0940E8393E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9188a869d041ea49779a4b27ec4160866936d689","datavalue":{"value":"export-import relationships","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$DF881882-75EE-4871-9627-EC95A313B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea74ede98aa6ec207152cf608d0e98f319f85dd","datavalue":{"value":"many-to-one communication channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$7BC57FD2-8187-4C2C-92F5-F91D28DE8691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$D112926F-59D9-4BD1-93F5-1089D1FF44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd10cd2217184a3f63ca42d1edc8948c3426109b","datavalue":{"value":"labeled directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060558$9630B577-8E3E-4A0A-B5F4-74AC4B944D1F","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":"Q1060558$F176A9B2-CC1D-4C74-8960-3A2345F664C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060558$630B19F4-4063-4722-81A5-B7234E701257","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":"Q1060558$A55075D2-84F0-498C-8354-673A025A17A3","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":"Q1060558$86D7CBA5-4F66-465B-8012-355C4486EDF8","rank":"normal"}],"P1643":[{"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":"53617310bbbb6e1111a3398c9877bf4cbdb5c734","datavalue":{"value":{"amount":"+0.7367838025093079","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":"Q1060558$904906A5-4194-4C6A-98FC-07DE352E5978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c387a85d48b858f5ee8c704f702595092cc56","datavalue":{"value":{"entity-type":"item","numeric-id":4721631,"id":"Q4721631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7b908acd167447cf83a512f58653ae1a190c46","datavalue":{"value":{"amount":"+0.7239434719085693","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":"Q1060558$50DBFC86-279E-4F64-8EB8-5F550E8C7E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3afc1d8433304ef3b5b405969f0ff62ae0f741","datavalue":{"value":{"entity-type":"item","numeric-id":760203,"id":"Q760203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c964cb5ce22067822ff49d62bba3801ec0195879","datavalue":{"value":{"amount":"+0.7161613702774048","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":"Q1060558$4D79557A-5232-42DC-80C2-0404DD5E1FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b580617b86b2ddc3c83368dea20364b74b46df","datavalue":{"value":{"entity-type":"item","numeric-id":3992238,"id":"Q3992238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51584b44997261e3bf703681bf61f16518729330","datavalue":{"value":{"amount":"+0.7118698358535767","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":"Q1060558$6996B6D4-E656-4AD9-B92D-FCDADDC078FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f910be360cfcd61e61611aca660a92780a74a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2180219,"id":"Q2180219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ebfc6fab18c5de5d5c70d15fe6a4e725fcc513","datavalue":{"value":{"amount":"+0.7054490447044373","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":"Q1060558$E1FAAC13-25AF-4930-AF72-6DF310EC567B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A language for linking modules into systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_language_for_linking_modules_into_systems"}}}}}