{"entities":{"Q6154878":{"pageid":13289274,"ns":120,"title":"Item:Q6154878","lastrevid":98758904,"modified":"2026-06-05T18:25:05Z","type":"item","id":"Q6154878","labels":{"en":{"language":"en","value":"Icing: supporting fast-math style optimizations in a verified compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805822"}},"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":"Q6154878$72C73FB8-4D1B-4281-B350-C63894E8581F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f4c5a5bf6618424c41a080497d141233ed32d30","datavalue":{"value":{"text":"Icing: supporting fast-math style optimizations in a verified compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154878$A358B159-0845-4B5B-8A08-6681960D8FA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd2baeeb3cd14967ba32835e14df2fdf43235fcd","datavalue":{"value":"10.1007/978-3-030-25543-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154878$748DF11C-0F7F-4DF8-829F-D9C58BD093F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cc4a848457f0e4f778d42d63079859a2bd5bd39","datavalue":{"value":{"entity-type":"item","numeric-id":2024353,"id":"Q2024353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$786AF25E-D1DF-4658-864D-7B6284ED4FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc64b0431d237d2cb162de6a38437bcb6b852e6d","datavalue":{"value":{"entity-type":"item","numeric-id":2024355,"id":"Q2024355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$44E57D1B-6256-4F79-A7FB-B9075C769C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$DC17BBB3-DC6F-4243-B90A-1089A53A0685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a056d864cceef7628b31881ec6ebd73dc2f9eed","datavalue":{"value":{"entity-type":"item","numeric-id":1791177,"id":"Q1791177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$D99A3A54-8A9A-46DD-8790-708144D78FAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$FD4AD555-47DC-472E-8DB2-950F2934E8C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154878$96C4F85C-2B89-4FD0-AEB0-84A9BFC3F16D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154878$D586E487-4AEB-42D4-B0E7-7C5FD90B7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154878$576DAB7B-EAAA-493C-8F9C-0B398D0C00BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b707cd35515d737800e7658cd2d6cfad024183f","datavalue":{"value":"7805822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154878$8D4C3DA1-85A9-455C-8F47-9218835D7AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154878$4D0FB8F6-4E8E-487F-A2F0-D2BCF01FBE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154878$FD11D478-729D-4403-8E47-678380478B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154878$B1331EC2-BE60-47AB-8C6F-2625A4BBDBB0","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":"Q6154878$C0CC4584-5015-4267-8EF9-4DF38C896705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36568ef7357816aa23cdd6fb7f03da3bdb3793a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154878$DA75CAC3-19B8-428D-8C4A-8F625EC16787","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb281d6b44634e1226a6668109b95ffa62592d17","datavalue":{"value":"W2956766610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154878$B625DE71-3702-4325-8278-5FF0B7ECDAE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39543e823be30e37369ab04509198db83e3988ed","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a510499682302072e03986dfb674dbf5d8d8114","datavalue":{"value":{"amount":"+0.7784870266914368","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":"Q6154878$FB3399B0-0C5B-4665-9AC9-5D5456AE9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ffacde827a8ce889c046a206dd3d900b6b6221","datavalue":{"value":{"amount":"+0.727838933467865","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":"Q6154878$332D3E32-E3F5-4099-807A-15C6010EA90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81d3c62197cbe6ed99a724c8188f3e8332739db","datavalue":{"value":{"amount":"+0.702259361743927","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":"Q6154878$821B5551-062B-4DEA-9359-8E89291F206E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93f7a7a9b2cdd3eaf48aa16d89d150e511c2bf7","datavalue":{"value":{"amount":"+0.6968894600868225","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":"Q6154878$6D2149B1-AD26-4E9F-875E-77918FA1839C","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":"49c607c0598ca28886b7be32540f18ecb6620178","datavalue":{"value":{"amount":"+0.6918705701828003","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":"Q6154878$7B879A00-8D3E-4E81-9A65-CF676DBAFCFB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154878$686FED77-1829-4AA8-A18B-4E36E818127B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Icing: supporting fast-math style optimizations in a verified compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Icing:_supporting_fast-math_style_optimizations_in_a_verified_compiler"}}}}}