{"entities":{"Q1857290":{"pageid":1868032,"ns":120,"title":"Item:Q1857290","lastrevid":73572186,"modified":"2026-04-14T16:30:18Z","type":"item","id":"Q1857290","labels":{"en":{"language":"en","value":"Creating high confidence in a separation kernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870091"}},"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":"Q1857290$ABD9420E-7916-48C2-9641-7D43AA8738F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abfdd904f623806c9606c41afa4038a320efae17","datavalue":{"value":{"text":"Creating high confidence in a separation kernel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857290$101FBCA3-A5E4-44AD-BC7F-4965BBD28872","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83654bb40c3168523d10638c0e5d5f2a69d23869","datavalue":{"value":"1034.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$1AC5086F-CEA1-49BF-96E1-8A5B0694696D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28d49c184ba635c4c5c9a8c749a30f6105e6d452","datavalue":{"value":"10.1023/A:1016324624000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$F61B3C6E-354E-41AC-BFD6-4D3D95445096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3a34ecd062f917e88c6a887d3fc2cd58f02e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1857287,"id":"Q1857287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857290$D74E359B-ABB2-4541-B82C-001615F5A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04c0a7970fc4a65454e6de4a509d15c80c6bfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1857288,"id":"Q1857288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857290$B275D71E-A568-4515-B51A-88FF9DF8A9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9caaaae9ec9d8a1d04ed15cd9c308ede900cb76b","datavalue":{"value":{"entity-type":"item","numeric-id":1857289,"id":"Q1857289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857290$8B379032-A005-4490-B507-275FFC44C6A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857290$175E0F26-9256-45DA-9813-812C4B7E98D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-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":"Q1857290$FF8A9BE3-F27D-4F0F-A75A-48F07E04CB59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$D7E004C5-3404-4D48-A4A1-06F4D3E08247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$A37E6AF5-D98C-40B2-BC5D-140BF1AACE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$FD50DBC2-EE98-41F3-BB00-ADA77C041BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f617713ee57d47f95cee9c55a2c6682f81b7062","datavalue":{"value":"1870091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$41A1883A-CA11-4CDC-8DBE-EC9E354A465C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f015dd57a8d2b0da69053342c9f2499784eeaf","datavalue":{"value":"separation kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857290$C5D0982F-E859-4D61-BCDB-6309BF040BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857290$B2D2824E-D257-4AD1-A893-F0C608D1575A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857290$0BAC3C5D-FE26-4C6D-81B2-EAE3C4BBF00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857290$B3DC1C49-E899-4DA4-9F2D-C08777A0FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde42610553ed52000c01928a5706864c650df3c","datavalue":{"value":"data isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857290$D28A6C95-8240-49D7-90D7-F7B6440A447E","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":"Q1857290$C3779B50-A9A8-495F-B663-D3BBE3263324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0caa6ab2602a254ec3efb7ce471568af69f52ac","datavalue":{"value":"https://doi.org/10.1023/a:1016324624000","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857290$B51E9ADB-CC04-41B4-99F4-2F805DA7A432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a25f6267e71fdbb06c51f0a7a4cffd769ee8ff17","datavalue":{"value":"W1523068243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857290$9B82EC91-CF78-4E3F-AB61-5B8BBD87BBB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f296c0bc1ebf3b29250b6090d843bfb0b975f6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3323253,"id":"Q3323253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab0f95bfd96a9d0b5683e56502bf68eef7903ad","datavalue":{"value":{"amount":"+0.7170445322990417","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":"Q1857290$518819B3-D879-4F0B-A1C5-7D773AD4B38A","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":"75d1763681f266ce7564d60f545f7ad3a7ce357c","datavalue":{"value":{"amount":"+0.7088087201118469","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":"Q1857290$88D5EF64-CE7D-4D9D-9AA3-A964FDA15F1D","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":"8099440f197b77f5f5557452bb6e3fbef87e27a3","datavalue":{"value":{"amount":"+0.6960992217063904","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":"Q1857290$31697104-3EBE-42C2-A8FE-7828EFF9B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8805aa92624cfbb19a11d2ff590d515b177211cf","datavalue":{"value":{"entity-type":"item","numeric-id":5754574,"id":"Q5754574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb57aabdc1182cc14677b29a5d446464121bf9b","datavalue":{"value":{"amount":"+0.6935336589813232","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":"Q1857290$AD2D17BB-809D-49DB-9536-A451D27E4696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a61f1721c306d6c096dd2c1cc8df2cdfea25e1d","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4b8d5485781d4776d43971a121ec19df98fa5e","datavalue":{"value":{"amount":"+0.6867084503173828","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":"Q1857290$4A4E8AFB-DD3A-43FE-BCFC-C4839F2756E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Creating high confidence in a separation kernel","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Creating_high_confidence_in_a_separation_kernel"}}}}}