{"entities":{"Q6084530":{"pageid":13218837,"ns":120,"title":"Item:Q6084530","lastrevid":41646635,"modified":"2025-05-06T17:47:12Z","type":"item","id":"Q6084530","labels":{"en":{"language":"en","value":"Reversible session-based concurrency in Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7772929"}},"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":"Q6084530$4B889AE2-4576-4F21-BA3E-A685BD59F00F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a12185cc79509673c343080fca3649ccff4ceb7","datavalue":{"value":{"text":"Reversible session-based concurrency in Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6084530$4D3F8956-D16D-4E90-B96D-CB10A5D07694","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9adda166f51ef7d16112026b4316b013fecb3fd5","datavalue":{"value":"1525.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$43D58512-0D80-412A-B80D-03A835964C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d5f0af3de79cd654dc2744d12c8855b45682e8","datavalue":{"value":"10.1007/978-3-030-18506-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$0E9F5AF3-8851-4800-A6AA-A7E6D7D99996","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c6a2e1d3dfde6516d5b7341e9ff6cbde14ab28","datavalue":{"value":{"entity-type":"item","numeric-id":6084529,"id":"Q6084529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6084530$33482B8F-BCB2-4A0B-A31E-48061C5B3526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6084530$5B887427-3B9D-4319-B361-C8A2B05FBBFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6084530$F0DFEF46-E1A3-49EF-BDE7-32AFCFE2BF23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea1a2719367decb09970219872140d6addd531f6","datavalue":{"value":{"time":"+2023-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6084530$0996300E-EFAB-432B-85A7-06EEAA228797","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e2e7b7081b43497310b28aece5fc1837e193ce","datavalue":{"value":"https://research.rug.nl/en/publications/25f3b69f-4f69-4706-9f59-ab208fbe9083","type":"string"},"datatype":"url"},"type":"statement","id":"Q6084530$2D160B2F-6771-4BC7-A25C-B864CCC37792","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$41FD7B32-BB03-4DED-973E-36611C5C470B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$7C41C21D-FD5D-4140-B7CB-990E381485D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$1DB5574B-04AB-4E0D-84DE-B69201D23202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e91d7468002bb92fd6ceffe540ecd31b945de35","datavalue":{"value":"7772929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6084530$D66D4AAA-75A1-4D8A-BEF3-0296D6077C74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6084530$89972C15-2C97-4543-AD70-BC0DB6C29B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c51541ed0d7fcc116bb389d9e53b35c121b871","datavalue":{"value":"message-passing concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6084530$D5357BAE-0729-4A0D-BBCB-215D6EC675DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6084530$31CEBA52-6813-412D-B347-87F3CAB21D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q6084530$914E1930-4F7A-403C-97C5-19CCF0F1D20D","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":"Q6084530$293B4A93-34E2-43E1-95AC-FCEFDF186222","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72d4db2b113857b2193739b758063ce85192796","datavalue":{"value":{"entity-type":"item","numeric-id":2360649,"id":"Q2360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d553597cf3cf243c89e7fae8815d5f8f8e24f20c","datavalue":{"value":{"amount":"+0.90085876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$10763BDD-C952-4E5C-A0DB-9CFB1C73AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd4c2b29b2f41f32e6338b5c0f230bb7bc68b90","datavalue":{"value":{"entity-type":"item","numeric-id":2986833,"id":"Q2986833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7cd1c8e03ef4064d33a2bf69cf3a17eca600aa","datavalue":{"value":{"amount":"+0.88333833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$FFC51799-AD0D-440C-BA77-413E76850D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b41a1ac43e46040d0f98a697af76c8b9e3fa15c","datavalue":{"value":{"entity-type":"item","numeric-id":492908,"id":"Q492908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9311d26e3bc34268a7233b7b75ed76402746ef","datavalue":{"value":{"amount":"+0.8707303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$DF25E3EE-E0C9-44F6-AAB6-056459D75054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd0b6da6c25a2a97a79aca1208feacd92b431c","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e85f48721925f65cc717ce263b0626b0b189adb","datavalue":{"value":{"amount":"+0.86150587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$A6AEC8DF-964C-4606-988C-EAD0024D7FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab27a003de382101d1343898f83a1b00edcd50c","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b563eb8b2a55575767649ee2927575cbc55898a0","datavalue":{"value":{"amount":"+0.8599502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$C825DCA9-A462-489D-B8E7-DACE355C0088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0414685b4e66338cd6291e11b90c0033d232c5","datavalue":{"value":{"entity-type":"item","numeric-id":5082191,"id":"Q5082191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6725d3c3cd3ccf935a06ca28bfb8e4f5b80b62","datavalue":{"value":{"amount":"+0.8534193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$C0D094F5-ED37-4ABA-B384-10FEFF176427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26fc4d76276e6038b9fab627961029c41c72422","datavalue":{"value":{"entity-type":"item","numeric-id":2120811,"id":"Q2120811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f83f6ffcdef0598eac7081a185afae5e7256a6f","datavalue":{"value":{"amount":"+0.8489097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$40707E4B-4B77-4480-B9B3-6498F2F5397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d6ac6872236f9aec8e78df1ff81d5874fbdfed","datavalue":{"value":{"entity-type":"item","numeric-id":5262951,"id":"Q5262951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b936b0242e0d77dd4f3e8c18064ef63f92faa2","datavalue":{"value":{"amount":"+0.84869087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6084530$C21F9C32-858C-4095-80A2-2F85EB141980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6084530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6084530"}}}}}