{"entities":{"Q2319992":{"pageid":2330735,"ns":120,"title":"Item:Q2319992","lastrevid":43877676,"modified":"2025-11-15T17:25:51Z","type":"item","id":"Q2319992","labels":{"en":{"language":"en","value":"\\textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096720"}},"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":"Q2319992$0F2B9A04-E3BC-40CA-9C1B-0D033D4DE6E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"586aa4a2dcd1e8c23bfdd7c5f9d6dfda3f4addbf","datavalue":{"value":{"text":"\\textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319992$652AC757-24D5-4319-8BDD-C9337D85A7C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d600690ece03e63fc8867df43097cde25e355bf6","datavalue":{"value":"1468.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$7E838C67-ECF2-4938-B8CF-E8A324EA4353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d479f47bb17fd8baafebaf6a1d21c8b3a4ec5a","datavalue":{"value":{"entity-type":"item","numeric-id":1687718,"id":"Q1687718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$C17215DB-78B2-45E7-B321-7AECEA847312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$9EABBCA0-8D36-41E9-95A2-9736A4BFBAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c25726b1c3d5cc63790fc1d73320b25e2720a6","datavalue":{"value":{"entity-type":"item","numeric-id":1687719,"id":"Q1687719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$9F7A0936-B45A-4886-A3E8-281F3024065F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$7055BB42-30C6-4AA4-B085-6A0960EAB891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319992$59DBB5B7-54E7-4DD0-B1F2-241E2F9EB250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$D27D9A1E-73FE-4A88-9D23-30168858B7E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46b769a48c8e0f421b15b1eeeab7ceb254adaf0","datavalue":{"value":"7096720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$7722E57F-F6B0-4E0C-AE73-DFCF34D0D054","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216994b803ecd22e73a61495657652bf329c37ef","datavalue":{"value":"verified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319992$B615C664-63FF-4585-A115-B7A3ACE6C2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6392edb99e04b57155a11c034cf146e24774706","datavalue":{"value":"low-level code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319992$7FADC47C-3D36-434A-87A9-27F49E49F96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ec64423f18d347bb6f0278314736b4d917e54f","datavalue":{"value":"optimisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319992$80002F85-857B-4C74-8AA8-EDE3100DDE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d9685543b4e662ee934b4da2922e3167b35c3c","datavalue":{"value":"pointer as integer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319992$64CF2E2F-1641-4154-BF8E-43B2464F2C3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$EDAEE2F7-5BC8-445C-A85F-8411B1429549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be5bb26c53852616d497c8a310e2d0146eb52b96","datavalue":{"value":{"entity-type":"item","numeric-id":34513,"id":"Q34513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$ECE1C851-A5E9-4204-8BCE-3AF08CB90D9D","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":"Q2319992$A2BACAD2-C6C0-408C-899A-635B748EAA67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8edc819fe11d53f189718dfa29bae8f637ba7202","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9496-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319992$B630E7A1-8353-4F32-B540-35033F70CABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35b8c33c159d853657b7f8d6c296b8654b2046f3","datavalue":{"value":"W2901282687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$70026BCB-E096-4D81-848F-EA626F40FC70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1144b7e54dae632d5cc038c21b01dc00e192ba0","datavalue":{"value":"Q122874428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$FD7C80A8-1D3E-44D0-84E8-CA5E2D30F92E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9882067857deee8a1f21a4631a1aa582d793db4","datavalue":{"value":{"entity-type":"item","numeric-id":2945624,"id":"Q2945624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$84520DE3-4910-4485-9B40-95C6988009CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eda093be35707603c5944a085c326b23df7da0e","datavalue":{"value":{"entity-type":"item","numeric-id":1739908,"id":"Q1739908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$9E48606D-FB08-4BF9-8617-71E4700E86D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532ebc126d26eaf3a312e30cad0136c0ecac4b26","datavalue":{"value":{"entity-type":"item","numeric-id":2938039,"id":"Q2938039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$6A2D7D16-DA38-45CE-A91C-BBE90D25B592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef257c6907158cd09f1eab4376f06786a44effee","datavalue":{"value":{"entity-type":"item","numeric-id":5408409,"id":"Q5408409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$B27B1ACB-AAC5-4BA4-B2B1-8CF3965F1753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$3348D88D-C053-4EFB-9CB1-98FBF3055568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$82D8650E-5984-4195-B08C-10482015AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319992$E1EF184B-BC7C-4D3E-B6C0-3CFEA32F3191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7930e1cd88fdb411bf112c0286af6e684af86f7a","datavalue":{"value":"10.1007/S10817-018-9496-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319992$150FDDEF-26EF-451E-BDDB-70B6E01D8115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d56fe8b226ca3d8276fd7447eadcfd64f2bfcb8","datavalue":{"value":{"amount":"+0.9902258","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":"Q2319992$CBB2B0B9-5062-4C56-905E-2BA28178F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163a06d9025a9f2ebbb69da5db0328ca03f2ca34","datavalue":{"value":{"entity-type":"item","numeric-id":1739908,"id":"Q1739908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc4a548b270a279db40e9cc4f8d97410cf4bc14","datavalue":{"value":{"amount":"+0.900597","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":"Q2319992$E9DB979A-5379-4955-AAB6-164B38E69CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e918a18cb8fb7e91a16208c9db704b5126e148","datavalue":{"value":{"amount":"+0.8766446","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":"Q2319992$850C15CD-5C50-4FD8-90C1-12DA3EB50117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d14fab8f7d99e95a84bf8279e2ae86f291c09c","datavalue":{"value":{"entity-type":"item","numeric-id":2287078,"id":"Q2287078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93adc3e59d8bcca2ec7ce838034530a75a479af2","datavalue":{"value":{"amount":"+0.871369","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":"Q2319992$70E98325-E5A0-46C1-8AF2-04463EE714BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52c891947e91854de30aebaca437718bd924345","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a122163685e2acac7b54c9c6ed926c778554180","datavalue":{"value":{"amount":"+0.86630774","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":"Q2319992$5DB1FF8A-9DC4-43E5-B74E-8063A0A60A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c0fbdfb2a611d037b6bfd81bb0ab008f2b75b7","datavalue":{"value":{"entity-type":"item","numeric-id":2324020,"id":"Q2324020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410fd089e0295fc27b8837733453a1a13dd72664","datavalue":{"value":{"amount":"+0.85926837","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":"Q2319992$185128E5-4F09-42A4-BE95-327ADD604DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319992"}}}}}