{"entities":{"Q3067529":{"pageid":3078245,"ns":120,"title":"Item:Q3067529","lastrevid":86309789,"modified":"2026-06-03T18:13:45Z","type":"item","id":"Q3067529","labels":{"en":{"language":"en","value":"From a proven correct microkernel to trustworthy large systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839894"}},"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":"Q3067529$3C3D8431-B206-457D-98DD-D44E336E8D66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"893338352eabb7df676e95d446bb6d5f25351cf0","datavalue":{"value":{"text":"From a Proven Correct Microkernel to Trustworthy Large Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067529$F808A91B-5805-4FCF-9025-1F24808F542D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc6ab66f581127e4d639c90d4f344a3435092ed9","datavalue":{"value":"1308.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$4301DC95-5824-460A-8F77-7E86F7C44442","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f206bcef6c8951545a0372053cb5d003826c23c8","datavalue":{"value":"10.1007/978-3-642-18070-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$026AB742-355F-493C-ADFF-23C67B1C5E28","rank":"normal"}],"P16":[{"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":"Q3067529$E935B3CA-4E64-4521-A35D-0FCE9738C321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc79f3ca1ff011706d97e4cc9dcb7a33f54133f7","datavalue":{"value":{"entity-type":"item","numeric-id":3067528,"id":"Q3067528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067529$6CF1B95D-6B5C-4565-AEBF-4DD83478E120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067529$0F9764BD-F3AA-4DF1-8892-530082D77493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$0E0D7A7A-5971-4C97-8D62-B519D79C5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$A94CDEC9-DF2F-427B-909D-D01A20839347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"380d51906e376f6a291cacdc37576cf7a0b0db80","datavalue":{"value":"5839894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$44D33AE7-E0BD-4172-8ACD-4B6A1ADEDEBC","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":"Q3067529$93A5C9C1-66E9-439E-A1D6-A2607C296EAD","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":"Q3067529$6279EDDD-EE6F-48A6-9B66-1B5E63CAB5C5","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":"Q3067529$1D616C1F-A01A-4CF8-B86E-1DB1FCECF7DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87bf130482b3f10336b30b4425d824ef8425789b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18070-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067529$8C611A88-78C9-465F-B432-E2567724C0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05745b3610521655937c679b442d6390654861e","datavalue":{"value":"W2100514137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067529$0FF1ED62-5F78-4C6F-ABEE-9D61B7956447","rank":"normal"}],"P223":[{"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":"Q3067529$C0D2005E-EB2B-4292-9968-85638891C261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067529$3501D8AE-6674-477C-BE66-89CB92F8DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067529$353750C1-2E3C-47CD-92B4-FC6EA5CC7074","rank":"normal"}],"P1643":[{"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":"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":"Q3067529$4864CB7C-9958-4F70-8DF9-DB1A8B99545E","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":"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":"Q3067529$1F10F57D-B793-4ADB-84CF-A13D78001458","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":"a764c54f882411846d82daa32a303bc40d1bb7e3","datavalue":{"value":{"amount":"+0.7708508968353271","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":"Q3067529$D1071C87-E6D9-49DB-A4DE-F7E55EDE92C1","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":"d9af4444324a1a805ff53f1b4d060477730528d5","datavalue":{"value":{"amount":"+0.7653446793556213","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":"Q3067529$0E409A1B-483D-454C-812B-F6C9850161B8","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":"6ae883d75166fff73b1824a5547b368984465131","datavalue":{"value":{"amount":"+0.7578818202018738","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":"Q3067529$CF3FC34F-F74A-4743-B8A1-4A5622C7EF47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From a proven correct microkernel to trustworthy large systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_a_proven_correct_microkernel_to_trustworthy_large_systems"}}}}}