{"entities":{"Q6535959":{"pageid":14147102,"ns":120,"title":"Item:Q6535959","lastrevid":55604971,"modified":"2026-02-17T19:35:58Z","type":"item","id":"Q6535959","labels":{"en":{"language":"en","value":"Static analysis for detecting high-level races in RTOS kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817384"}},"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":"Q6535959$E69913B6-69C1-4FAC-9086-8E5BEDCD4408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b5a0a4497169bfd1a254fea1cba27129cb2326c","datavalue":{"value":{"text":"Static analysis for detecting high-level races in RTOS kernels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535959$C25A039F-1E9B-441F-B65F-75532B7A5AEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0709a06efd82cb161091b5d75ec067fb95dc89","datavalue":{"value":"1539.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535959$974C1E74-33BE-4246-B5D9-219CF651E645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0d44ba78d04a52128dff92dfdeddc8b44185c8a","datavalue":{"value":"10.1007/978-3-030-30942-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535959$BDAF60BA-3DD9-4A40-BB9A-BCE392F8D6EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"300cdc71712b1f0b351d905a9e76c043bc23c754","datavalue":{"value":{"entity-type":"item","numeric-id":6535958,"id":"Q6535958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$9F563484-2C79-49C1-9636-4E7A9B5A89D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7df5435725e46b6dc6176249de380f39b9187c5","datavalue":{"value":{"entity-type":"item","numeric-id":1749149,"id":"Q1749149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$9E57B7C3-814F-413F-8F14-C1E6316AFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86cc07c2ea63b7814d94e9965d8de64107601287","datavalue":{"value":{"entity-type":"item","numeric-id":636269,"id":"Q636269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$C0DC1A65-7BB6-4819-8B32-39DE5A754F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d574c2b547b58dfd60999c5ccd805a950ea9c426","datavalue":{"value":{"entity-type":"item","numeric-id":2147699,"id":"Q2147699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$2E24184C-5B5C-4CFD-8F78-175D504B19AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535959$19F05064-383B-40D8-B8A8-A6E2ED4F0DAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535959$86E951F8-CC19-44EE-B691-267C347AB183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0ad9ef36dc785d5b40ebd6fdc0190e1e938bb67","datavalue":{"value":"7817384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535959$A9447E71-2653-4C74-9090-7C6A3AD7663C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535959$12601013-FE45-446F-A6AE-A163F7C64772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f18110257fdd786b8d6fb9dc4546175d454cca4e","datavalue":{"value":"RTOS kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535959$A720F1BE-BF44-4BF5-958F-15330EC75318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667ea36e15b6ff41cdc2aa30ca5b78ca9e305244","datavalue":{"value":"interrupt-driven programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535959$DEB63AC5-82A5-4FA5-86E3-EE65CF751151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5c33a9c9038b696ad45784d6d6424319af6a9","datavalue":{"value":"high-level data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535959$AFBBDAE1-1C0E-47F1-B0CB-F6ECE33CB4E9","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":"Q6535959$6C511361-1C8A-48F7-AB50-219516B2622B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$5C40016F-9BFE-487F-B554-33CB590E2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8685bc6bfbe59a5ec6e28b45f6e8be6d5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":6070804,"id":"Q6070804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$2F7E3916-9DD9-45CF-8A14-295C0D55B405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015d4c99434b841d72397e3b9b322e375d7af11f","datavalue":{"value":{"entity-type":"item","numeric-id":2938059,"id":"Q2938059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$A8432658-DE25-4941-8302-478D07ED1C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9198e1b19e77d675ae5f5fd7fa0d47cf2ab1a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535959$891AA3C1-8AFA-4AA9-A394-ABE5C2194104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af41a07e76f72e32823250cc494ddfb025c18171","datavalue":{"value":{"entity-type":"item","numeric-id":2147701,"id":"Q2147701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab47e5cde0cbfb51df85e35664ad37bed72b959","datavalue":{"value":{"amount":"+0.9999820590019226","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":"Q6535959$3E811012-7BEA-4FCF-896D-6DF13B9ADF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d8fdb426c21e92a011e6bf6811b2597e21753f","datavalue":{"value":{"entity-type":"item","numeric-id":6070804,"id":"Q6070804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee88402ef01e3c1694f23fd37cf6eaecc274946","datavalue":{"value":{"amount":"+0.8004547357559204","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":"Q6535959$93D9EECA-9975-4419-9DC0-2AA790CCAE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d79e2d4039547d7addaa7a29b97d375d9654e9","datavalue":{"value":{"entity-type":"item","numeric-id":6166790,"id":"Q6166790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228ec458d4ca0fd5961e75d0a0c666d98b191810","datavalue":{"value":{"amount":"+0.7587602138519287","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":"Q6535959$8D46FE3D-F999-4A29-9E84-EFC3A230FF3E","rank":"normal"},{"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":"3a7d9562d19af9540492e13d05f585e686ba3f95","datavalue":{"value":{"amount":"+0.7212471961975098","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":"Q6535959$DC26E7C2-81DD-4612-9FE1-D23BB619ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b118fa60cf029105d6800352fe02a2882188392","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10276f5e3da7b8726ae5b6ec54bbd41bfebec63f","datavalue":{"value":{"amount":"+0.7098627686500549","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":"Q6535959$5B639962-78FB-4827-84CE-9741279C60CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535959"}}}}}