{"entities":{"Q3088017":{"pageid":3098732,"ns":120,"title":"Item:Q3088017","lastrevid":86452085,"modified":"2026-06-03T21:16:27Z","type":"item","id":"Q3088017","labels":{"en":{"language":"en","value":"seL4 enforces integrity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940077"}},"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":"Q3088017$6753E7A5-19DD-419E-99F9-3DACFD2B641B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa6c094a618e3b41e8cb51a5269046c78f42664b","datavalue":{"value":{"text":"seL4 Enforces Integrity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088017$3F0C7207-36E8-4F44-99D7-1FC959C653A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d5c2e1aceb2bd2fdd2359311224dd5bac799e3b","datavalue":{"value":"1342.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088017$7CFB3E1C-6DDB-4D9E-B3AE-D34E01948D19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93f96304179b5267f74f337dc1f63570fd7a3438","datavalue":{"value":"10.1007/978-3-642-22863-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088017$57CEC103-4458-4491-9552-DD1FCEC8FC8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d312af30877232f30bb9c23fdc31fcdcb768e4","datavalue":{"value":{"entity-type":"item","numeric-id":2631536,"id":"Q2631536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$1B437874-8FA2-436D-AAF1-95B516CC11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86127f68f2d9be466c1e815400b6608cdc8249c","datavalue":{"value":{"entity-type":"item","numeric-id":3088016,"id":"Q3088016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$AF5407B5-BB5D-4B04-8587-F23EC947F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b51e224dfb3928522f4a40a9f5a5f03d0baef5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3021421,"id":"Q3021421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$EF6C33CF-0DE1-4E0C-A207-FD73608A8548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6c2a5937a40e685c427c9b959ad4c359ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":287363,"id":"Q287363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$AB6C297B-7099-457C-9547-40A1542DB232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e453fb43ff034a2125090d63962dcad98ba5afe2","datavalue":{"value":{"entity-type":"item","numeric-id":2829243,"id":"Q2829243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$7279E093-0F21-428B-9DDE-E4FB92670CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$813753F1-1F74-4A3E-85B3-0020F3A106F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$AFA47271-B8E8-498B-AD6C-23D905042A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088017$BCFF87DD-F2E1-4B64-97C1-383650E4D14A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088017$97811103-010E-4A3B-A520-0048B8FFBBB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a7c74334fc0e2f6c0b837f6518e5158b81be8af","datavalue":{"value":"5940077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088017$A1657A5C-2DD3-46AE-8066-43984386B458","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$7B803D4A-A80B-436D-93F8-90B2A0E2003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$B83D73BF-880D-47D1-B2AE-B3EE5033F3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$7A7F1AD9-138E-4B58-A8FD-28E4A1596598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$13AC79C8-5429-4E54-92D7-10FFD2A8B07F","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":"Q3088017$103E575B-AE32-4F19-854F-212584ADAB74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb7f330fa6280d27f7b14f7b6994f70803d7d84","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088017$AE5D169C-5732-4C88-AC3D-900DD8021368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6aec11b76d183d026e016e78efcfd2fc47b9459b","datavalue":{"value":"W51058944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088017$6E8B20D6-DEB3-4106-A5F6-C8A3C3358CF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$936C5F74-D038-41BA-B327-BD227A00F69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd507b7a2addf1d4248f1faa7bc051c20b91aed","datavalue":{"value":{"entity-type":"item","numeric-id":5514828,"id":"Q5514828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$FED7FB06-2862-4F22-9D10-BCBBC40FCC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$0EBA5D55-5BD1-4655-BA23-88FFAFB8964B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7318155e336c39ffa10d910250c7bd13270f834","datavalue":{"value":{"entity-type":"item","numeric-id":4130983,"id":"Q4130983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$99C83EF5-EE51-4AD3-9DA5-0631A05321B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b38947aa70ea970521d878b67d07ff7c71b08f","datavalue":{"value":{"entity-type":"item","numeric-id":3863057,"id":"Q3863057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088017$6C630953-EA91-4675-8C6B-F7BCBD02264D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ed055ec8f5656036578820cd66c4de107a3a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067529,"id":"Q3067529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b897788ad4fcce0728f54e7796f59157328927","datavalue":{"value":{"amount":"+0.8089216351509094","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":"Q3088017$71BACF0A-FC84-4B2D-99DC-CD40CF54BA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ff1ccc64b1e61c3b969f87a069ae264b7aa873","datavalue":{"value":{"entity-type":"item","numeric-id":4916056,"id":"Q4916056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400f18bfa726b3e0f73c4a47027388f6f8aebeb8","datavalue":{"value":{"amount":"+0.7697579860687256","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":"Q3088017$4BA76DF6-C090-461D-83CC-4565169F292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31fe9d9b48030a64718f05e076a7d4f6bc71e8f","datavalue":{"value":{"entity-type":"item","numeric-id":736848,"id":"Q736848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990c8b63a73a5eaa2728bbf0119637b3253d97da","datavalue":{"value":{"amount":"+0.7558833360671997","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":"Q3088017$6B9441B3-72EE-4A3A-80A8-91799156B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731b099c7ac38cd7fa2db362ec7da180829ad7e3","datavalue":{"value":{"entity-type":"item","numeric-id":2936807,"id":"Q2936807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752b88c2107f43baf9e3e20696ea55886488407d","datavalue":{"value":{"amount":"+0.7400836944580078","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":"Q3088017$7B37E71E-B27F-4E10-90E1-5241F3DE800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54920e5d8dee18995f0d1559550145f1e6c05a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8dfe3e44eb175a3cfda9d3559bc983e29c1857","datavalue":{"value":{"amount":"+0.7358967661857605","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":"Q3088017$C458A4F2-0A3A-41B7-8463-ACA86FB3F835","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SeL4 enforces integrity","badges":[]}}}}}