{"entities":{"Q801672":{"pageid":803520,"ns":120,"title":"Item:Q801672","lastrevid":64442424,"modified":"2026-04-11T19:53:46Z","type":"item","id":"Q801672","labels":{"en":{"language":"en","value":"Deadlock-freedom in resource contentions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880086"}},"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":"Q801672$05F42A6A-F1C3-41D9-812C-A9C1CF505A35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81c2399e0637c3ae50b65e81a893e4057c34e960","datavalue":{"value":{"text":"Deadlock-freedom in resource contentions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801672$2CE8ADBD-B7FF-48AE-91E6-B0898425F7E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45167ee7549c2f2e993109b9c8726194c4901416","datavalue":{"value":"0552.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801672$6878B0D9-7964-4340-A7B8-3792866BC8C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974d2fef6c79f3d55cb38e9706bd0e8e22a87818","datavalue":{"value":"10.1007/BF00289712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801672$EA2969F9-BDC9-472C-9324-5DCAD15C8C7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62341732ef5cb6a676a0b144d617ab80513978e9","datavalue":{"value":{"entity-type":"item","numeric-id":801670,"id":"Q801670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$120E549C-47A5-462D-BC75-1FC8DAD22C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"591f0acee93108d923f9fa183e210b1fe764fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":801671,"id":"Q801671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$2D1B29FF-CDB1-433F-88EA-D16C6EFD9791","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$EE35BCC1-9D56-45F9-B198-046B0FD559C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q801672$F28B238E-49D4-47A6-B7DD-025E90553572","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f7bec08c7a5efca1f4e5a4dc946e57ea010569c","datavalue":{"value":"Processes that compete for the use of scarce resources may maneuver themselves into a deadlock situation. The paper establishes two necessary and sufficient conditions that guarantee the absence of deadlock under the expedient allocation policy. Their equivalence is proved. It is shown that the condition for deadlock-freedom is just another form of the well- known condition for the existence of systems of distinct representatives as expressed in the K\u00f6nig-Hall theorem. For binary resources deadlock- freedom turns out to be equivalent to the absence of cycles in hypergraphs. It is furthermore interesting that, in contrast to earlier work, the condition for deadlock-freedom is proved without using K\u00f6nig- Hall or equivalent theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801672$B9567860-F555-4864-AF14-C7BE1FD14C81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801672$F6A36FF1-5A07-4C12-B861-1F92627F6711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bd51279772f3b4a50785974428c752ba2ebce1d","datavalue":{"value":"3880086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801672$BB71DB3B-9A59-426D-B924-DB60B9D0439A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935edff2edbeea69ff283db1649d111eccf1b7b","datavalue":{"value":"scarce resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q801672$9721B20C-6C45-48B8-A7ED-761B1660F5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"320fccc00a117e92283a495642354917a6094b3e","datavalue":{"value":"expedient allocation policy","type":"string"},"datatype":"string"},"type":"statement","id":"Q801672$B8066583-639C-4FDB-BC3B-8828646D786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ccf6271cb03293da7881f999502ddb2d47c9","datavalue":{"value":"deadlock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q801672$63102299-2C4A-4526-9566-3E70E1F82CBB","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":"Q801672$B274884E-7923-4D36-BF47-445A3EDD4ED8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc47122f6da99057e2203f2befd9ed00159db9c","datavalue":{"value":{"entity-type":"item","numeric-id":5668821,"id":"Q5668821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$61F4328E-BDB3-4A67-97B4-AEEF78A0F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad9439ba540e1eafe7096c665de877fa653beb8","datavalue":{"value":{"entity-type":"item","numeric-id":5576027,"id":"Q5576027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$861277A3-CC38-4132-BC3E-8D60F44F55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d792f5262a1f297a74f9b43efedcc5cd94ec","datavalue":{"value":{"entity-type":"item","numeric-id":4760022,"id":"Q4760022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$476D2890-3C00-48E0-B5B3-893A3716539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187e1fb158e6b4695b1eefc466a8e0535eaf95e7","datavalue":{"value":{"entity-type":"item","numeric-id":5682014,"id":"Q5682014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$EC64A5E5-A478-43DF-95D0-9A51B4824A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6eeb407749da1f5e19850fae2adec3dc7e294bc","datavalue":{"value":{"entity-type":"item","numeric-id":3938474,"id":"Q3938474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$5417D5D4-D367-4F76-A0A4-C46BC52B8A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131029c90ca24b8d6ffea123afe00fdbe8ac74ec","datavalue":{"value":{"entity-type":"item","numeric-id":3868745,"id":"Q3868745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801672$A6EA32AB-0846-45AD-A418-4220E896FF6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06f77f30e4e5e745d51e2871447fc66908b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763583,"id":"Q3763583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2081d556d903e2e645c71ed8dca293a15f7dbb02","datavalue":{"value":{"amount":"+0.8294012546539307","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":"Q801672$0E2EB469-9777-4B8F-9F69-4D4561399C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae09c6684c1031f31409b02257908cffaa9dd29","datavalue":{"value":{"entity-type":"item","numeric-id":4307052,"id":"Q4307052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9701eb0c25aab1df72e5c40bc1783734068b7b53","datavalue":{"value":{"amount":"+0.819546639919281","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":"Q801672$7D26E78F-3736-48A1-B858-2E601E7D21B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c683a9bcaae0c642c27981513aebbfe770f91a34","datavalue":{"value":{"entity-type":"item","numeric-id":1075049,"id":"Q1075049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6753eb7b660a3cc7a06adc38041086c8f454d64","datavalue":{"value":{"amount":"+0.8133232593536377","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":"Q801672$CFFC97C5-1300-4640-9009-07E8B45A43EC","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":"ba7671a8ddf706c5f0a86aa192158bfccb2da759","datavalue":{"value":{"amount":"+0.7971070408821106","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":"Q801672$68607C37-0DEA-43AF-980C-CD64426030C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"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":"Q801672$0EFEE39F-E0BB-47EC-A7E2-D779FE9E5F85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock-freedom in resource contentions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock-freedom_in_resource_contentions"}}}}}