{"entities":{"Q6586533":{"pageid":14197689,"ns":120,"title":"Item:Q6586533","lastrevid":55725901,"modified":"2026-02-17T21:45:26Z","type":"item","id":"Q6586533","labels":{"en":{"language":"en","value":"Formal verification of a deadlock detection algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895644"}},"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":"Q6586533$2472CC71-7FF7-413F-817B-92A801ACD280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51121d1bbb4648b482a6a25a1a208e30f7958ec2","datavalue":{"value":{"text":"Formal verification of a deadlock detection algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586533$6553F274-995B-4504-8F7E-B8D64E583CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"182908de2926dc702cf5749f27a88dc204214f58","datavalue":{"value":"1542.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586533$1C6D93D4-7F68-415D-ADDB-7CBAEC67893B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b32b9fac486f793112a566391cf1890d53589c75","datavalue":{"value":"10.4204/eptcs.70.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586533$7F1E0512-683D-4D51-8D4B-05E2EBA65431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bf01e8df1c87de639938e4e74854e4e2315839","datavalue":{"value":{"entity-type":"item","numeric-id":437038,"id":"Q437038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586533$55C7BE11-CE61-414B-BF78-0A242C4175D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586533$B2A3DE9C-4C6F-4FE8-8CED-A369C0641E89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6586533$B1D5D449-4659-4559-8CF0-425D87EE2EE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586533$F0B7294E-27E3-448D-B140-46A013B60B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586533$C9920A39-3EDF-47D7-8D9E-A3EE7FFFC81C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0648bbf128ef77ce49397ce4688baa5bae66e4c","datavalue":{"value":"7895644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586533$90B3B3C3-E1B6-4976-987A-65EAF43705B7","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":"Q6586533$13B190BA-2FB3-48A6-B365-B872D2AE44A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6926d9a2864657c63c8ba6d81f03198b036942","datavalue":{"value":{"entity-type":"item","numeric-id":1595929,"id":"Q1595929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586533$3D89DC01-93FC-41A5-B002-3D25F5410720","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb2d66758ce81adc8699e5448e16650f219ce52","datavalue":{"value":{"entity-type":"item","numeric-id":2754062,"id":"Q2754062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d6501c7770f0a527af49aac5a834f8e0b30f6c","datavalue":{"value":{"amount":"+0.7448248863220215","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":"Q6586533$C72ABBAA-D984-4DD6-AA51-16423A2AE973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d136d7a9b3364d0f00459e9c88445f571e598588","datavalue":{"value":{"entity-type":"item","numeric-id":2152663,"id":"Q2152663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c55e84924c6d65c9b5a9162386b1861178c683","datavalue":{"value":{"amount":"+0.7356447577476501","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":"Q6586533$0D8C5FEB-986E-494F-87B4-90F4DA2A5F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bfd1fefc631074c4b6d6d12b126c9ba192942","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a6b3e4c3ff078aa4b58bde91b37573ea5cca3b","datavalue":{"value":{"amount":"+0.7119993567466736","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":"Q6586533$C1A6533B-B7C6-413F-B64C-80824A9526CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b82021187881b4ef521e55b1d5b118fbe79734f","datavalue":{"value":{"entity-type":"item","numeric-id":3075484,"id":"Q3075484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba64dcf856be84b1d3a677929f66e676c5731d4","datavalue":{"value":{"amount":"+0.7084226012229919","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":"Q6586533$07F07010-0D69-48FE-A672-2F9517542FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f963f62b22b753f06f0ea6d6bbdfb2badc996c3","datavalue":{"value":{"entity-type":"item","numeric-id":5747642,"id":"Q5747642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6beb1fe9c743f6ac2bbf3f22387559e763fbf0","datavalue":{"value":{"amount":"+0.7055564522743225","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":"Q6586533$72E52453-BDA6-431D-B7DC-D258DD475CDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6586533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6586533"}}}}}