{"entities":{"Q2936807":{"pageid":2947527,"ns":120,"title":"Item:Q2936807","lastrevid":52166636,"modified":"2026-01-21T02:06:09Z","type":"item","id":"Q2936807","labels":{"en":{"language":"en","value":"Experience report: seL4, formally verifying a high-performance microkernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383945"}},"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":"Q2936807$37BFB46E-FED1-4BC1-9A0F-F7181A69DC23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a04a56362980c140d9953146cfdebacd926bddf3","datavalue":{"value":{"text":"Experience report","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936807$C38269D3-1E1A-4340-AC0D-687D8FF3BB00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9553faa9570fc9e2e0e43a11baf1a8c9943d992","datavalue":{"value":"1302.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$04086F31-7F71-4530-A87D-EBEDEEC40BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"364276fa1b69aff186b17939f6a903801cd86bea","datavalue":{"value":"10.1145/1596550.1596566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$21C832AE-6BBD-473A-9ECD-726368BEDC2B","rank":"normal"}],"P16":[{"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":"Q2936807$D247A816-E385-4F18-BC0B-5CFACACF2F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a81be5ef188570e4824b384a1e5f881546d60f63","datavalue":{"value":{"entity-type":"item","numeric-id":2936805,"id":"Q2936805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936807$1DFFAF01-0787-4D88-A0AA-66367BEA061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10ec93944f2954f9bc84bc0fef8873a3903d8e7","datavalue":{"value":{"entity-type":"item","numeric-id":2936806,"id":"Q2936806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936807$00A2BCB2-3B1D-416E-A090-274D36E4304B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"304e11f28f1f8f9fec1b2f20c4f059e0c713c531","datavalue":{"value":{"entity-type":"item","numeric-id":2936796,"id":"Q2936796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936807$DD8C5882-187E-4AC8-BEF8-A427CE2BC347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936807$D244A792-2A22-4B06-BF48-672893390478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$94CA1DFC-0B34-48F9-A7EE-3FC72EA7B5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$5344CBBD-6C2C-49F4-8F96-F97D4FAE0758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$DC28346C-5EB9-4D95-9A2F-192D39CFF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$915A025A-11BE-4686-9180-DA53306CA07B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0693b94e211fcff51a97d1369fbb4dc8724bce35","datavalue":{"value":"6383945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$778C96E0-EEFB-4B34-B03D-5D4D6505EE14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936807$ED7FA971-CAD0-48AC-8CB8-0802EAB03151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936807$BD69C631-5EFC-4778-B6EB-D751ED3BD455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a0c818eb7cfe6771478255e7794621b957b7c2","datavalue":{"value":"microkernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936807$B3A0162B-582C-4102-8A15-422BEA9BA61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b4798624a5c5ff39495ac81b083ac165a6d082","datavalue":{"value":"seL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936807$9E1E12C5-88F9-477B-A2A4-921213FE57BD","rank":"normal"}],"P1463":[{"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":"Q2936807$B194B62A-593F-4AC0-91E4-CDFC685D7463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936807$34556C60-2C19-493A-8A0E-07313D48B789","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":"Q2936807$7927DF87-3777-44BE-8212-969E6DA9F129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6e0fcdeb795cb073e78831763b081974cc6926","datavalue":{"value":"https://doi.org/10.1145/1596550.1596566","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936807$ED5217D8-0F11-432D-AA91-EFA1648B5928","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a51f1990e226f4ba570911e277852b7ccf2f4a55","datavalue":{"value":"W2071542068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$424DC0C3-3758-42B4-A94A-6C03FDDCCDA6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1cad310a52257b1791c4563c31d594ad25e10ca9","datavalue":{"value":"Q131134686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936807$3B7C1C62-33C5-4EC0-92F8-B2838D863383","rank":"normal"}],"P1643":[{"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":"f6d0b8db94cb631fbc24c15586477f3fb7a2c456","datavalue":{"value":{"amount":"+0.8185794353485107","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":"Q2936807$CC521961-FB1B-42B8-B10E-BA672B8506FB","rank":"normal"},{"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":"3482ac69cf5a3f7eefe74dbed08a6a13cbd69c5d","datavalue":{"value":{"amount":"+0.7790820598602295","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":"Q2936807$5609F401-84B1-49A9-A9C3-FE692E21F5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983366cc153cae27be16c2535db5be25ad3578a6","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f9f6fa3de54f627b1a76c78ee45c02be452bc5","datavalue":{"value":{"amount":"+0.7440352439880371","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":"Q2936807$CD49F9AB-BBCD-4EB6-B0FB-5DBD29C9A484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331384bea230c29b7d079e91947264e1368e041d","datavalue":{"value":{"entity-type":"item","numeric-id":3088017,"id":"Q3088017"},"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":"Q2936807$9E7DE36A-2474-4AC2-AA04-7A4136DD04F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7146583e41d639c4d4e46f2a3eed6891a858ea","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a6fd2a620051bd9fa2345449814da472f80b5b","datavalue":{"value":{"amount":"+0.7216371893882751","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":"Q2936807$EF6E2C6B-4C8E-4F54-BF58-916BECD40C79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936807"}}}}}