{"entities":{"Q795500":{"pageid":797348,"ns":120,"title":"Item:Q795500","lastrevid":64399551,"modified":"2026-04-11T19:36:39Z","type":"item","id":"Q795500","labels":{"en":{"language":"en","value":"Parametric channels via label expressions in CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3862422"}},"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":"Q795500$43A9F924-D20E-4869-A11D-52547725A679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e1a5907e28a2382f645536fa01a001b5f61880c","datavalue":{"value":{"text":"Parametric channels via label expressions in CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795500$25EBA447-0E3B-4D0B-AB01-1F655C6BD31E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47bfca7a0d8b18f9453f383aba6fb7eadf0e3edb","datavalue":{"value":"0542.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795500$F99A7C76-A6D7-4EE8-B2A5-8D34FDCCB864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbbcedd8a0444b1de800b5ce0b034457b5c59047","datavalue":{"value":"10.1016/0304-3975(84)90102-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795500$1A0323A8-C8AD-4083-BA7F-6A41234E21C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$509E9064-1138-43E3-9338-9BC0A64F60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$37CDF2AD-8828-4110-85AC-69FFED8432C7","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":"Q795500$561CB319-98CC-42BD-97FE-13391C85A321","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":"Q795500$502632B6-73FD-41D8-BCB1-8F5488578553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795500$AD4C834D-E14F-4CBA-A0F2-A275027A58CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a92be0757e07e2e3cf7609457dd1649d57b547ea","datavalue":{"value":"3862422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795500$D29BDC07-9445-45A2-B78D-8C51DFE0119F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc617447803e66f7ea5950dea4153dabaf09d0a9","datavalue":{"value":"Calculus of Communicating Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q795500$85F8FCEE-38D5-47E0-AC34-0A334D133365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f91ffe61e49928c2ce0dbbccce5ae7e37bf93c","datavalue":{"value":"concurrent languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q795500$267F4EBA-E079-47E3-821F-A0A49929FEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q795500$A0C990DD-CFDF-4B7D-8F24-C64719242BC3","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":"Q795500$893EA9B4-CB02-49EA-A0ED-A7DEF4D1E633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fea1d10a96d86afb2b490f2f0d972a74cced0d5a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90102-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q795500$A97023C8-AD7A-4FCE-B996-A6217F765CDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b2a42134d9580cb2bbb90d39db278f873bb831c","datavalue":{"value":"W2025294912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795500$3D598CF3-75BA-4E71-9CBD-952243342E83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e7d9b59cfaa0bcf066adcbf394ebe2f802348d","datavalue":{"value":{"entity-type":"item","numeric-id":3969858,"id":"Q3969858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$93E1E603-219F-439A-A31F-DE213D18A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a832b47676899755db37ec24bdc31ac1110ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3886847,"id":"Q3886847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$335E64DC-929C-456B-95E3-8324E80CCBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab282e4d867f9bfe001c10d7d2f88a3947c4259e","datavalue":{"value":{"entity-type":"item","numeric-id":1148118,"id":"Q1148118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$D474C97D-B53C-4827-A051-18F82FA9C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$EC782401-00AD-4E52-9D01-3F03E3130BD7","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":"Q795500$F4401D9D-ABBE-46D2-8D56-091C1E1E87AD","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":"Q795500$73FC5542-731F-4E43-BFD2-488E0881DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795500$A491898E-EF63-45F6-8CC0-141F36D2DF8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60533e1fe34b8ead1fb30ffc67e9310c109c5a80","datavalue":{"value":{"entity-type":"item","numeric-id":3316569,"id":"Q3316569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622952ee6123a72911b9c97517695a0759a2d0a7","datavalue":{"value":{"amount":"+0.9372000694274902","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":"Q795500$EE3097BF-B255-4E89-872C-947DEC1412EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19ac6fcd6b0e74f39affb9e458cffd657e34cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1914043,"id":"Q1914043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce823400b484961d0bc14ff6308e28c1349318e","datavalue":{"value":{"amount":"+0.8489991426467896","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":"Q795500$D5D80D9C-8A04-4CE0-8B04-613EEE43AB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f055ef19976c348ac8ba131b4ca767c010e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0258cf7d9b629d9774c9893779fcc725abfbeac3","datavalue":{"value":{"amount":"+0.778978168964386","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":"Q795500$5B25CFB5-9B6E-4770-AF15-6A4CB3D0DE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1ac547cd4db3d00a1ad3508cae86c83c87e44","datavalue":{"value":{"entity-type":"item","numeric-id":3985381,"id":"Q3985381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78692e25a830812a19f32e1e7712c36984d14ac8","datavalue":{"value":{"amount":"+0.7444642782211304","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":"Q795500$84BAEC22-6881-4809-95D7-B377C424A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d890bb055f04b9498e0837e718147b2383b2a51","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8f524ba2a1fa16610a6b049802c99c43fa7bbd","datavalue":{"value":{"amount":"+0.7439163327217102","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":"Q795500$F7950F08-5513-411B-9124-FBD5C16443DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric channels via label expressions in CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametric_channels_via_label_expressions_in_CCS"}}}}}