{"entities":{"Q2828254":{"pageid":2838992,"ns":120,"title":"Item:Q2828254","lastrevid":52656254,"modified":"2026-01-23T05:06:55Z","type":"item","id":"Q2828254","labels":{"en":{"language":"en","value":"Lightweight verification of separate compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642951"}},"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":"Q2828254$DC824B66-FBC5-4482-BDF9-D11C79BEC9D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e189fe4840afc7eb81265cb25f05cb88fc7a411","datavalue":{"value":{"text":"Lightweight verification of separate compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828254$AF7413C7-4717-49CA-8BAC-B7B381BFBFEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4bc03ccf9e53a44a4a8a644a8a2e488653a3fbb","datavalue":{"value":"1347.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$8F5555A6-9A7D-46A7-AB29-BA32CA639BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"428dc53777181c793647dd94e5670f042659014c","datavalue":{"value":"10.1145/2837614.2837642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$EE51A5FA-A256-4972-A39D-22EE944B8218","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1d73cb12f7d25767f437468992fdf3280e2ca05","datavalue":{"value":{"entity-type":"item","numeric-id":426825,"id":"Q426825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$F64EB2E9-FCAD-498F-A362-30BFB24F15EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"713d03e88fde571c2bae8d11566a90ab132e5935","datavalue":{"value":{"entity-type":"item","numeric-id":2828253,"id":"Q2828253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$CF0448EA-AE26-4E81-A03D-8D8087339DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$C07E25B5-3022-41F2-87BE-5C5D0C3E0822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$DDF7480D-4873-499C-87B5-77E854AEEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51adb93db68201213be844cacdc682f04dfa7f95","datavalue":{"value":{"entity-type":"item","numeric-id":6772194,"id":"Q6772194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$8536B3B3-FEB7-4035-8CF8-38C519173181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828254$4D7975C5-573F-4B4A-BC2B-B13AC118BCF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828254$571C44E7-8BDF-4B77-BDB6-A6E61383FD4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$9AD818CA-2149-42E5-A844-58C85BFBE04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$0ADBAD9C-4CA0-44FE-9440-C01F31F492F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"589e16f534953565c3b41bb8ea77c6816b0965f7","datavalue":{"value":"6642951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$F2B4994C-BAEB-445C-B473-C2214C4F4FD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3daf0c95f517d479414bb155140ef763f87ea802","datavalue":{"value":"CompCert","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828254$0978AD99-A59B-45ED-A4CF-76D14653262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1966ee9cb70012ee9d5180e4f5dfc6a130b63bf2","datavalue":{"value":"compositional compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828254$C470BD86-7579-4EB6-AF34-69DD17215F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e332de5428b5a30254dd02d5baa612a41d6de24","datavalue":{"value":"separate compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828254$D6B43F0F-9213-4933-BF62-F6976379D1D8","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":"Q2828254$7E6F1E7E-5293-4DE5-B16D-38BE9940E2EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e090c995e7ed92382609b4fc8cf6967276573c0a","datavalue":{"value":"https://doi.org/10.1145/2837614.2837642","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828254$B66D6AF9-DD20-4E5F-9676-D62BF24EA935","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a14330dadf5ab40163fa6d08efe586d0a7af31","datavalue":{"value":"W2295752850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$3E45B78A-A44F-49D1-BF62-0267BA9E9F3E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b72e25ee0f6f4f9a58f19725626f84ddbfe17f3","datavalue":{"value":"Q130871023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828254$9D43A0FE-94CE-48DD-A0B1-25B7E0EAB497","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6c9e47a6f87f9556c5932f106c5ec71edfaf09","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb09795904620f486f0a82e3a8479f75be1ff94","datavalue":{"value":{"amount":"+0.8408604860305786","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":"Q2828254$CDF38E59-566E-44CF-8DF8-B7AC28573718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c864fad0c72513e1cec61672364c2d8a635e49","datavalue":{"value":{"entity-type":"item","numeric-id":2981953,"id":"Q2981953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378e4f3a3c3380c35164bc226bbc7e7b2dcd23f2","datavalue":{"value":{"amount":"+0.783249020576477","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":"Q2828254$702AEC27-5EF7-4C4D-AB72-8FEC3633934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2ab24876d56aa97c07c1539437e0b429707101","datavalue":{"value":{"entity-type":"item","numeric-id":5410696,"id":"Q5410696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9711a7466ac1f7d80a285c4c51ccf8c3f83305a9","datavalue":{"value":{"amount":"+0.7652672529220581","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":"Q2828254$D7310B07-5F64-401D-8D44-B82C5782D738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce75845ab1e12a3829f9ba9e90080e8bf956028","datavalue":{"value":{"entity-type":"item","numeric-id":5696931,"id":"Q5696931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b81a94309f35b28ee19fc8ea78bd492f4b6bab","datavalue":{"value":{"amount":"+0.7639795541763306","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":"Q2828254$9B1D69E4-4A4C-4866-A7C4-6CADBFC1479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad089df66f5e3ee461359c10c3b72ed06e617ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2830040,"id":"Q2830040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9dbf0141a47d574037f5e192bb53ac4e78e2c4","datavalue":{"value":{"amount":"+0.7542202472686768","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":"Q2828254$A2618A8B-B4C5-451A-8355-02F3729C2070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828254"}}}}}