{"entities":{"Q3002480":{"pageid":3013204,"ns":120,"title":"Item:Q3002480","lastrevid":85962938,"modified":"2026-06-03T12:47:39Z","type":"item","id":"Q3002480","labels":{"en":{"language":"en","value":"Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5898680"}},"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":"Q3002480$1AD6B340-14FC-4129-AC9C-A63569C297CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beb05da6595a498d99cff6bd69fca8ca038cc444","datavalue":{"value":{"text":"Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3002480$A5AAA827-1164-47BD-AFD5-87C466FAA9C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1cf5c2b5cb1743523274f28deb6e8dd6970194a","datavalue":{"value":"1217.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002480$01813688-41AB-43F5-AFCA-6336EC6EEA76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ba2cca95676a34d0fa472695123442c52045043","datavalue":{"value":"10.3233/FI-2010-303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002480$7D423411-44EC-4629-A60F-31DA8519C4FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002480$5C753DD2-D6BA-4361-A3B9-CFEE93BCE635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002480$C322071F-3958-49AB-879A-84FBB9E4D54F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002480$6641CC6A-7584-4D16-B74E-896F929C59DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23509de5c7feb3395e8d4ed166a79efee3c6d7bd","datavalue":{"value":{"time":"+2011-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3002480$DA20AE35-6373-408A-9795-4BA20A6D7844","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002480$6A16D8CD-468A-4914-B7D6-302AB3CD4C5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"011a8f5e99c5e32297805f10022f45491e290426","datavalue":{"value":"5898680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002480$2A279279-FD33-4D0E-85F2-F2DC414DFF96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0403cb7c1fb4a4105fee498c95fc452a6b5d7031","datavalue":{"value":"domain-specific embedded language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002480$4521F923-79C9-4873-989C-D8E9823AE823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002480$719DC694-340B-4C89-B526-D6792979AA68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7aa1390bb856d03a305689991598335cb02716a9","datavalue":{"value":{"entity-type":"item","numeric-id":18471,"id":"Q18471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002480$8D4FBAD1-A5C7-4533-B819-7C926ABF3213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002480$EA89B0EB-B109-469B-BB49-28C2ECFBACD1","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":"Q3002480$A9DDCD26-3D10-4979-A242-9231AA3054B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f78e5d329316badd7705b5fed483454ad66f7d46","datavalue":{"value":"https://doi.org/10.3233/fi-2010-303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3002480$75E1E2C0-B09E-4E7A-96D6-4DEA5103A295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f557fb02018d2440830a67aac72e007a2ab59b8c","datavalue":{"value":"W1591780766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002480$9CD0BAAB-2CBA-4BAB-A20B-96AE4F0CA020","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe19f76dedeaaa9142d7f6418182e9b75434c7","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd797795c27cfe7a4c99d17887da1cb21eaf4e81","datavalue":{"value":{"amount":"+0.7193039655685425","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":"Q3002480$DB5A4C4C-3322-47DC-9D59-DDFDD0D09235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e4ecedc9308019d8f3f66a1e6a7466170b5d68","datavalue":{"value":{"entity-type":"item","numeric-id":3105092,"id":"Q3105092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca3c332d1fe9154b10228ac7c4fed75713c2263","datavalue":{"value":{"amount":"+0.7023729085922241","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":"Q3002480$EECB9D5B-EA9C-44CC-8D3D-2F1DC17D74BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a603030ddc8bb6b6bce0fd1f2a8303a5e8a1684d","datavalue":{"value":{"entity-type":"item","numeric-id":3179302,"id":"Q3179302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b63e7d91b041fc606650b6c5f86d7157d06e121","datavalue":{"value":{"amount":"+0.6962504982948303","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":"Q3002480$B315C68B-B3CF-4960-92A9-814BB5B60D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492561ccd770ae3fd7a0dee4480709eed873a42b","datavalue":{"value":{"entity-type":"item","numeric-id":5308684,"id":"Q5308684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30666d601921f99dfecea6783d016f7013dd42c9","datavalue":{"value":{"amount":"+0.6926552653312683","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":"Q3002480$A1D68B08-D709-40F9-85D0-B95388DC8AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56680d52cf077c4034c308a5d3cff29a0918b83f","datavalue":{"value":{"entity-type":"item","numeric-id":935465,"id":"Q935465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c014191e0ca69e739b60564e4a87e116ee769194","datavalue":{"value":{"amount":"+0.6845177412033081","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":"Q3002480$B34EF862-4358-44FA-8F11-D4262717ED7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols","badges":[]}}}}}