{"entities":{"Q5408535":{"pageid":7438109,"ns":120,"title":"Item:Q5408535","lastrevid":51972494,"modified":"2026-01-20T16:11:37Z","type":"item","id":"Q5408535","labels":{"en":{"language":"en","value":"Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282596"}},"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":"Q5408535$8389C01F-E88C-4112-A0A7-97B2E9C0115B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cc6d0b1ddc9ef856b0a7ef6ae48ef8671fe86dc","datavalue":{"value":{"text":"Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408535$E8523511-80B3-4A64-ACDB-5249925DE162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56bea874c4172512e1c6d4c036668ea8afe17b3e","datavalue":{"value":"1284.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$E90FAF39-1163-44E8-968B-3126C2F9E51B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"383dc06fbc2be76b73a344ed0c08a96d100e8b1a","datavalue":{"value":"10.1145/1926385.1926398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$07921D28-58B9-4713-9E6A-F2CCA999ED86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fb762984b6aa01cbc358b13fd01ea4d403eef7","datavalue":{"value":{"entity-type":"item","numeric-id":2938058,"id":"Q2938058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$ABFBD476-6E94-4AEF-82D8-4F99CE98C59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$22D0D0A7-B9C4-45C6-ADC5-EE4D9D1315F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01e72257892987bc013aea32c9a5ae6caff4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1785850,"id":"Q1785850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$36002350-8D09-4177-B686-90A457DCF561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$54FE8079-9760-4794-809E-7E29AAAE5EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$7A5F2613-3B56-4A5A-9164-89EBA0802398","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408535$2D48D9FF-AF9C-4916-A62C-7C3A59FB061C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408535$C5C79DB5-5CAC-4CB1-AB04-A30AFFE9B72E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$62C7386B-10CA-4B45-BBD3-22957F4218F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$7C165F16-0BA6-4DB3-BF06-69EEAA76F75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$C14DD41B-AA5B-4F08-8BF4-C0A0DD5625D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d386f04c8c1570b6adeeb79d97789c4834b9e9ee","datavalue":{"value":"6282596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$FB675566-172D-42C4-86E4-855589235537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408535$4879D2C2-8BBA-469D-BA62-CE068CF49914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec3e7b916b83fe7497baa58db1aa00e4126d057","datavalue":{"value":"interprocedural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408535$B1310651-048D-4631-A756-D2F5856C561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df533dbfd1550b4e7e182cfbe0566f11267a9ca","datavalue":{"value":"interrupt-driven concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408535$C98AB694-4428-4C84-9448-DC55B3C45C4E","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":"Q5408535$E73F7C55-8C7F-447B-A689-B1F952A84F5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffac7488996cb7fa3865028c575819f13bd4806b","datavalue":{"value":"https://doi.org/10.1145/1926385.1926398","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408535$C54208D6-F658-4FD9-9A5A-B04CCC09A8D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd723a91ad989f965c6deadc035bc4b2bdebc233","datavalue":{"value":"W4239625874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408535$FD5674CC-D7C2-4A5E-A5A2-0814E1058B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebc2e13a83292040a2e400e32fd2c36af55e57a","datavalue":{"value":{"entity-type":"item","numeric-id":1650954,"id":"Q1650954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bf3172103adb81f7d88fa93322a59c8ca0693c","datavalue":{"value":{"amount":"+0.8364630937576294","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":"Q5408535$50E51C70-BCD6-4539-A1AE-59C1CA947FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bba17701056d52264edfe60ca629305e8234759","datavalue":{"value":{"entity-type":"item","numeric-id":2938059,"id":"Q2938059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4236d3520748e94022f8a8f0e3cd8c2307eeae2c","datavalue":{"value":{"amount":"+0.8080376982688904","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":"Q5408535$3D9998F5-4FE9-4009-AA75-0E4AEAAF14AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3868f8ea6395f505d03b8bdcee704e920ccf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2881094,"id":"Q2881094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9048898f277c7d9b70de665bf1fd2af58fa5c914","datavalue":{"value":{"amount":"+0.7585851550102234","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":"Q5408535$8E28BC7B-2DBB-47DD-9146-3C41A0683DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e06db314ec25da2a1cee9aebaec70236f210d58","datavalue":{"value":{"entity-type":"item","numeric-id":3000591,"id":"Q3000591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7c97f081177363e0eef76107a30208ddf74d33","datavalue":{"value":{"amount":"+0.7499381899833679","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":"Q5408535$08E529B9-9778-4EC0-856D-09F81F48AFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed45ab43b89f200a5452d446bedf27d1a756a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c089acbc981c0106cf6be4e77b668186223a00d","datavalue":{"value":{"amount":"+0.7202844023704529","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":"Q5408535$2803F736-D8B8-4D71-84EC-DA610561B44E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408535"}}}}}