{"entities":{"Q5495108":{"pageid":7524668,"ns":120,"title":"Item:Q5495108","lastrevid":58590219,"modified":"2026-04-05T21:46:44Z","type":"item","id":"Q5495108","labels":{"en":{"language":"en","value":"Compositional reasoning for explicit resource management in channel-based concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6323268"}},"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":"Q5495108$3BA508FE-0257-4110-B996-1D4F2C851EF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51c091acebc8904d8cee049af01fce08df6640d","datavalue":{"value":{"text":"Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495108$06623F1C-E213-48B5-BF99-9F2E580EB6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f234bb69dfe42f025c34d148f66baa74ab1e3a","datavalue":{"value":"1335.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495108$B06822BE-5584-47FB-9E10-084B7ED6AE83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1f191838bfbd02bdcc7c8bd8b80997576e237e2","datavalue":{"value":"10.2168/LMCS-10(2:15)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495108$F92EAC40-F767-4D0A-9F66-8D06B2C55DCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$09EE8A80-DC58-4E39-BD8B-4EEC6D39FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71e05dc17eeec091dd9dbc6387cb8ab9169003fe","datavalue":{"value":{"entity-type":"item","numeric-id":2937683,"id":"Q2937683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$55A10D34-B53D-4842-8E00-36708D2F8B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$8BAAEB10-1BB0-40D9-8E94-96DA3A216A8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$198B694E-2D39-4221-9760-5691F587EE59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b5c982f599539b2f362cfa006a40560fe26e036","datavalue":{"value":{"time":"+2014-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495108$336FB025-38AB-4654-BF8C-5017E5025F26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8f17522eda3a1e0dd3d0495d4639988d86168d7","datavalue":{"value":"https://arxiv.org/abs/1405.6100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495108$EB38C0EB-0C61-4987-8BD3-C0C9F3CA2DAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495108$0B430D70-07DC-4F19-A798-5764B9CA0270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1f98761cd5db1a796a26a5aa9aab3f710bafaad","datavalue":{"value":"6323268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495108$B3A50DEC-0490-407E-BB98-62FE58D38E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495108$5143B44F-3DDE-4347-AA84-BB5EA6C152DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495108$EA992FC4-5D64-4609-BC9F-C435A0F18B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495108$F96AB847-24BB-4B6F-9DDE-49CDEA71F08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927602091614b941629dfabee29e4f5ed947e6e5","datavalue":{"value":"coinductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495108$0E551D48-16A1-4DB0-B204-2DD056BA1428","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2f2ac3057d2fa6b029c9f587ef99cf1ed36456","datavalue":{"value":{"entity-type":"item","numeric-id":30913,"id":"Q30913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$962A393A-AFAE-4FFF-859D-1B1D6CEEAD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fdb421b3415346a610f7724f98fdc0ffae669b1","datavalue":{"value":{"entity-type":"item","numeric-id":21401,"id":"Q21401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495108$BE76E31B-530A-4D74-95CE-C5A7727BB819","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":"Q5495108$CFFD2DE5-D0B9-4656-8CFE-3FC38FC69555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12af4d12996bc8f9efb7f8ba95ee78358dd1af49","datavalue":{"value":"W2160931058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495108$259A7BC1-9929-4353-8512-C995C199AEB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9a2ab61bcbb5e352bd51746056edbe19c86c63","datavalue":{"value":{"entity-type":"item","numeric-id":5898625,"id":"Q5898625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e2e01e43e3e9c7d2b8098971960c4808b9f044","datavalue":{"value":{"amount":"+0.7810487151145935","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":"Q5495108$5902E1F6-DE00-475D-8F3F-9320F2FDB59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708f96d0fd2676f1f5ca438a298b0bddb7ff2002","datavalue":{"value":{"entity-type":"item","numeric-id":5310663,"id":"Q5310663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e18d228c60c7b4dcec5d32ae2cf9cd03711ddff","datavalue":{"value":{"amount":"+0.7778016328811646","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":"Q5495108$DBAAA67E-86A8-4495-A8C7-50155BFE749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00050d738faa26a5c03f7f73375e66f311c97590","datavalue":{"value":{"entity-type":"item","numeric-id":2937684,"id":"Q2937684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3be13a86b8afe33a6cd3ba418eb83f629b10c4e","datavalue":{"value":{"amount":"+0.773788571357727","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":"Q5495108$F9CA57A2-9A77-4998-ADB3-099D3B631D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93259fe071df733deed94ba70c05305cbaa52b7","datavalue":{"value":{"entity-type":"item","numeric-id":5150150,"id":"Q5150150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b6d11aecabe0959db88b1f7869fd71ee6bbb0f","datavalue":{"value":{"amount":"+0.7719533443450928","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":"Q5495108$16E68708-10C0-4D8A-8F01-382DB0A199EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dcc9d1266229138e7f3e42b960f203b784a79b","datavalue":{"value":{"entity-type":"item","numeric-id":3003308,"id":"Q3003308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055ba97d3fec07931591b64ba3c02a102fd69b50","datavalue":{"value":{"amount":"+0.7585768103599548","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":"Q5495108$C999F44D-9E16-4857-A919-94A387EB2375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495108"}}}}}