{"entities":{"Q1208210":{"pageid":1218959,"ns":120,"title":"Item:Q1208210","lastrevid":66352392,"modified":"2026-04-12T09:31:22Z","type":"item","id":"Q1208210","labels":{"en":{"language":"en","value":"Enriched categorical semantics for distributed calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166158"}},"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":"Q1208210$366220D5-1148-4759-A6B5-E48A0B8F1500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbc160363eb1254153bcb28a62663a1c9989b0bb","datavalue":{"value":{"text":"Enriched categorical semantics for distributed calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208210$CCAFD5EF-7C17-4783-B848-E8E2A2797418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b357443a09a752284b5f5d007ba0cbb1d5ff9045","datavalue":{"value":"0777.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$4E9C3986-9893-4369-AA7D-435EBEDB8239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26c8189b7ff119cbf3792c4a3c0c21a94db7455d","datavalue":{"value":"10.1016/0022-4049(92)90048-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$8A602571-54A8-4A01-8781-174988DDB85A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e895329bf4036b3ba35eaa6fc3a6764aa83627e","datavalue":{"value":{"entity-type":"item","numeric-id":633800,"id":"Q633800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$29D0E8B6-8BC7-462C-A984-1E9614AE692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cca12677f2478e2b66d7a7a0ac2c7062b971caf","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$49A4BD63-DAFD-4A35-9C40-AC41BF5A1F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$63A37F10-47CF-4D94-BF8C-A996BE59D005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208210$13C11D02-FC1B-4FEF-A6AA-F97A729410BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73b6a96eb8e556b97fbc4e621651fba33cf42566","datavalue":{"value":"The authors propose a general categorical framework in which many of the existing proposals for the mathematical semantics of the interaction between concurrent or parallel computations can be expressed and, therefore, compared. They propose a two-tier formalization of synchronization between (concurrent) computing agents. At the first level we find computations, described as labelled trees. Formally, they introduce the topos of labelled budding trees (constructed out of the topos of labelled \\(A\\)-trees, \\({\\mathbf T}/F(A)\\), which is a monoidal category with respect to a notion of concatenation between trees. Since this topos, however, if not monoidal closed, its reflective subcategory \\({\\mathbf N}{\\mathbf T}\\) of nice trees is introduced, which turns out to be monoidal closed (but not biclosed, a fact which accounts for nondeterminism). Finally, an operation of synchronization is introduced on \\({\\mathbf N}{\\mathbf T}\\) and shown to be a monoidal functor. The second level of the proposed semantics aims to model processes and computations among them, described as enriched categories over \\({\\mathbf N}{\\mathbf T}\\). Synchronization among processes is obtained by lifting to the enriched structure the corresponding operation of the base monoidal category. Particular relevance assumes a notion of hereditary fullness, characterizing the ``good semantics''. With this set up, the concepts of relabelling, restrictions, insertion and deletion of idle moves are then described, with particular emphasis of the comparison with similar operations of other formal descriptions (e.g., CCS and ACP). The paper tries to motivate the formal notions through intuitive operations on computations and the analogy with regular languages and automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$C6ABB2B4-6AFA-4376-B3B8-83FC304C9877","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00ea4a5ed8879c1a6adc0802c8c4ce48d27b9055","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$06B94C0A-0634-48CC-B77B-FD274D092019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$186C023B-15E9-4D34-B526-465064AA3F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$EA9E6B22-D95A-4DA7-B03C-43A7E5CB515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$AD26CE75-B10D-4B13-B164-B0590147D453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$3E37BE41-FB5F-4937-8A0C-D666C78A19FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17eb1f2bd194080a447a0c2c9213293df538d246","datavalue":{"value":"166158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$1386F4AF-6BC4-4AF6-AA24-8C4574790E2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$6E52FF8E-7731-4395-9F1E-74C729D8E478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac35c8e7c26dd0d6a8e566b40f1924e8bf8206cf","datavalue":{"value":"monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$3CD67A18-88EA-438B-921A-05CABDD613F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$3DD93EC9-A1A6-4415-8D5A-A36DBB30CB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c32420b55550422a342b5bcbce3f4569e98de5","datavalue":{"value":"parallel computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$E12E83A5-FD96-41D1-A0A7-72552994CD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd86a6ffda19d12f1f454943ccf07ffb57a3c4f","datavalue":{"value":"labelled trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$12B1612A-2457-48E0-806A-D62F22717AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208210$3116FD7A-BFB5-40D4-80D4-6E551CCD28EA","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":"Q1208210$6550A891-3B4C-44D0-BD4A-5F02DAFF1952","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":"Q1208210$C8A72611-08B5-4C74-89B2-22B01A1211A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$6B8BAB55-B0D0-4F45-B1B7-FB4896444B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$4CF48EC2-9BAE-4264-9B7B-5628781B176B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b636d44191ccd04a6057439a93f6235f9c6b2dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3904750,"id":"Q3904750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$4B833644-21F4-4741-A03B-33ED0DD4B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf1b221c50ecaf8c6baa003e568b6335fb5f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":3692876,"id":"Q3692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$3C17623B-85CA-4B1D-B2F3-C5AA2E796593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$1CEC76D2-108C-450E-A102-94F85A67AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44596e640e5e3e57caf4b683e0619bf841b94e82","datavalue":{"value":{"entity-type":"item","numeric-id":3956374,"id":"Q3956374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$FD4E64EF-F768-4BC8-9F75-F8BA31DE4D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83ff1a9e72a69a2772e581c54639f52339c1590","datavalue":{"value":{"entity-type":"item","numeric-id":4746776,"id":"Q4746776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$2812B685-9D4E-426E-BCBC-6506AAAC4FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea71754d2757f985998ed441179ef90ef9145473","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$DAF6B0AB-F2E9-4665-8AEA-73F49845FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$BE1D351D-5139-480E-9BF8-AD5C518B0F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$B994822D-34C2-4CE5-87F3-F5CCD5F05B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$EE0F3148-19A7-47BD-8E34-01E273C0D381","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":"Q1208210$C45C6919-EDCA-4364-81F0-84D9DA964B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$A62D913F-3D42-4ACC-8EF4-A282816CEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712a6d76388d4ff138e2f0d1aa1289866cc74be3","datavalue":{"value":{"entity-type":"item","numeric-id":3667049,"id":"Q3667049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$CFEEEF80-4051-4F73-9C1A-43E5E342D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3026c834f77bf795791da9dbf9b66c36eecaea","datavalue":{"value":{"entity-type":"item","numeric-id":3780423,"id":"Q3780423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$D7C82F80-F27B-47DD-A3A5-2BF98F1E78A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7298af9ba8b951682f7032f3a10ed0a2befe25","datavalue":{"value":{"entity-type":"item","numeric-id":3028349,"id":"Q3028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$B177BE5D-CE58-4478-BC6A-E9AD140F1479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$215F50B9-78A7-4654-BADF-62E1BF78586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbd6ebfa96f4f5cd600cd5535101d612a9fa5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4728237,"id":"Q4728237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$F3517804-D482-41E3-9B6A-BA2B786C4AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$3CD24C81-041D-406D-BC7E-5F09879B2B64","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":"Q1208210$7297D044-B1A3-415E-8750-9BD1943E560F","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":"Q1208210$40F82DC5-CD13-46E5-AEEA-812C0FDB4AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12113c52b3127249cd98f6e5578d7e039662dec4","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208210$A37883EB-EA1A-4471-88A2-7E7D17F5FC1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab8e5ef2070512c9ebaf98fa41c415c281b1f5c9","datavalue":{"value":"https://doi.org/10.1016/0022-4049(92)90048-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208210$E8578C2F-B45E-484C-AB9B-9B61146DB5C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da5428619db175bab71f41b647cabeb77f09c89e","datavalue":{"value":"W2086295015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208210$E73FBBD4-D6AC-42B2-96B4-888C17795DCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e80fdec7d4fde834cb62241c4f577fcd1e393c","datavalue":{"value":{"entity-type":"item","numeric-id":3796730,"id":"Q3796730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662db48aabb8241dda00e10ab4cbef5303c84260","datavalue":{"value":{"amount":"+0.895926296710968","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":"Q1208210$A941679F-A90C-423D-B18B-612AD8699AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e38e2dc9fe08b330e2943218410633d32439f3","datavalue":{"value":{"entity-type":"item","numeric-id":3780423,"id":"Q3780423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe59f7c0248606e519c09842836dd1907364506","datavalue":{"value":{"amount":"+0.8316305875778198","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":"Q1208210$4DE0E272-CE4D-4A25-8589-DCDB335FAE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cffbbfec1fd97e45c11aaf09c83b6cc5dd222c4","datavalue":{"value":{"entity-type":"item","numeric-id":3819987,"id":"Q3819987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ced277ce22dce51f9ed0586269c9dc605e947b","datavalue":{"value":{"amount":"+0.8279720544815063","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":"Q1208210$A3CFFF68-1A0E-4E2B-8804-CF475C6F3392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dfd93da21894544a28c75beeb830514c9e39a7","datavalue":{"value":{"entity-type":"item","numeric-id":4728237,"id":"Q4728237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f4461e6d8ffc8bdf084ed925b54466dfe322e4","datavalue":{"value":{"amount":"+0.8074735999107361","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":"Q1208210$C027B3DA-6467-48D5-BE4C-A2DD15BA0042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a613ac1b651942f445f16403221570e388dcd61f","datavalue":{"value":{"entity-type":"item","numeric-id":4261081,"id":"Q4261081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5962ae192fb55e611d5732c41f9e660011b30b15","datavalue":{"value":{"amount":"+0.7899694442749023","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":"Q1208210$C9CDB906-B6B1-492A-95BE-DF955ACF7057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enriched categorical semantics for distributed calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enriched_categorical_semantics_for_distributed_calculi"}}}}}