{"entities":{"Q835764":{"pageid":837612,"ns":120,"title":"Item:Q835764","lastrevid":64732134,"modified":"2026-04-11T21:51:25Z","type":"item","id":"Q835764","labels":{"en":{"language":"en","value":"Certifying low-level programs with hardware interrupts and preemptive threads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600117"}},"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":"Q835764$03B54035-A072-4BCA-B099-4DD2645F3BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fca99c8f111d9b9da64ebd3583ce36ffef6ec53","datavalue":{"value":{"text":"Certifying low-level programs with hardware interrupts and preemptive threads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835764$6AEF35FA-33F3-4019-8E8D-0704CF8751F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"187f1802a2d249e641555ce3f886ff2b46096f07","datavalue":{"value":"1191.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$E39CE082-EAA4-47A9-B6C7-2772A088A0FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$CEF56336-06AD-4A75-BBA1-E5BBBF8C5099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$B56E1B45-08E7-4DE7-A647-AFB6ED25EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c35811ebed0358f661f31fdbcf369a28b9c1e15","datavalue":{"value":{"entity-type":"item","numeric-id":395493,"id":"Q395493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$F1EA61C0-2FC3-48AE-8C9A-291D919F70D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4bdcb088bb69b1f451e27c8f796e0abf661a77","datavalue":{"value":{"entity-type":"item","numeric-id":325587,"id":"Q325587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$130B2C60-1265-4031-9530-C040B67EE300","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$D780349E-B019-453F-B45E-6A463804A895","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835764$62781B50-E565-4E20-8983-05B91753D92C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$80C0F7B1-B92C-45B0-A7E8-F254FC6FB6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$D044CCF8-F110-4A20-BE4F-E957D7590EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$6EA9EA27-0605-4A12-96E8-4D6FB2F56DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$AAACEBFB-079E-43AB-B87F-862E856F82AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aa8c28cdcc9092f99ded024ab242e1650ea0bc5","datavalue":{"value":"5600117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$D0103827-065A-4C5E-9736-61DD64C5388C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed384b70f6baa2a890c675d06f0f173b17f90066","datavalue":{"value":"operating system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$DCA303CD-56DC-4D46-AF22-F6BCF9D0E745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553310b42e53f11a81b6df69e34d0f6ea58f3813","datavalue":{"value":"hardware interrupts","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$C33DBF71-004F-4BDA-91B9-B428856CB82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31727ee97be5d17605d1a4168fb24b8d21122015","datavalue":{"value":"preemptive threads","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$E01B3526-C030-40A4-B40C-B2275E198882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672fc683a5046bb148c3112228ebec0ae7e2cd43","datavalue":{"value":"thread libraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$D4E2ADC6-6F46-4901-9E8B-D3228A34CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fd3712392095bd54040486c6c7ff446ce609b6","datavalue":{"value":"synchronization primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$72C2A556-7446-463D-8497-5B192CB15F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$B699F6CA-78E5-4C02-A9D7-263E999D853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q835764$81A565C7-536A-47B0-A10F-5E1D5ACA1580","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$50333FE5-9D51-41A5-9708-866DD6529606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$616B1C6D-79A6-4329-A030-D26CD791C431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$A4A4B12F-93EB-4394-B078-461026E1BF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$58F6C98E-E979-4026-8BE2-41EDF368D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1d940260f20d8e15c2593184ef71f159cef550","datavalue":{"value":{"entity-type":"item","numeric-id":34113,"id":"Q34113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$B2A3D87C-A6A1-4747-A3F4-E8CC9F64B666","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":"Q835764$93031551-699F-400A-BE88-19115DBB2E75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88867481f8249316069154c6886a8e9276ad13a4","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9118-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q835764$220B4AB7-FAE7-477A-A005-A5DE5637E0AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55f0e40b9ceb3526cb46a9d85e1594d864cf0d20","datavalue":{"value":"W2150401476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$6DDE1626-00A8-4DC4-89B9-E2F448813A30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$224BE34F-7711-4D06-AAE3-60A49425AAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$B8D47E04-F478-4C13-BF88-07FFEB2580A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$66CD2D80-0211-4551-9B87-CE425C043B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba54cc831f9d62f5af870cb95f2fd156ea42fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2936788,"id":"Q2936788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$D5A40E21-6D2D-42AC-A88B-FA5F9FF8A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22875be1e213267ecc860639cc98aa09a7758549","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$30A5BEC8-4228-4B5C-90B0-C1DC65424DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$CC651432-7CB5-4491-92A6-6999C3D663B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$34A574C4-5697-49B3-AF33-4EB22F519AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$96098357-964C-4C28-9A1B-616F985ECC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$7C9B92F1-FB0D-4AD6-AD9F-461388C04CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$D74DCB78-72F2-45C6-9EA1-9AF47FA976DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$F6BF4247-CD7C-4C29-9F6C-3B6472123DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b856bd7952b556ce175be00bd4b75947e308867","datavalue":{"value":{"entity-type":"item","numeric-id":4944855,"id":"Q4944855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$886F7776-233A-406B-A1E7-A19CF2ED1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$7ADEFF24-9E0C-4FB5-ADFB-C313FA84DC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7764cdcf146e4a0366ed508de52f68bde7b0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$EDDC6ECD-51B3-4F06-9FB8-77AEB32F4A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55e0a58381c15f5903e387200484cc6e3cf6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3523175,"id":"Q3523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$21796BA8-7347-47DC-836E-C5F1946122C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$8909EFC9-8A53-4AA4-B9D5-057E4373B668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$FB5343E4-9C4B-4B65-AB43-BA5DAEAA4553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e393d52cbcd09fe4d7f4b56b466ac51a11386a65","datavalue":{"value":{"entity-type":"item","numeric-id":5392296,"id":"Q5392296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$65E30185-2BBA-4174-AA31-AD893FBB5178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94630dc9f95e2215badf6e0a2b2a2de6fbdd6471","datavalue":{"value":{"entity-type":"item","numeric-id":5756518,"id":"Q5756518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$CFAA2302-9B6C-4B24-9D63-AD5F43558F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$98B1CE52-2AF4-4C9D-A14E-9A08182D9848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$57959963-7231-4815-8FAF-D2ADD2EF3500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835764$DA234DB1-1680-4F67-B16E-EF522CD0F647","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b750ff9c85082050bb7ddd5f9aec62bfed46185d","datavalue":{"value":"10.1007/S10817-009-9118-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835764$44C79BAE-8E77-4B21-80A9-50CFD99087A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed5d758f9568df2fc2c63e8fa6d923b7c7a8012","datavalue":{"value":{"entity-type":"item","numeric-id":1663225,"id":"Q1663225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedfdc2a87b6f08e4210cd98bcb0416e1ebd94e9","datavalue":{"value":{"amount":"+0.7364421486854553","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":"Q835764$E0E5C92F-FCF0-4449-9646-5559973F923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369d1d1e090ff9d8f9c91135dbf72238a7d4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2829245,"id":"Q2829245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19531f9268af2cf8b5ac19ffaffc78367c0d05b3","datavalue":{"value":{"amount":"+0.7341156601905823","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":"Q835764$2D41DD01-FEC3-441D-A152-D0449FF49121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4ee540cf1ab410f7744b3d7e2dc2c412b43df5","datavalue":{"value":{"entity-type":"item","numeric-id":5398329,"id":"Q5398329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2fb66981a7bc6374c2b7d8aecf0e0e5cfc2697","datavalue":{"value":{"amount":"+0.7144944667816162","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":"Q835764$E43F5811-AF8C-44C4-92AF-C7060780DFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ce3d6385fc7505fe2b123cd91f5840e3e3e27","datavalue":{"value":{"entity-type":"item","numeric-id":5176991,"id":"Q5176991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad5e392ee1f95caff729b44f7c1a85932789106","datavalue":{"value":{"amount":"+0.706917941570282","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":"Q835764$A65F99A8-C088-4721-822E-6682CBA822DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d652f338fe4fc04d78f7bea7a89136644950206f","datavalue":{"value":{"entity-type":"item","numeric-id":1683698,"id":"Q1683698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78363b08119a915811d311e6cf48a22779e8f87","datavalue":{"value":{"amount":"+0.7006523609161377","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":"Q835764$7C91D0B7-0626-4F8C-B33D-848A9BC187E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying low-level programs with hardware interrupts and preemptive threads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_low-level_programs_with_hardware_interrupts_and_preemptive_threads"}}}}}