{"entities":{"Q5398329":{"pageid":7427903,"ns":120,"title":"Item:Q5398329","lastrevid":51935309,"modified":"2026-01-20T14:04:56Z","type":"item","id":"Q5398329","labels":{"en":{"language":"en","value":"Modular verification of preemptive OS kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262156"}},"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":"Q5398329$C5401D4D-05B0-4B0E-9C61-27F3CAEFFC60","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":"Q5398329$81AF37B8-4A56-43B5-96CC-A3616674F2E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6807b98ddfa64c79fb887dac45ebaa54d33c9584","datavalue":{"value":"1311.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$3803B5CC-6193-4491-8F44-9755ACD9D577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"495af08356cbec2f937fb7f20b464d35ba251dc2","datavalue":{"value":"10.1017/S0956796813000075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$D65954EB-6F05-47B4-9841-52B395CFA1B3","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":"Q5398329$D4E0B411-7E3B-4BF6-8D33-538EC674838F","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":"Q5398329$8A5AFC8D-BDD0-486E-9C9D-295696FFB7CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398329$E2DC9FF1-95EB-40D0-B750-B9BE311CC525","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398329$9F291A21-DF5A-4B0D-B992-EF04B612E487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$ACF69881-DBB0-44A9-B4B0-2F8EBA7DF373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$E65719EB-B57E-47C7-8CAE-E895A9F7A716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$DC04C6C1-94A3-418D-AC9B-A585755F6BFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7786e1eb8e4440749fd4bdc8973960ca151f0503","datavalue":{"value":"6262156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398329$E22A806A-A0F2-441C-820E-BBDD6EB1332A","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":"Q5398329$8F49652A-82DA-471B-A8A3-016B95F70694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ce3d6385fc7505fe2b123cd91f5840e3e3e27","datavalue":{"value":{"entity-type":"item","numeric-id":5176991,"id":"Q5176991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d930e225d29e5e03a8de47f5b5997b436c5ebe","datavalue":{"value":{"amount":"+0.9918044209480286","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":"Q5398329$560A2A70-C238-47A7-8813-7DDEBDBF1E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369d1d1e090ff9d8f9c91135dbf72238a7d4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2829245,"id":"Q2829245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fe5252d873faa16c72ecd2fd06203a736f7cd2","datavalue":{"value":{"amount":"+0.7359763383865356","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":"Q5398329$B3E29E6F-8244-47EA-9F7E-288DBF845984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06efda812282aabf24afc850612bc127dba7a9e","datavalue":{"value":{"entity-type":"item","numeric-id":835764,"id":"Q835764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2fb66981a7bc6374c2b7d8aecf0e0e5cfc2697","datavalue":{"value":{"amount":"+0.7144944667816162","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":"Q5398329$85D31F84-0518-43B0-A860-836CF8A9524B","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":"2b7c6a184140e75b33bff948b887b8551f434dc1","datavalue":{"value":{"amount":"+0.7103095054626465","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":"Q5398329$346083CA-7997-4462-8C6C-729DB0E84AF1","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":"8bcbd6c9e9f0ea8951f395ad3ecde5aa36f83fed","datavalue":{"value":{"amount":"+0.7074689865112305","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":"Q5398329$73D57AC8-162F-4BF3-B757-015EF1AC60B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398329"}}}}}