{"entities":{"Q5176991":{"pageid":7206563,"ns":120,"title":"Item:Q5176991","lastrevid":94485731,"modified":"2026-06-05T06:56:27Z","type":"item","id":"Q5176991","labels":{"en":{"language":"en","value":"Modular verification of preemptive OS kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411562"}},"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":"Q5176991$6D72C380-4161-4BE8-8024-3B66443015CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5272eae15f10b6db693cf967f5ca6eda28e2feb","datavalue":{"value":{"text":"Modular verification of preemptive OS kernels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176991$E1CC430A-897A-4F55-9D7D-08D8238CA9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a911eaf812152819eb8acfc19fd34243f650502","datavalue":{"value":"1323.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$52D2DF9B-635D-44AA-B464-36C9BDFA1017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19b30bdeecfb990a8818e1483999f181a487df9d","datavalue":{"value":"10.1145/2034773.2034827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$3A6E0EFF-F8A8-4446-A5B6-449529A5F420","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176991$89BB7993-4BE3-4D12-890A-094CCE4B37DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176991$1BEE4F99-619D-47A0-83EC-498A8FBF43C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53c2b631e99940a75af01dcb78353131f1ce5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5176956,"id":"Q5176956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176991$BCCF0744-6D74-4E2A-B299-C80C9E87CA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-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":"Q5176991$D6FF16A4-06AF-4E4D-8F6B-1558F8EDC54A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6690d3df44a744863e810e57b8fa378b5c9849b6","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:f3f2d73b-aa35-4937-851a-ed4fdb41c1bc","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176991$11AB7E3C-9677-4316-B717-42E6E55D2A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$8035B3ED-5574-4E7C-A6AD-33D5045A898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$87BE1F3C-D47F-45A6-996B-AAB2341FC49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$5D1E01D8-1F82-4A8F-8A9E-1B6CADF53088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"581436ee33902a7f06cfb8095dd61150ff7fadc1","datavalue":{"value":"6411562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$6F17812C-5CB2-440D-92BA-3991D54C6958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176991$21AB62AE-3242-4EE7-99C8-E63AD7742DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176991$E6E622BA-40E2-40BF-8282-4F757CDB39F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176991$32B9329B-CCF0-4DC9-A11F-2DABFF2D03EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176991$B78A908C-C561-4DA0-90CF-48C96B8EF101","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":"Q5176991$8805BDFE-1109-4FFA-A5A3-9EA454CECE2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b543f13935655cf6859aaff2069052df7530026","datavalue":{"value":"W4248931912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176991$2C21308B-01C1-4327-B80F-5FADE6FB2852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4ee540cf1ab410f7744b3d7e2dc2c412b43df5","datavalue":{"value":{"entity-type":"item","numeric-id":5398329,"id":"Q5398329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176991$CD87F708-2FB9-419C-ABA3-A1FC94A38B0A","rank":"normal"},{"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":"25422ecc814d15c0a4e6a3b6d20b68cecb74b985","datavalue":{"value":{"amount":"+0.8773938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176991$216FBD11-7DAD-4CFA-8261-B383DAAC8F34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of preemptive OS kernels (scientific article; zbMATH DE number 6411562)","badges":[]}}}}}