{"entities":{"Q2147701":{"pageid":2158444,"ns":120,"title":"Item:Q2147701","lastrevid":71406330,"modified":"2026-04-13T22:04:20Z","type":"item","id":"Q2147701","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 7544947"}},"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":"Q2147701$2373BC1D-89C8-48DC-83F9-4A213F2279C4","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":"Q2147701$7F7C623C-80D4-4B42-A229-3BE44F78A21F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7680cbd76c54366c69804d8d1898b4ee0b5c8aa5","datavalue":{"value":"1505.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147701$0BD1170D-9EC4-432A-B9A1-CC0BA08E0809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f952c67307a3193ef89258513e0741a7f37f021","datavalue":{"value":{"entity-type":"item","numeric-id":777060,"id":"Q777060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$D6424A07-0605-48E5-BAA7-D391991017E5","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":"Q2147701$1EE2C5E4-1FC2-48E7-9E66-4CFAFCB81030","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":"Q2147701$FF8C84E3-8DC9-4E70-B8C0-B55DA0D881E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9b28a74e9e6409e317cf3bba3135d8a3375674","datavalue":{"value":{"entity-type":"item","numeric-id":2147700,"id":"Q2147700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$E615287E-2FF2-44BF-A990-16A37E285F5B","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":"Q2147701$6C7AF91C-410D-4760-97CC-EC5E47B41D56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$D47E1858-B2C9-4589-A308-9163B7C3547F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147701$7C0C9334-392F-4B45-B8CB-6B7C0ED60790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147701$7A1D42F2-83A1-4F2A-BA63-872C8730E088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ade9856e263d88cb4775eddfe832be4534b68b25","datavalue":{"value":"7544947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147701$7D222D4E-FC05-4A45-A740-B5DA37633B37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147701$1BF59713-3F8B-4985-9E61-EC2DBD57BE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f18110257fdd786b8d6fb9dc4546175d454cca4e","datavalue":{"value":"RTOS kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147701$C02E1D59-4390-4DE6-A386-23950F7E4676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667ea36e15b6ff41cdc2aa30ca5b78ca9e305244","datavalue":{"value":"interrupt-driven programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147701$17E64F15-8A84-4D44-814D-4298D8E37AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5c33a9c9038b696ad45784d6d6424319af6a9","datavalue":{"value":"high-level data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147701$9013A181-369E-4DEE-BE3C-99759378F2FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ab74faa0fb064ddc3eaa0d21a15858741acead","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$F2D2CC11-1C44-4152-B4CF-50B5020CAA2D","rank":"normal"},{"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":"Q2147701$A317380A-1CA6-4EF3-9029-B43887FEAE60","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":"Q2147701$7854CD3A-D122-4B65-8E55-F54CE9C5C7DF","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":"Q2147701$6B1E2678-9903-40FD-9F74-3C3B5E27CCEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$A07ECD15-6FDC-4F1A-953D-255568765E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"254c97e9067e1631e31d1e8df1bba213daf9bf17","datavalue":{"value":{"entity-type":"item","numeric-id":5973570,"id":"Q5973570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$8BA675C6-9915-4145-8CDB-33C2A098C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fc1f98997c7abaab2c72d3e40defb80aeec98a1","datavalue":{"value":{"entity-type":"item","numeric-id":5972754,"id":"Q5972754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$A30FEDF9-CFE0-485F-A642-F05EE3C792EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9405c88255939b2b34b6d201298b635aafccebba","datavalue":{"value":{"entity-type":"item","numeric-id":25679,"id":"Q25679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$BF554567-2AA5-45AE-B065-3EBD3D9652BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05435a4629e8d44264f9789229838ae06ed6cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":32045,"id":"Q32045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$4DC367B1-9F2A-4192-A634-801EF1A7130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$A131C1BC-38B8-4CE0-9E95-1A727CA87F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d88b31a384e949dab904db128b809cefb1f4b36a","datavalue":{"value":{"entity-type":"item","numeric-id":19596,"id":"Q19596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147701$489A6FDC-B761-4AD5-B364-BC161C3E200E","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":"Q2147701$9AD4F421-C0AF-4523-A7AE-8CF30E0CC9D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b82b718d9687b4629f4e5a67e66f567c311c7e71","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00354-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147701$14BB0FE6-0382-4C93-AF96-45C638D642C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a0cde936183e4eea718d7d1ec9dd7d7ed3a1907","datavalue":{"value":"W4249302896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147701$2F39EB1E-4F31-45D0-B8F4-8C1A0358DFF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d37891265d6ab8a38ac6b3907c0f9b1c6bd6f4","datavalue":{"value":"10.1007/S10703-020-00354-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147701$011A301F-FC32-4368-B59F-7F1202E375B8","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":"cd540b9bf523c5251a244e291ddf7d08bd5b4a90","datavalue":{"value":{"amount":"+0.7214812636375427","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":"Q2147701$1F5E68E6-7A6B-4B4E-A5E6-5CF7126F3981","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":"787f4dfc26c29b567b3f8834a8c8eb5e100cb3ae","datavalue":{"value":{"amount":"+0.7096896171569824","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":"Q2147701$E551F95F-D92B-451F-960D-FCA25A210B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89a2b3589400e89342c2bd9f340e4bf75822aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9caeac0d6361cd514973fe42c56b8d4a44a14fc","datavalue":{"value":{"amount":"+0.7093446254730225","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":"Q2147701$10820C27-AB8D-4604-B346-250F4ADFF673","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":"3e962a9bf13f33aabaca60c6262821300f150195","datavalue":{"value":{"amount":"+0.697571873664856","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":"Q2147701$2EB86BE8-DEDE-4473-8901-76563C1EC12F","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":"ee86c889cc2fff198af91e98113cb83989185bcd","datavalue":{"value":{"amount":"+0.6912950873374939","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":"Q2147701$31513BCD-0EF0-4433-8818-47643A69A131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis for detecting high-level races in RTOS kernels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_for_detecting_high-level_races_in_RTOS_kernels"}}}}}