{"entities":{"Q2352505":{"pageid":2363248,"ns":120,"title":"Item:Q2352505","lastrevid":52299881,"modified":"2026-01-21T09:33:09Z","type":"item","id":"Q2352505","labels":{"en":{"language":"en","value":"Verified compilation of floating-point computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455041"}},"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":"Q2352505$8F96BD55-74C2-4D1D-AA0F-F34C1CE114B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d6ff1b02d0c23ae11b88d3f4ba1ba64da1767fe","datavalue":{"value":{"text":"Verified compilation of floating-point computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352505$58DCF5B5-19F3-40C0-BE09-E8113BB3BB05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1278ac735ce90fb984dffd7fda68698323bc598c","datavalue":{"value":"1331.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$2D4619E7-2534-4D03-BCD2-ECF67CC96811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfbbbb889685c16294bfa3437f02f1746fc983","datavalue":{"value":{"entity-type":"item","numeric-id":352947,"id":"Q352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$8AFC98F1-1A53-44AB-93F7-B6FC25F873FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95adf6d56afbfd4ae328bf851da3bfec0b11905c","datavalue":{"value":{"entity-type":"item","numeric-id":1650958,"id":"Q1650958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$939512F5-07FA-40A2-AE63-9A6D7756D0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$B8AE6E45-B945-40A5-BE0C-B644A4D310C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$4F8145D3-A92D-41CC-B078-BB1423772CAA","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":"Q2352505$BB73E75D-A8DD-465F-8AAF-CA398DAF0983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352505$6FF9C181-A608-4D3E-8172-00A4EB2CEB7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57680102256a4215735f7b8d827533fd41219f2c","datavalue":{"value":"https://hal.inria.fr/hal-00862689v3/file/floating-point-compcert.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352505$5C051A44-95DA-4904-AD0D-4B06A752EBF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$BD0CDE08-C577-466B-AE0D-A148046D8BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$D585E59C-59E1-4FA8-91C8-E5F0433AC04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$64E17EBD-A123-4AED-B43B-19E501569AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$B1003CE3-9920-4D98-9CED-F7B8276463B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed0b4fb6a39e2ee8bcedac73bef6c0a6ec2322af","datavalue":{"value":"6455041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$46603963-D093-47BB-BD68-D7044863C76D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352505$45BC46A5-7C55-4EA1-819C-181C114D50A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352505$4243F545-3933-4C2E-B627-C56A7EDDE117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8f4be07b1af31d0bd7b2bd81f763ab7fb740d1","datavalue":{"value":"semantic preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352505$CAB7BC32-6C4D-44BB-B7C8-E6A7954D8234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3daf0c95f517d479414bb155140ef763f87ea802","datavalue":{"value":"CompCert","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352505$C6E31AA7-DD55-44CE-BE75-80ABE80081A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352505$70299EF3-4007-4DFD-88A7-ADBF0DDE97D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$ACE4AF8B-1DD9-48B5-B959-0F83861A50D0","rank":"normal"},{"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":"Q2352505$E942B519-66C9-4585-8AEB-068E9FD4DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$5E0FBC0E-30DE-427F-B1F0-3D3BA6102055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$3F3FE0D5-07B2-45F4-9CEA-8CEE144ECEE2","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":"Q2352505$B58FE506-3100-4310-9F9A-BE172534C9B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c359520f62099223c1840e58bebf1f30fff8a9a","datavalue":{"value":"W1988579293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$43D2F3CB-5B7C-4875-8813-174B98B7FA29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a13266ef688161489e5f79e85ce047d641f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$07756043-F9E2-42D3-B93D-173D49F79140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae96947308b6f83273f3888536c8c74a2a5cd9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4589559,"id":"Q4589559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$51518420-A364-4F82-BFEF-A595246F0FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$1EC66E09-4D43-4D8B-AFCB-414C3926CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543694d282fe4fd45336482f4d957abe7b57644d","datavalue":{"value":{"entity-type":"item","numeric-id":5756497,"id":"Q5756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$6E81804C-3698-45FE-8ACE-41DD19D42790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e10366aa14b4f4cc11a9a253b0c3ce76fb85ca","datavalue":{"value":{"entity-type":"item","numeric-id":2549229,"id":"Q2549229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$1E264D8D-4523-4B68-B3C3-949F19350111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$66290E25-3EA2-4DE3-A1A7-33E385C20AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d077f7417b2812e541ae3d63f2b9abb351153146","datavalue":{"value":{"entity-type":"item","numeric-id":3629031,"id":"Q3629031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$FFD01D9E-22EF-40E4-8188-0A0FE0B131EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7da1590a1616128c69ade7483ca0f3b7dcd36a9","datavalue":{"value":{"entity-type":"item","numeric-id":3100216,"id":"Q3100216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$AB271E50-5DF6-4FE6-B58C-1ADFC76B6D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a89a983fb03b95f29a4dd8d8dbfee04649210b","datavalue":{"value":{"entity-type":"item","numeric-id":5189669,"id":"Q5189669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$ACC565AF-0781-4A73-8742-DBF49F7762DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afefbaf137f83b64b00e4ef48cc98682850f21d5","datavalue":{"value":{"entity-type":"item","numeric-id":4230664,"id":"Q4230664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352505$593B740A-639C-4E2C-88A7-C217D2B01640","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"560f7c00e59c1eebdc12a401f7cf76320845b0e1","datavalue":{"value":"10.1007/S10817-014-9317-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352505$253285E0-C4EA-4AAD-BE09-A936EFACD1FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f9e9873cfe4644b6583f05111df3e873bf45d8","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fbc9f81b9748256bd0ab1a4be54df688c495dd","datavalue":{"value":{"amount":"+0.8085635900497437","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":"Q2352505$31810A85-69B8-4C0C-9AA5-AC0E4E5C75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0ce1a15a6f8a98914f6aa448f055825b864ff2","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fe846b8a5ecf7eb96628bc9fe6dc1139b7cf26","datavalue":{"value":{"amount":"+0.7895472049713135","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":"Q2352505$BFEE067D-3AA8-4DCD-8913-4826C9D2A36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f67f8ce26b7c1ddf773f26fb0b2cef79c6bd00","datavalue":{"value":{"entity-type":"item","numeric-id":5014364,"id":"Q5014364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82223e4cfcc32ccc0768b5055739eb09411d37a5","datavalue":{"value":{"amount":"+0.7844046354293823","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":"Q2352505$F2E74174-A1B7-4610-B9E2-C12694F3BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634865f6354839c52530abb008d3913b47aec7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2152274,"id":"Q2152274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3442ea9dc76d31db900362b0bcb4fe97ec898da","datavalue":{"value":{"amount":"+0.784109354019165","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":"Q2352505$EEF8A3D6-6E98-4BB5-A0C4-1CC527D05E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab5af0b01032fe41b463bb1909a4831e2c66566","datavalue":{"value":{"entity-type":"item","numeric-id":816201,"id":"Q816201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e175af36eeadcc29f88c8a150af35213d7dbefc9","datavalue":{"value":{"amount":"+0.7837120294570923","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":"Q2352505$025DF471-4B07-4F8D-9CCB-E0186D47A4B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2352505","badges":[]}}}}}