{"entities":{"Q2841276":{"pageid":2851996,"ns":120,"title":"Item:Q2841276","lastrevid":51780041,"modified":"2026-01-20T00:07:19Z","type":"item","id":"Q2841276","labels":{"en":{"language":"en","value":"Comparing cospan-spans and tiles via a Hoare-style process calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190974"}},"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":"Q2841276$73638024-75D0-460B-B5A9-F177CAA11242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52555e9ada5e4a054d572255e0756752229af30e","datavalue":{"value":{"text":"Comparing cospan-spans and tiles via a Hoare-style process calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841276$A6E0C077-F358-4DEE-94FE-B067F5C256BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"898bbd7aea19d3093708546f2943763a0c82c0d4","datavalue":{"value":"1268.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841276$A0FAA82B-B542-45E2-A0B1-E4CA908323C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae24f8fdaef284c3b7c3486862a21d437d1d6ab7","datavalue":{"value":"10.1016/S1571-0661(04)00325-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841276$84A728B5-82C7-4B82-8D1A-4D3A7CA7B5C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$38320A95-6337-4EF6-97BC-0B376EB51FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc3d4090ec16a8c1e8ac9b242710db8a929e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":2709855,"id":"Q2709855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$789342F9-6440-4E85-BB42-83AF2A0EC997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$346D6C0E-4AB8-43D1-B013-17FBAD9B4FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2847574c30343fdecd36c344bf1a822e45de0efc","datavalue":{"value":{"entity-type":"item","numeric-id":633809,"id":"Q633809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$FE0E850A-98B5-4FA3-9295-24F6101534A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7dc5d37687b308b97ba7a94b1562368be84edb","datavalue":{"value":{"entity-type":"item","numeric-id":633810,"id":"Q633810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$E06D6604-1AEA-4E9D-9EB5-E3A204CC4AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$49A3A5E5-79E0-44C3-B915-FF86EF8D0F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841276$A3A2E70E-000F-483F-AA89-C1E71224C6DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841276$7907AE92-0DFA-4735-8F01-8D0CF46EEA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bea681a8b8c210e2d2344afd5b6c8d1d0a70794","datavalue":{"value":"6190974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841276$63844793-6497-4A2E-98F7-64ED33D55EDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611424204c514b8dc673305bfa5791760df549e2","datavalue":{"value":"cospan-span approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$7C35AE4D-ABCC-4146-97DD-42DA5F90444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80de201840b8a5c476bd2202bf1e1672922da44f","datavalue":{"value":"tile logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$60E6C000-044F-4A57-A805-3B2A908A7EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$4A9801B3-5394-44CB-8F46-B708E76D2A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e4d3761b35d802329e852237e673e388de364a","datavalue":{"value":"concurrent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$E16FD1FD-EBCB-48DA-A2D2-6CFBA2624A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c62e3cce1123381bdf38fb354b9052f410a83c","datavalue":{"value":"distributed","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$2C993A71-D3C9-4BAB-A502-7111606609AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be986b582b93a797489af5243241eec92dee9a5c","datavalue":{"value":"interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841276$0650B927-81F1-4829-93F2-09922C381F46","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":"Q2841276$0A8D4B8C-2CFA-4FDB-B058-982CF4E84353","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$3A8DD1AE-2CFD-45EB-B131-367F8B6E1717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$00800321-DB52-4ABF-BBA6-23A37AD80FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6686217a66e62d90a9f8fad6b5c8eefc4e5ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4536607,"id":"Q4536607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$B907B545-F88A-4AAE-A53B-06F55390608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66d8570ebb4943c4a376bb72b5807fab4146a80","datavalue":{"value":{"entity-type":"item","numeric-id":1853455,"id":"Q1853455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$40C54C1B-9E71-4203-8E19-329C2785B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf958679cc5d1d0aefbb9c7f05aeac8b7ffeba6","datavalue":{"value":{"entity-type":"item","numeric-id":4452646,"id":"Q4452646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$C2817F9D-7DA9-46E7-B23D-6B86FC1EF0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b08bd0ca88b2899975ad2a93ad1c2e0a62f105","datavalue":{"value":{"entity-type":"item","numeric-id":4536441,"id":"Q4536441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$2F5F61FF-6232-4124-884D-2B835B782199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788823ae7767458739199760d455d94c53e9bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":1854326,"id":"Q1854326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$CE0222AD-A8C4-4930-9E85-456B1B13CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$1D4234E8-FAEE-4309-8383-8A567E8E387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2150eff80790dd98aa701bb52dc508ac164c92b","datavalue":{"value":{"entity-type":"item","numeric-id":1608920,"id":"Q1608920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$96755001-631E-4836-92A3-487D4DD1BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfbc29987fa7ac308027689864035a33a78333d","datavalue":{"value":{"entity-type":"item","numeric-id":674474,"id":"Q674474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$81CCCF39-F9A8-402F-AD95-36DC417153E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18878fd81184dca6419f4438409d2ba9a1950983","datavalue":{"value":{"entity-type":"item","numeric-id":4373555,"id":"Q4373555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$F298214D-A051-4FA3-B067-0C88969A71D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841276$5DE38739-5CDA-4700-80CD-6B873E43B050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f079111ba0581811988c31731cf58ddfab73a86","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00325-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841276$E7086C8C-3D04-4CD0-BE3C-398274B81F31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c7697bd35016f8ba5262a9c8f69f4ff443167bb","datavalue":{"value":"W1978226874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841276$C108284C-08CE-4CC2-B331-7B76C94E535B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc76a4b8ec9611b51745be43908a7efba2e59bf","datavalue":{"value":{"entity-type":"item","numeric-id":1608920,"id":"Q1608920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4665b503d8b65ee7e5f787048dbf0f714a7082","datavalue":{"value":{"amount":"+0.7520396709442139","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":"Q2841276$A12DA259-9CA9-41D2-9679-FED43A872D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f017c0e749a7e19b97de75d0f9b968f6cb5c1f2","datavalue":{"value":{"entity-type":"item","numeric-id":4222916,"id":"Q4222916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc288fdab345296154d2729aca3570116986e61","datavalue":{"value":{"amount":"+0.7466567158699036","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":"Q2841276$CA1F75B1-EB92-46F8-B7D5-F16C471DD145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17efa7a016b77a9bf97ec30b67cdff6d37d5d552","datavalue":{"value":{"entity-type":"item","numeric-id":4222992,"id":"Q4222992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eec85e0265645fa58ec043ffd6c7336eacba3b1","datavalue":{"value":{"amount":"+0.7365692853927612","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":"Q2841276$E4AC2402-D0B6-41D8-9E78-0D1F20B1E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79842135b448342e173a9000303814327f9d347","datavalue":{"value":{"entity-type":"item","numeric-id":1854326,"id":"Q1854326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7aa3d885b9488afe1729bee15d1764d0097a47d","datavalue":{"value":{"amount":"+0.7212001085281372","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":"Q2841276$DB6564E7-DBC0-468B-A550-B878D02B41B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b47ae05a07966460f1a70bf75101b8ddfbb34bd","datavalue":{"value":{"entity-type":"item","numeric-id":2847779,"id":"Q2847779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9493d0ee5c50f18f53e660cbd36f320dcf8dac3","datavalue":{"value":{"amount":"+0.7203043103218079","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":"Q2841276$6A2A782C-4646-4520-94EE-776BE6A90C14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841276"}}}}}