{"entities":{"Q580970":{"pageid":582737,"ns":120,"title":"Item:Q580970","lastrevid":62924721,"modified":"2026-04-11T09:01:09Z","type":"item","id":"Q580970","labels":{"en":{"language":"en","value":"The pursuit of deadlock freedom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018367"}},"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":"Q580970$9E2CE29A-BA96-4843-9014-9348C97F4C4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a5a567146d21e763c2ca91b29b71dc61ace4a4b","datavalue":{"value":{"text":"The pursuit of deadlock freedom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580970$E818A221-22EA-44D3-84ED-456090B3110E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bce4dbcf75af4e3dd2c4a2580dc73fa968c7185","datavalue":{"value":"0626.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580970$8462EFF9-DDAF-426E-9CC0-454747B8A959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fad383eaff3e55bb061065ef099145b27f2b9c9a","datavalue":{"value":"10.1016/0890-5401(87)90004-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580970$BB721809-E560-4ED2-AE1D-9EB9FBFC95DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$44090B99-680F-4D72-8734-0A68F7509628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f9e54a69ec46f6e826bebdcdb320c8d7815a56","datavalue":{"value":{"entity-type":"item","numeric-id":580969,"id":"Q580969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$CA8B90A4-82E2-4654-9A9F-163E98E8F492","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$244D34C5-CA69-45C2-9901-A31E493514FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580970$E6A328F1-240A-4A29-BEAC-7256BFA73E90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"512c592c9cbf51f92b1319efd6f824d2ea64293e","datavalue":{"value":"We introduce some combinatorial techniques for establishing the deadlock freedom of concurrent systems which are similar to the variant/invariant method of proving loop termination. Our methods are based on the local analysis of networks, which is combinatorially far easier than analysing all global states. They are illustrated by proving numerous examples to be free of deadlock, some of which are useful classes of network.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580970$74D11D38-3020-4B22-8D63-3CE9F2E78D57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580970$C4EAC498-07A5-4774-B4A0-7C63F49CADB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b68778e65bf7c3fc6983379d1e0b77a9ec8b8e6","datavalue":{"value":"4018367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580970$AFC91057-DAD2-4983-A9B9-D28DFC7F8D71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q580970$E249494F-26A9-4793-9D7F-79278D176EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86095e5930ab94541f30cea5135eb22835ee146b","datavalue":{"value":"loop termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q580970$C23FB65E-0E86-4531-B7EB-00B880B34209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f0ec3589e8349c75f9ec5987acb9aa6eb11c9e","datavalue":{"value":"local analysis of networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q580970$2205CFFC-EA97-4597-8D1A-3E9AFC05499B","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":"Q580970$4AC25682-93E4-471B-8C6D-A9228283ABEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"408b3399143f05d5c356fbe55655e5b00665a5cf","datavalue":{"value":"https://doi.org/10.1016/0890-5401(87)90004-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q580970$60D27D30-FD05-44D9-8B5B-B28CF5DD91D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72b6ebfdc37601825abf9ba91ab8a0df04e2886c","datavalue":{"value":"W2123401374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580970$2F1F7739-5254-48C7-8998-E5D2799D1071","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$4151B2AE-A9A5-42E4-8E18-0C5DA560C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$14939858-65F1-4FA8-AC40-7958622A8B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$188AC246-607D-4EEB-BB91-8B1F3E3FC02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852a7f21a1787fd3f6163e6564466689a9f92790","datavalue":{"value":{"entity-type":"item","numeric-id":3700823,"id":"Q3700823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$692B39A6-76F9-4E51-B0ED-904687B60BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039b377d08e0a230939a8439d1f12c5a8b483a30","datavalue":{"value":{"entity-type":"item","numeric-id":1151025,"id":"Q1151025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$C021114E-65F2-4024-B835-1A58238DB2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$EF04630D-B03D-483E-90B5-B1CB3DA285E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$0F81AB4B-7A81-427F-A441-F0718596D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6943abc1f4de67c9908876a245a85b337593aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":3902493,"id":"Q3902493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580970$DA3244AF-8BAB-4C3B-AA6B-2BB73F7E3B1E","rank":"normal"}],"P1643":[{"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":"e9f78b9acef3e261cbb7ab97b73a817d376b59a5","datavalue":{"value":{"amount":"+0.8427226543426514","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":"Q580970$83EB0783-AC46-414E-909F-6E743A8291BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409c70f02aac18578df15bcd918a7c2cc9ebfd82","datavalue":{"value":{"entity-type":"item","numeric-id":3700823,"id":"Q3700823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d88d5dfc8403c08229cbc2fd2cef767b244a730","datavalue":{"value":{"amount":"+0.835001528263092","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":"Q580970$0CBC8632-1D19-4B11-A0D5-B9D897AB21E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeb509b73a042deebca797bb04c4d9ff9979f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07d731349641e4622e3b7fa1d258f5b580a974c","datavalue":{"value":{"amount":"+0.8070469498634338","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":"Q580970$AF110AA8-F3BD-4E81-831F-611F1E096222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e116affd04360dd1f2efef338f59067771d7fd30","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a434e3a8077cc269d24bc508658c2a29134e71","datavalue":{"value":{"amount":"+0.7911989092826843","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":"Q580970$493AD44D-0020-498B-84F5-1DC9CA8D7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90f368e0906fa1e2472252c45b85021c0ff6de6","datavalue":{"value":{"entity-type":"item","numeric-id":801672,"id":"Q801672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7845edb2524bf6add9164cfe735337175c4d77c","datavalue":{"value":{"amount":"+0.7863460779190063","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":"Q580970$989D5E9F-27F6-4C87-ACBB-E7E05769BE27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The pursuit of deadlock freedom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_pursuit_of_deadlock_freedom"}}}}}