{"entities":{"Q3455052":{"pageid":5234452,"ns":120,"title":"Item:Q3455052","lastrevid":90151709,"modified":"2026-06-04T19:25:03Z","type":"item","id":"Q3455052","labels":{"en":{"language":"en","value":"An automatic technique for static deadlock prevention"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515874"}},"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":"Q3455052$79215CF2-E9FD-4811-AD1A-C4F760C3BFD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcdda0f2e5d95cc32fcbbfc9ce4fc6f5703cd7e6","datavalue":{"value":{"text":"An Automatic Technique for Static Deadlock Prevention","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455052$6CB49662-EF3B-4A0D-AECC-3A7D2CB7DE9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c125504815196dee7fbf72f83bbc21b01b4a09c","datavalue":{"value":"1434.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455052$CAE4C4F9-3823-4E70-9421-5E8A767FF964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0b8698dce1a7e4ac143f7bb0c54a406f3f22fd5","datavalue":{"value":"10.1007/978-3-662-46823-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455052$878CE7E3-E3AA-4A83-9181-4A7BAB9E36CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c4d523b13f3aead91ab99aa4b7085cb8041985","datavalue":{"value":{"entity-type":"item","numeric-id":846107,"id":"Q846107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455052$C0F80247-24D3-40C2-9B5A-DC70B85E7F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455052$C785E66F-DDCF-45B0-8B5D-47726DF9BCC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455052$ACA1A6B5-45A5-4821-B1C9-5A7F4A8A07F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455052$C1329F3B-745E-4F44-A791-20DCC79DB354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7f85ae856f7226ea5f43014eef28a27e1d7713","datavalue":{"value":"6515874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455052$F613F83B-E33C-4829-88E9-2CEF70A25041","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":"Q3455052$75A074C4-EAD0-45DB-ABD0-0959B3288D11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18f9a24eeb8983075a8106697911dc80cee2137","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455052$E5380828-7C6D-48D0-B3C3-67EF713BAB85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bebff60ef62c4ee186175966b2caa648e0d21c73","datavalue":{"value":"W318315784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455052$A539B661-9B1F-4AF3-AECE-9309F0317851","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455052$83040AF5-4291-4E69-A05A-3546CE4185A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036ed25311e47f09f436a44694f9290118d730c0","datavalue":{"value":{"entity-type":"item","numeric-id":3527867,"id":"Q3527867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7311d0cba8bcd795ac1717a7baaa22b9d57fe392","datavalue":{"value":{"amount":"+0.7894585728645325","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":"Q3455052$D8E66C93-7399-43F6-BA88-5E45B7F03EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add32c4af426ec3abfd90fc24a627e611654f481","datavalue":{"value":{"entity-type":"item","numeric-id":3608662,"id":"Q3608662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d45ec9289f8a3ab81b818f60d136d2aa577390","datavalue":{"value":{"amount":"+0.7841302156448364","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":"Q3455052$2012A98F-7376-4622-9C63-5513D1104057","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":"48093659e80f7075cce223b051ccc3f21130f43a","datavalue":{"value":{"amount":"+0.776325523853302","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":"Q3455052$3C7723B0-96D2-4EAA-BF89-FF3BEB0B4E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d4f234027c25c788201f98ec44aa1a0bb20cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5261522,"id":"Q5261522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c6f22ccf0fb00e09db6db805f60d8074d8a807","datavalue":{"value":{"amount":"+0.7738921642303467","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":"Q3455052$C4E28169-7924-4683-B0E1-0979F390A110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa1af796fff704e96a5888f1feb75067902a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1079013,"id":"Q1079013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0505918a11d9c9fa8f08e83c8058cbf840d5e3cc","datavalue":{"value":{"amount":"+0.77083420753479","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":"Q3455052$1906720C-C083-411D-9BDC-CFEEA3BE7486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automatic technique for static deadlock prevention","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automatic_technique_for_static_deadlock_prevention"}}}}}