{"entities":{"Q6567716":{"pageid":14178871,"ns":120,"title":"Item:Q6567716","lastrevid":103708016,"modified":"2026-06-06T07:57:36Z","type":"item","id":"Q6567716","labels":{"en":{"language":"en","value":"Towards applying the composition principle to verify a microkernel operating system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876664"}},"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":"Q6567716$AA468FC5-C68D-4BC1-AD60-9AB619824737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d233779c8b9ae8b6a86f005aa5852c0c708b600","datavalue":{"value":{"text":"Towards applying the composition principle to verify a microkernel operating system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567716$8CDF1DCF-12FD-4C31-A505-B902B074FA1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57527931aebc9cf1de7f8a778bf34919518cc01","datavalue":{"value":"1543.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$8972CEBB-BAAC-41AF-8602-30F31ADF354F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eb5a44477ebadd263553b005b35e2614c6489f2","datavalue":{"value":{"entity-type":"item","numeric-id":3024894,"id":"Q3024894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$A40F39B3-6BC6-4177-BD38-47EF166B56FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd5a7e53a33dc1a33f91d9e261197758e9459fe","datavalue":{"value":{"entity-type":"item","numeric-id":1285657,"id":"Q1285657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$C2AF229A-F729-4E5D-8EBA-9AB9BCA95E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e3f0442eb9288c60667728e5900c85a4196f982","datavalue":{"value":{"entity-type":"item","numeric-id":3024893,"id":"Q3024893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$52639719-CD53-4CBE-AC62-0EBDA82AC38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc2fb524d33f33f8332ca0d7221582ddee6fccd6","datavalue":{"value":{"entity-type":"item","numeric-id":6567715,"id":"Q6567715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$960AE85B-C761-4D5D-9EC6-6D218628B30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4291a618235ef26c2763b6e80b16f454d69edb5","datavalue":{"value":{"entity-type":"item","numeric-id":1285658,"id":"Q1285658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$3C92336D-F94B-40CB-97E8-3582F6DCBA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48945d4d9b87e786a6fbdc7ddaaba9d983e3883f","datavalue":{"value":{"entity-type":"item","numeric-id":1182112,"id":"Q1182112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$43AEAAAE-B331-46C7-ABAF-59F964093B64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567716$CE13DA24-5D4C-4FA3-9184-EAE6FC432995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$780F7AAC-46DC-442B-B774-191981364AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$2589806F-782B-4EAA-AE6B-873A99C3A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$BC1F492E-50E7-4D25-9D62-1DBFEB8325B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c74783d299e36e091f1cb29152bbcbae64bdc6","datavalue":{"value":"7876664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$2D6F7E01-69CD-41EB-9EB5-D9A4216A51D3","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":"Q6567716$1226709D-C4D9-4B02-AFF2-78F1D19AF47F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$E8D2AF4D-3BFF-4784-ADA5-389341645B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7f4160bf195ff46d24997fcffa2a7e2f623cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5044739,"id":"Q5044739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$D0D512E7-883F-4DFC-8CB0-B03E61D6E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$DCB203B1-9C1C-46C1-927C-BCEEB3F1143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7d2b571fca965bc2b8fa95a461def14830e96","datavalue":{"value":{"entity-type":"item","numeric-id":3024895,"id":"Q3024895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567716$654DF6EB-EF9A-45DB-A1A4-287CC91EB401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfe1f59cc44922481aa622b5a29705a2289fb7dc","datavalue":{"value":"10.1007/BFB0105408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567716$33551372-D7FD-431B-AB79-681A91B7F00A","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":"224741eb79d901ef597d9f83ce9020a547dcb736","datavalue":{"value":{"amount":"+0.7413818836212158","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":"Q6567716$2A13E376-7E52-44A3-A26D-28B62F9BCD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb79e3d95507e295e4cafb016cb8508fb9204ff","datavalue":{"value":{"entity-type":"item","numeric-id":5959856,"id":"Q5959856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895b980b0a30e72bc04df91153cd50b0812e1b0c","datavalue":{"value":{"amount":"+0.7342051267623901","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":"Q6567716$43AA68ED-079F-47EA-ABE2-4EB5D23221DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086c1690d82047a205870680dca3d0ad18da1c18","datavalue":{"value":{"entity-type":"item","numeric-id":6535218,"id":"Q6535218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5998a18ae709b078f4c4f515e04baef74ccda157","datavalue":{"value":{"amount":"+0.7256007194519043","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":"Q6567716$2EA14387-0502-4A71-8926-5CC3EE332415","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":"7c14c3aae73173d517cc30a63344fa9c3d2fb514","datavalue":{"value":{"amount":"+0.7184160947799683","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":"Q6567716$2DA91EF7-4F1F-4B73-AF69-EA8BAC9CFC78","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":"7c00ab1389bfe7010dd479db0585ba84a307f84a","datavalue":{"value":{"amount":"+0.6981350779533386","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":"Q6567716$71E44532-BC64-43DA-A932-EF20E9C68AF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards applying the composition principle to verify a microkernel operating system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_applying_the_composition_principle_to_verify_a_microkernel_operating_system"}}}}}