{"entities":{"Q4540370":{"pageid":6569962,"ns":120,"title":"Item:Q4540370","lastrevid":89854007,"modified":"2026-06-04T18:26:31Z","type":"item","id":"Q4540370","labels":{"en":{"language":"en","value":"Correction to the RUN DAP for conjunctive RAS presented in \"Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems\""}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1769610"}},"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":"Q4540370$59143545-5EB9-4901-902D-2C5F71FE06BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"956eeb5088be6816f8ba07aca4cfc1ce5362ea8b","datavalue":{"value":{"text":"Correction to the RUN DAP for conjunctive RAS presented in \"Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems\"","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4540370$3B66960A-D826-4280-B474-FBDF7B6C7493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a755d8572f3f48fbb44e2efaa116a1974d389ec","datavalue":{"value":"1136.90342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$FF4CBF0B-D005-49D6-A726-F831CF1E0A07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8b049a16522f5740fba63e5f61bb85d8c8379e9","datavalue":{"value":"10.1109/9.917717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$8779A774-61D9-4019-BD87-73E15FEC6184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc962a81a8348fcb7f7266d391641e9a5565cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":763535,"id":"Q763535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540370$67311EBC-BA7E-49EA-A99F-7A2F94AED30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10907e275c681f4982c55fdf0b703f098b65bf4b","datavalue":{"value":{"entity-type":"item","numeric-id":446468,"id":"Q446468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540370$0E6E0CE6-FC7B-4E27-B1FC-B5562F59A6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e5f462f5988ceb63d608637b851c2501ccc4fae","datavalue":{"value":{"entity-type":"item","numeric-id":266403,"id":"Q266403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540370$CD28968C-D6FF-4B16-ACA0-531A6138B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f1d6b422604681a1dec9879ec3d8d5f7ee0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1412281,"id":"Q1412281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540370$4B8FC01E-72F5-4EDE-8763-7B9EB02D52D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540370$9AE8D108-ED23-43F1-8D7C-1244EBC22352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d120d21261a5c22ff91d794cefe763ecdb1cf02","datavalue":{"value":{"time":"+2002-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4540370$DD11662A-0453-40AC-8AAE-30FE9433E7DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$25560EDD-D6EE-4F87-8504-AE9D48EBD4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$AC8A8128-1B37-4382-A12E-6265567C2E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$6FA67B05-B835-48D0-9652-EC52FC1B7DC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3739c106941d6042e0b1b28dc9fcc7f0a65bb92","datavalue":{"value":"1769610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$4074F947-DDB0-4FBF-8C0B-7B94DDA266FF","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":"Q4540370$4536BC61-C140-4193-BCE8-5045D231F5DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4524c443c95817a1c7911213742d70d2fb139ab","datavalue":{"value":"https://doi.org/10.1109/9.917717","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540370$C0358530-B7B1-4439-8779-C4CBC3014C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16512ea238769bf135090f76592285be6be2df79","datavalue":{"value":"W2007293535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540370$5A3BCBEC-BC86-4024-81E5-F984762FA3F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e38bc333f45f142693086a1303cee031fc4c56","datavalue":{"value":{"entity-type":"item","numeric-id":4368693,"id":"Q4368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84954cec18a9672e8e02bdefa00bc77ed618c8f4","datavalue":{"value":{"amount":"+0.876634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$4F9D8C9D-4E7C-4EBB-9B69-C414EC187821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da2c9fa23493ed19197dd4613fabe5d8f69ce44","datavalue":{"value":{"entity-type":"item","numeric-id":4957686,"id":"Q4957686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad1e3e3c499417399132128f26079d714671a9d","datavalue":{"value":{"amount":"+0.8513137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$2C55CB97-DEEA-4A81-B09D-32FE3E1CA72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0da7ad35f4d108ac5eeaba92c4df5ba7e6dc4b8","datavalue":{"value":{"entity-type":"item","numeric-id":5353394,"id":"Q5353394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e24f232595092ea474fa2a1f4ee3045ec86129","datavalue":{"value":{"amount":"+0.8478864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$2B812FA4-D69D-438D-9C42-644651D8E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7951a014b9879b4bf791f9c50a42f2f3a8a8cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1412282,"id":"Q1412282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215bef50002176f40c6a557b5dce8095aa739aa1","datavalue":{"value":{"amount":"+0.84490377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$BEEE8EB5-4E0C-486F-B1E8-3E70F5423A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc617ac6250d162c4a974e3186c7ccae1c3e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5282318,"id":"Q5282318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f12076893f3f7a297c9101ea9a8ef646b16e51","datavalue":{"value":{"amount":"+0.8428212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$2FD6520E-7D71-48FE-99CC-8C49966A653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b15cdedda236d6078df5ea3046683bfa5a0f65a","datavalue":{"value":{"entity-type":"item","numeric-id":5347802,"id":"Q5347802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3457b0ccb4148031f257e87abe58ba1fab421fe","datavalue":{"value":{"amount":"+0.8322727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$243A2429-3ADD-4A81-ADB2-B3983CA33D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46e28fdff0bb32dda3265cf7c38064d5355d389","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd2350cdc8883fe3bdaab72d5b7a04053ef3201","datavalue":{"value":{"amount":"+0.82774377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$5CBA08E8-69BB-4CA5-9289-2DB1272A906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8820a54555d571a12953798b2904fac477b921be","datavalue":{"value":{"entity-type":"item","numeric-id":5352870,"id":"Q5352870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0b2ff40c52a420f7c8a70c32a10963b5614db5","datavalue":{"value":{"amount":"+0.8261835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$D6D8F642-B8E9-4413-BC03-FEDD325170B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4863f303e8161faef1b23cca4f4d2c53654f48bf","datavalue":{"value":{"entity-type":"item","numeric-id":2348357,"id":"Q2348357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99647dfdddf98b1fb061c880d04f1ff021a044a5","datavalue":{"value":{"amount":"+0.8174973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4540370$E06901C2-D844-4962-B12F-73D49311D16E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correction to the RUN DAP for conjunctive RAS presented in \"Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems\"","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correction_to_the_RUN_DAP_for_conjunctive_RAS_presented_in_%22Polynomial-complexity_deadlock_avoidance_policies_for_sequential_resource_allocation_systems%22"}}}}}