{"entities":{"Q5754574":{"pageid":7784125,"ns":120,"title":"Item:Q5754574","lastrevid":50149826,"modified":"2026-01-13T06:55:59Z","type":"item","id":"Q5754574","labels":{"en":{"language":"en","value":"Formal refinement for operating systems kernels."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5181823"}},"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":"Q5754574$5AC91331-3C41-4D92-8D43-E7BC4BF1F52E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61393c7ebf858fa39e5995625ccb23218ff67aa8","datavalue":{"value":"1139.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754574$A5724742-1193-4D9A-AC76-A70ACB5198EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31ba4e70c26ce0ce26868993d26a7c32c2193601","datavalue":{"value":{"entity-type":"item","numeric-id":884942,"id":"Q884942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754574$D00E8CC4-DAF5-4B87-BAE4-7AC34016E05A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5754574$9F1F1A56-55DE-4229-99C7-001912AE2DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754574$CDD632E2-4D4F-4EE7-8F17-9B577B42698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754574$E6922414-2558-4227-8408-3866A5B05BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3d3356cde943405634ab4d5b1d9e0556afd00b6","datavalue":{"value":"5181823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754574$A75A4920-0793-461E-9A0D-C79CCD42E168","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$886F90DF-F1D8-47D4-8EC9-D900A7939304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdc69e0333ba33f15dd91a6f53d5cb8adc4b731","datavalue":{"value":"operating system kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$444720F4-8FD6-4796-A0D9-C069CE2993EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e64ec2f005c48df9bfac8feb153dd1d5313d398","datavalue":{"value":"Z schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$6D5AF578-F8C0-47E2-A3E9-D5D260F938DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e59160c7096f9b49c8e42bef3c8ae0ea5f01295","datavalue":{"value":"process table","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$8AC81699-F61A-4D23-9B45-1D7C9B6BDF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b89c3bbbf81e75ad5eee7a56ec4fe571785d394a","datavalue":{"value":"process queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$11EE126A-7B4F-4410-9534-D72D3A2089A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f891b3a6d35c28ebb72165af585c2d5326a35","datavalue":{"value":"priority queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$C63B9DFD-1956-4890-9626-42474263EA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234199a288eaf2c4b3846975331b2cd7884c9f1b","datavalue":{"value":"scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$CF2E20F5-8C78-47D7-921B-B74D291DED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f9d03b9a3627773c95c3293530403a5ca551eb","datavalue":{"value":"semaphore","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$89C0E8C3-A6D7-4911-BFE5-8473E622459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd3b0e743bb0f74f86e8229b698f1e15db3c88d","datavalue":{"value":"message","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$EE089514-446A-400E-B8BA-D59E3CE2C769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd12981ba79112c8b0b36387f28037a89a463da","datavalue":{"value":"user interface","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$FD133374-508A-461B-9839-3A02E49F6EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f015dd57a8d2b0da69053342c9f2499784eeaf","datavalue":{"value":"separation kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$DFED6C37-1B79-4FBF-82F2-12E76C622716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7dc46a9d44ad75ec3b5a5590bed9ad4b08b66b","datavalue":{"value":"storage","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754574$7534CD7D-967A-4AF1-94EA-CC4398032812","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":"Q5754574$8F6EF3C2-B636-4FED-99A8-00227060E1C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b648b0d217e2890ddb164f624675a0d47cfd894","datavalue":{"value":{"entity-type":"item","numeric-id":3413115,"id":"Q3413115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ce24498987da76d0743c9dc2b707b32974fee5","datavalue":{"value":{"amount":"+0.8328352570533752","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":"Q5754574$899D0C96-FBAC-4217-8ED3-EE812E1A5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf64a328e6a3e7fd7c2737040e946ea82bbcc339","datavalue":{"value":{"entity-type":"item","numeric-id":4250663,"id":"Q4250663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9f20d1bec5aeffc1ea1e9e28b54b3cb1cd6290","datavalue":{"value":{"amount":"+0.8009385466575623","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":"Q5754574$67895DB2-2619-49F9-A2EB-EEAC8ED4F740","rank":"normal"},{"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":"c94658f26ad22ad123c0d29e6b052e3bef86014f","datavalue":{"value":{"amount":"+0.7431559562683105","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":"Q5754574$9666D8B8-54DB-43B5-BBDD-0CE09327F68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f45b8b559985aeb61ab66ffc91ade739061b901","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c8741f16963eb5668a6820209cf2b1e64eff95","datavalue":{"value":{"amount":"+0.7410685420036316","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":"Q5754574$2CCABC46-6095-41D7-803C-94E077D1733F","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":"6885f8c41334c4f6257a4ff4be40203cb2ff81c3","datavalue":{"value":{"amount":"+0.7267822623252869","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":"Q5754574$534779CD-FD76-4A6F-905F-3F7E5DAAC7DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5754574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5754574"}}}}}