{"entities":{"Q1100883":{"pageid":1111635,"ns":120,"title":"Item:Q1100883","lastrevid":69641412,"modified":"2026-04-13T08:24:00Z","type":"item","id":"Q1100883","labels":{"en":{"language":"en","value":"Distributed deadlock detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045119"}},"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":"Q1100883$CD9952D8-E401-48EA-8FB9-ADD435203874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"670bc4720266d973a38c267c03d9a8e0775ba963","datavalue":{"value":{"text":"Distributed deadlock detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100883$E0F26DD9-892B-41EB-8C32-AD5F6FE760EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da8453923cfd1a74911530fc9b587310b5034448","datavalue":{"value":"0641.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$3A69C250-5CCB-4025-84AE-038B7EF5B629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7543ec116d7e4ab6d3bbbf34dcc521b8ea94c7b8","datavalue":{"value":"10.1007/BF01782773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$BE0EF4D5-CDAD-4DED-A6D5-5B74DDA9E9B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e1faf441e6bad481b8e290121b18fdd0c8391c0","datavalue":{"value":{"entity-type":"item","numeric-id":1091130,"id":"Q1091130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100883$02E75C74-837C-4143-867E-9C8671244CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7521cac5a506b0931a386e57847cadd1c0f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":661068,"id":"Q661068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100883$F231BA94-D42C-4BE9-AA7C-50A273CF3BBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100883$F8127500-521F-4BEF-89D4-319102CAC21C","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":"Q1100883$52F7B44B-62E7-4C15-A963-380EE35548A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2cb3902b8712c81b65db4451aaf9d88a28b1554","datavalue":{"value":"We describe a simple and efficient algorithm to detect deadlocks in distributed systems. In our model, processes request N resources from a pool of size M. This is a generalization of the well known AND-OR request model. The algorithm is incrementally derived and proven correct. Its communication, computational, and space requirements are lower than those of the best previously known algorithms for the simpler AND-OR model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100883$DED2AD11-7795-40F3-8933-668EC1231F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$2C27200D-A9BE-4DE4-B797-1895441237A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$D259F3A5-E067-438B-9C19-CA07CD23D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$88D9DF8F-A89A-4ED4-A322-9440AE1D7828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66cdc362d0c2ca8fb2a7b478ee6fc8e677466e04","datavalue":{"value":"4045119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100883$3151ABE2-F64A-46B8-ADBB-E7A238E36750","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100883$F84C4D37-713C-4361-BB96-6F62730708CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100883$5AEB8134-7A61-4A4B-B718-DE265EBF84B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe7d76c40de25810bbc796addc344ed92627370","datavalue":{"value":"AND-OR request model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100883$8CDDF395-5C1E-497E-BA26-395F4372ECB0","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":"Q1100883$B5C08BB7-9955-4235-AEA8-5C0A58179DAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100883$74994751-FF4C-482F-B3B7-35659B69FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100883$6A8CEFB0-91B2-4D9A-BAFC-C3E19162A1E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c41924463b36598312f2c8f1a26ff155b603cca","datavalue":{"value":{"entity-type":"item","numeric-id":672659,"id":"Q672659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5e9b15f3e82ef1ab6c5f494339d7312fcd8436","datavalue":{"value":{"amount":"+0.8675413727760315","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":"Q1100883$114C6602-5BB2-41FB-A0A8-CF54ECC5FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d117a35bd6a5c64f3cfb75257c8cc3d1a3635ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4021772,"id":"Q4021772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe933391d52021e5a7acec0f0836c1fda750dd4","datavalue":{"value":{"amount":"+0.8643598556518555","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":"Q1100883$7DA639D3-E3DB-41B2-97DE-6A9300EBBC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5978f553ccff4b90290e9376485eabe1cf5f0fea","datavalue":{"value":{"entity-type":"item","numeric-id":2565695,"id":"Q2565695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9717f313c840e9ae4a8709c3d4d1af1faead90","datavalue":{"value":{"amount":"+0.8638374209403992","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":"Q1100883$AD56A956-8AD2-4801-A668-6A0A06734482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89fe80e070e1bb1ba17bc42dd3bf186c621ad63","datavalue":{"value":{"entity-type":"item","numeric-id":5137008,"id":"Q5137008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206818e7b8ae4269493247088d369a8234b5a4a5","datavalue":{"value":{"amount":"+0.8293150663375854","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":"Q1100883$39F480E8-BADB-41A2-BC98-E6769DB56C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6402b732a547fc69b465f026826a7e3cbf537f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1119017,"id":"Q1119017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7e17a8ac726d3477c661995a28999d7ea3ec8d","datavalue":{"value":{"amount":"+0.8272360563278198","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":"Q1100883$31EFA182-26CE-4434-A8F5-926B70A9DF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed deadlock detection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_deadlock_detection"}}}}}