{"entities":{"Q2024332":{"pageid":2035074,"ns":120,"title":"Item:Q2024332","lastrevid":53991230,"modified":"2026-01-26T01:14:56Z","type":"item","id":"Q2024332","labels":{"en":{"language":"en","value":"Deadlock detection for actor-based coroutines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343203"}},"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":"Q2024332$B442EE23-9682-45FA-8CF2-DAC71EF18FDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bc9f16c7aa8f5a7fb3e81cd22365ca624f72cff","datavalue":{"value":{"text":"Deadlock detection for actor-based coroutines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024332$6509A8AA-86E6-4CB3-9499-A6F1C08ACE49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d882525d03a977efad5624c6e66df69607415aa4","datavalue":{"value":"1460.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$112FD764-F720-4966-B5E1-DEC3DAC749BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80526f078a6c0b1957929756ec636686ed97e92","datavalue":{"value":"10.1007/978-3-319-95582-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$23F2BE22-AF11-43BC-98DC-D60BFE4AEC35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a142b20067bb3d36c296b41d2a680d3545e6fc4","datavalue":{"value":{"entity-type":"item","numeric-id":2024331,"id":"Q2024331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$FE4D5003-DDC7-47B8-B844-9A7B80E2F302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$6A4DA65C-CACF-4EF1-BF9C-5F134C7FD61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$93DE8981-5A51-4F83-A091-CE5EC1EE39C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-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":"Q2024332$4EB6DA1D-2E88-4C87-9FD9-377BCC2A3588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02f1ee69b86d2526fc8ae47612a519fa51dd96d8","datavalue":{"value":"https://ir.cwi.nl/pub/27872","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024332$DA92FC83-EA32-41D0-9131-04E2F9235D5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$CC885E97-961A-46C7-B8E9-3456BF6D8782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$D3DA8A1B-E071-48BC-9B98-54C530768EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41169bf8d48af82cbea1d352c36db248ef69bb95","datavalue":{"value":"7343203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$457E26CE-A584-4F77-BEEB-F883F628119E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024332$F6C5861A-FEC3-44AE-B81B-BBD66690A597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024332$7AB06D6D-8BC8-4C74-B403-E0D71E88541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc5dc3e1795c08c33a72ed751468ac18f8c4523","datavalue":{"value":"actor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024332$89281EE0-7C73-4583-BA64-CE64EA59FE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075c5738da4ce12ec5f5002a8142c230202e9a52","datavalue":{"value":"cooperative scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024332$99254B15-1D19-4E2E-B8E1-DDE82721CEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024332$D82AFDCD-F595-4B00-B0DE-655480918501","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":"Q2024332$B15C0979-959B-41E3-A590-35BE1943F907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c0d749ff02b33e0eeb7f3d03481d67bffb9c20","datavalue":{"value":"W2809300884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024332$45F40B13-C45C-4217-AEFE-F5A10D86BBF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"536787e26a2410bbb4c2a755625c0a8ede6c95c9","datavalue":{"value":{"entity-type":"item","numeric-id":2971128,"id":"Q2971128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$7D94CA58-B143-4CAC-9237-6C6B6E1E0E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7459964b7e59b41b227b93925d675f0772165a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5725063,"id":"Q5725063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$248F4AB5-BA11-4EEB-8441-5DF31C029E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$0E2270EF-9008-4378-9BCD-D63A3CD63060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad422265ba29d2d28e28e54ecb2099512e3ce922","datavalue":{"value":{"entity-type":"item","numeric-id":5891762,"id":"Q5891762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$5800DFC0-309A-430D-BC74-99A60109A14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$996B06DC-DE0C-4E2A-A6C0-19F90DA67A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024332$5073A3C3-434D-4D7E-B6B0-CDEA88ECBEF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0044592590b5d8e66d45fb24002af53f77db76","datavalue":{"value":{"entity-type":"item","numeric-id":444506,"id":"Q444506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f556bdc9642b7c75fec4436439f647b287cf8bca","datavalue":{"value":{"amount":"+0.7321497797966003","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":"Q2024332$3432AE73-8E9D-403E-871C-E8348B2ACABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3254e21ff59df9334d8c9e8e7835c746c3eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2093151,"id":"Q2093151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95229bd75f3b63e7f637da0a1a4c4007ce5a5359","datavalue":{"value":{"amount":"+0.6913644671440125","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":"Q2024332$5BB80B94-5ED4-49FF-BE88-A9063C7E7C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a647884974c15f5de67554ef2f210de3b0a16c","datavalue":{"value":{"entity-type":"item","numeric-id":3179284,"id":"Q3179284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949ca19d8641d9148f06ed4fa636023f13fa9533","datavalue":{"value":{"amount":"+0.6908847093582153","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":"Q2024332$5D3E2A23-9BB2-43A3-B9F4-E7F124C83CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed14db0472c5cfddb8f69f7ea523cedcc6089bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5277912,"id":"Q5277912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063d42491627ffbcf02cd3303df3531f8ce9bfd5","datavalue":{"value":{"amount":"+0.6816189289093018","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":"Q2024332$EE8162C2-1F39-4526-8F47-C88293FE1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152612903ef77d251df9a1960b00b71af29976c4","datavalue":{"value":{"entity-type":"item","numeric-id":729810,"id":"Q729810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8763903a1734268df4511e3a071d2a5da5e8a3","datavalue":{"value":{"amount":"+0.6761886477470398","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":"Q2024332$D4758F29-7429-4CA7-917B-C1E2CEE77E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2024332"}}}}}