{"entities":{"Q2819848":{"pageid":2830586,"ns":120,"title":"Item:Q2819848","lastrevid":79429481,"modified":"2026-05-06T13:53:19Z","type":"item","id":"Q2819848","labels":{"en":{"language":"en","value":"Deep specifications and certified abstraction layers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631332"}},"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":"Q2819848$0609FC09-11FF-4B69-92F8-B60E0F2F012E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cb8441e74b22546086562ea176dd293e5b00d68","datavalue":{"value":"1345.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$C76F2977-FD84-4751-ACFA-6B0AECA08FAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76b825dde9673ec0e0f6585130853e1c8b7c5478","datavalue":{"value":"10.1145/2676726.2676975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$160482F1-C2E0-461D-9CCC-28B86575DD3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a18eff36f23247ba49762bc37c9e8e013a5ca82","datavalue":{"value":{"entity-type":"item","numeric-id":1663224,"id":"Q1663224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$1ABA7FBF-18E4-45D2-AC59-EB7DCFCC97EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88b1bd4e2a123fe1840f36f66b1212af8a91412","datavalue":{"value":{"entity-type":"item","numeric-id":2819845,"id":"Q2819845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$CCF40985-4BAD-475F-8394-8B70E5A5D58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2f7c005f4bee573bde0aed29ab3973980cc4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2819846,"id":"Q2819846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$6B342814-6B74-47B4-9689-9CC7576C5541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$DA94238D-C14D-4C1A-9FC6-A216C9725F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3e54d210360c258203a538cc816781f86acc56","datavalue":{"value":{"entity-type":"item","numeric-id":988189,"id":"Q988189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$69D54F20-FD3A-4693-A3C6-C79A3EBACEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12880864e77e91f6d21fbc6625841a4873b803ee","datavalue":{"value":{"entity-type":"item","numeric-id":2819847,"id":"Q2819847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$36EDA290-0057-4AD6-BE08-A67CB049E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c35811ebed0358f661f31fdbcf369a28b9c1e15","datavalue":{"value":{"entity-type":"item","numeric-id":395493,"id":"Q395493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$2A0629AF-8EFE-47F4-B9F8-46B0CECC6524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88a8b1c33959253c563505d7659bf4d7c08fabc9","datavalue":{"value":{"entity-type":"item","numeric-id":6771837,"id":"Q6771837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$9FD0952F-EFDF-421A-9024-A56CE0FED151","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$EFA7FF13-F40D-464F-9C07-F6595A9A2033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819848$20A6E7E0-468D-4E41-B148-6BF2863F4024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$6E5DC6EA-8D0D-456A-A5D0-6F795D9A6649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$BB73EB04-F93D-4E5D-B5F0-6A60479366AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$D914C42B-7372-4F35-B364-90FB8DE2648A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1331fd139980e2f0f715dc05f304585e47cdf917","datavalue":{"value":"6631332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$548EA289-5DE5-48C8-8572-A06DEAFAF8D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b50c1a8989ad8dfe3d1eb03f552830b8d7a813","datavalue":{"value":"abstraction layer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$31D3D3F7-3884-49B7-9C5F-9E29173043E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af40919e793a67142a62162466153561c34d4c7","datavalue":{"value":"certified compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$5A8D6489-3987-49A9-95CA-CE8F55262A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0e6f86e2688666fdd565b41ef3650ff0bbee40","datavalue":{"value":"certified OS kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$CEC5FC45-E0F8-4999-9529-029474F0E234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa3001ba90b0f32f58f9ec2393fcbb3e495c6ed","datavalue":{"value":"deep specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$3932F758-767A-46AA-A7CF-FD4BF7641B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$9E440779-B1BE-48C2-817B-7D66D42FA63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819848$409D3312-E763-4EF8-94F6-F15D145D0B8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819848$72B7D88C-3867-4D87-ACE3-9FD840C7EB6A","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":"Q2819848$816B90A6-402C-432A-A06E-11CAA0C14FE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21ae6b0998ea02424b35740be3b42490c84bf693","datavalue":{"value":"https://doi.org/10.1145/2676726.2676975","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819848$BCA02203-B10E-4E05-8F6B-F3377D2F4217","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71efa8529410dcfd0d5ef88784b351713610013a","datavalue":{"value":"W2095770127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819848$BEC17005-6C1A-47BE-AE1D-B06DB5001D6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f71d8f4d52a6c6f97f85c7fa798a7928eda6d2ac","datavalue":{"value":{"text":"Deep specifications and certified abstraction layers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819848$57C0BC07-E6E6-487B-AA14-CD223F5BE684","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":"d20b76e045b04f47b865e866adf3a886c758fa81","datavalue":{"value":{"amount":"+0.7111409902572632","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":"Q2819848$E074FA2D-230F-402E-9F46-2DE5CEEB3518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0767f01f61fe0d764fdf347aa1cfa210d2fd5184","datavalue":{"value":{"entity-type":"item","numeric-id":4916058,"id":"Q4916058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcd295b4f8a54100c7108c925c1e88e758641e0","datavalue":{"value":{"amount":"+0.7101345658302307","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":"Q2819848$BC84C6F5-4C59-433D-86E8-C82823DE61AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bba4551ecc1340f0b0a8b03c6ad03fc72f3ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":6044999,"id":"Q6044999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cdb37961052a1e59bed862c78c35d1aa0cfd37","datavalue":{"value":{"amount":"+0.7019462585449219","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":"Q2819848$3A2FCF8A-1F80-4150-926F-9D0695648CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d809ec3803ccf5acce60b9da76e6ec4862db506","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19481594b47f804107a48a1ca8849b9706a6978f","datavalue":{"value":{"amount":"+0.7013511061668396","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":"Q2819848$A6C38CF1-D915-405C-9AD6-5AF155FEA090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e275c1a99869a76ee490b3efdd8e3243321e8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2968409,"id":"Q2968409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bec44a42d8ce00c2ef382e928f2f8d40fa4719","datavalue":{"value":{"amount":"+0.6998933553695679","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":"Q2819848$98D1B16B-BF8B-47CB-B448-737A1ADFBFBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep specifications and certified abstraction layers","badges":[]}}}}}