{"entities":{"Q2322306":{"pageid":2333049,"ns":120,"title":"Item:Q2322306","lastrevid":57179448,"modified":"2026-03-27T09:35:02Z","type":"item","id":"Q2322306","labels":{"en":{"language":"en","value":"Discovering and correcting a deadlock in a channel implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101161"}},"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":"Q2322306$EA51D138-C122-4775-9A5C-83E96934AFC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e823625c01414d73696fae16935034c0e1b48346","datavalue":{"value":{"text":"Discovering and correcting a deadlock in a channel implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322306$2F55E340-E445-42D5-8D0D-72C024BDD4BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51131417e7dc4b0d73e9e8dd88fac60ef38001b","datavalue":{"value":"1425.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$19BCC5B5-AC7E-4F1D-8F54-C906B878CD44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$A85D673A-1762-4D24-A1B4-567B53C058FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$63D558FF-1700-4A68-8120-A367594F30B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"761866c458b823deb2476ea286c91321ef138424","datavalue":{"value":{"time":"+2019-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2322306$F3FDBE58-BDBA-4C97-A1D4-F5584F8ED457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$A7DCEB05-A95E-48F7-98E6-8125CE68E019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$D65136E0-3555-41BD-BEEE-DD37F193B70F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd373f9bda19d13917fb7daee180342de14cd1ed","datavalue":{"value":"7101161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$06E60E82-FE9C-496F-BC71-619A0CFA3705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c51541ed0d7fcc116bb389d9e53b35c121b871","datavalue":{"value":"message-passing concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322306$936E373B-EACA-43CC-BCA1-3DE5CE486269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec262b6f05307726ac899e02ed5b6d38531a9883","datavalue":{"value":"channel implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322306$4254C451-613F-45CC-A86D-5C529A04A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322306$A7CBC32B-7896-49B2-BE21-B7B14FC3856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322306$E9CDAE2E-0199-4423-BB61-B32C2F74F6B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$961E791B-A617-4A79-8C1F-BE12C11A17A9","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":"Q2322306$A4A57446-BBD2-480E-9480-75250DB4048D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a63f49378d707b072e0f27f96735943896add2c5","datavalue":{"value":"https://doi.org/10.1007/s00165-019-00487-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322306$6FE95657-5DCD-4DAC-B078-AEB5E342B79B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bcf36027c9266c21199908555eb70c3100fda8a","datavalue":{"value":"W2960457378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$1112E38B-B5AC-4BF9-9DE9-1B83681BA81B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9237de6033a3a4bfb15ea1df98f405c41605e0","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$8B2B3F44-B982-4BA6-AA4D-083C8123A5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1584a4d76a40a020f3a0a08b87a2581b3bf65b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3303932,"id":"Q3303932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$EF47BA62-2AAC-4C16-AA5C-53DA39C3C966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196a510fe101ef345d9d72b12b0565d86bb1915c","datavalue":{"value":{"entity-type":"item","numeric-id":2638755,"id":"Q2638755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$AE352168-1D03-47DB-9224-94C301B2A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$5C2A19C6-D299-4392-9FCF-E9189EF6368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fd4be40d76726d3fffd9ab3f408341aabe28b5","datavalue":{"value":{"entity-type":"item","numeric-id":5709386,"id":"Q5709386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$747D12F7-F939-4CED-8015-2D0E6EC5A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a7eb63d0b4c8d38f73eeffd1eee822c368a319","datavalue":{"value":{"entity-type":"item","numeric-id":2024368,"id":"Q2024368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$BEDF5212-039C-4DE8-B713-C1E2E8534BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91574372770ea76eaf0ee07fcc0ae07675aa2d51","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$1829DEE0-2924-4E26-9E9A-A4F51722AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb261d04fba6b34bcf6ef093e8e25e1dde3475b","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$00E33E25-93C6-4B5C-BFAC-861940F45734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$F0EC3F57-E51C-45EC-89C3-A47CFD011F71","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"253d2811322f1c9e2a88c9012b9ad1ed9102edb2","datavalue":{"value":"Q127498349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$C46568A9-C08E-416B-B4E1-87B65A29A13D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e61fc7369f9ef80dc7fcec84af364620e71deee2","datavalue":{"value":"10.1007/S00165-019-00487-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322306$AC4C82C7-E431-407E-A157-627D3E66DDDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e304a0368df7e1320526d9e15c3b04aa4d431edf","datavalue":{"value":{"entity-type":"item","numeric-id":3558239,"id":"Q3558239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d74580e353ec4dd646035ab2aca40da987768cf","datavalue":{"value":{"amount":"+0.7474663257598877","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":"Q2322306$A5F59223-5527-4B89-8E1F-91DEFD599DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3d755f3cd3b9e410d5d8b0ffb34cd0ab722f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4223021,"id":"Q4223021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17747c1faedd27d64c8a41c7af123e47d81306a3","datavalue":{"value":{"amount":"+0.7074111700057983","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":"Q2322306$E8F83115-4314-4622-BD49-1340F5ABE271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93a6f493dbda2b68bd8c4b79b193fd4a1b46554","datavalue":{"value":{"entity-type":"item","numeric-id":688829,"id":"Q688829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7155c5628ac84042c7dc92392c8002f1fde742","datavalue":{"value":{"amount":"+0.7009408473968506","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":"Q2322306$D5B3367C-6B71-43DF-9EE7-ADB96FF5BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7aac3c49719a62e6069127be3499ae96bfebb5","datavalue":{"value":{"entity-type":"item","numeric-id":2638755,"id":"Q2638755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03174330cab22c0c5e4a87069f5bcb7221178ab2","datavalue":{"value":{"amount":"+0.6958584785461426","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":"Q2322306$9C459570-1F12-48B6-AD73-905DE5D367A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9969fb1d11c8211f56f1becbf8af09fd629e1812","datavalue":{"value":{"entity-type":"item","numeric-id":856423,"id":"Q856423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7e60c6107cd55d923c0f99cb85670d8bb75111","datavalue":{"value":{"amount":"+0.6952041983604431","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":"Q2322306$67857CBC-F976-4026-8483-A387B4640196","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322306$4C51FA60-69E6-41E4-8CC1-F1A8B0802ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2322306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2322306"}}}}}