{"entities":{"Q3550619":{"pageid":5580523,"ns":120,"title":"Item:Q3550619","lastrevid":90280292,"modified":"2026-06-04T19:45:46Z","type":"item","id":"Q3550619","labels":{"en":{"language":"en","value":"On the siphon-based characterization of liveness in sequential resource allocation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688994"}},"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":"Q3550619$85D758D1-97F8-4D6D-8E47-055E236BCD21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8ccbfb9b4c1c9e423f2ec31c1fb4b9c48dc7c83","datavalue":{"value":{"text":"On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550619$534A1B9C-105E-453B-8EA3-325C9EC06FBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2a83ddf91c36d0f68c2be63a25261fbb14a668","datavalue":{"value":"1274.90138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$51D1DE07-DCF0-423F-84AD-2CB0EC63C539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e138050493927f5208e8bb2198469ef7409eea6b","datavalue":{"value":"10.1007/3-540-44919-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$AF496488-2401-49A6-931A-711FCB4847F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60f03c60d0859643f7aa44399eb3fa3f866135dc","datavalue":{"value":{"entity-type":"item","numeric-id":3550609,"id":"Q3550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550619$ED7DB102-C358-4FC1-AA92-AE69FA0C6787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550619$191D14D0-48F3-4F18-8886-F6EA0F312C7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$4B5CE397-30DE-40D6-9DB1-2FAA01EA79DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$2AB6B14B-61D2-44AB-8556-1CDD87D004FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfda2423ef09b627245752a654ca3e99c429871f","datavalue":{"value":"5688994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$CC1F475A-21A3-4394-AAC9-1CE9EB9AACA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8a10c2fcc813e83aadde06905e002530dab02b","datavalue":{"value":"sequential resource allocation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550619$C7784261-2C9C-4305-A29D-9F1A6641B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0799abb79f5c130b3a7ef959119474a737742b","datavalue":{"value":"deadlock resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550619$52063CF4-AF94-42BD-80B7-977027672B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d98938af2e0da0d54072b907ce66e65ef4a2304","datavalue":{"value":"Petri net structural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550619$258126DC-A4BB-43F3-A22C-3F89551D8D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f29160066ba95b840b89d91706a8aef777cdcd","datavalue":{"value":"siphons","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550619$62EE2819-42A5-4387-B36C-6D9F31944393","rank":"normal"}],"P16":[{"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":"Q3550619$A4D7C489-40E9-494E-B0F7-89821E7D1FF7","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":"Q3550619$E28EFB9A-13E4-4E63-842E-AAA04EAE3F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d63e4bf919b10cee348f401706e2ca0cc44f2bad","datavalue":{"value":"https://doi.org/10.1007/3-540-44919-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550619$614FC68F-3FF5-479F-8142-A44ADE16C3E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22f56b271de6527228d621c63388e4fe73131d36","datavalue":{"value":"W1479723887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550619$CC04D30B-2BEA-4D87-BC6B-75F39AFF02DD","rank":"normal"}],"P1643":[{"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":"f7bd35064c7ab33adf16b3432def65c7a9287ef5","datavalue":{"value":{"amount":"+0.7828788757324219","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":"Q3550619$F26A65B9-5F6D-4316-BBD6-A2491924097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ede4673ba15fdc74f509a21e91ea1d6364c230","datavalue":{"value":{"entity-type":"item","numeric-id":2279727,"id":"Q2279727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ff1386101ee850df881861ce9f863cf819f005","datavalue":{"value":{"amount":"+0.7756998538970947","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":"Q3550619$A57F556A-6C71-48D1-9BD2-F6253CB0374F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97622a01e1193a7499e6ac69f96363bf47a23180","datavalue":{"value":{"entity-type":"item","numeric-id":5496931,"id":"Q5496931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fc06408fae14f147553e7a30d9052bad311842","datavalue":{"value":{"amount":"+0.7559710741043091","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":"Q3550619$9868E286-8F32-4D8D-9889-A34B7BC77CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36274df13f4d9d3c1f69a45b3ce132c167fc888b","datavalue":{"value":{"entity-type":"item","numeric-id":3045261,"id":"Q3045261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3cb6f604be1fd71ce6d3a177a238901019e441","datavalue":{"value":{"amount":"+0.7488001585006714","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":"Q3550619$CEA5DCE9-2EC7-42D9-95DA-AC1E7F632A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb4f9da262f16ae61c81ea03b39416633fccd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3613079,"id":"Q3613079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb37c4c07bb42908d69f1a5b447f12512a9aaee","datavalue":{"value":{"amount":"+0.7363316416740417","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":"Q3550619$D355CC23-C089-4CA6-AC8F-30B6908DB8EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the siphon-based characterization of liveness in sequential resource allocation systems","badges":[]}}}}}