{"entities":{"Q4916065":{"pageid":6945646,"ns":120,"title":"Item:Q4916065","lastrevid":51697781,"modified":"2026-01-19T13:13:46Z","type":"item","id":"Q4916065","labels":{"en":{"language":"en","value":"A formal proof of square root and division elimination in embedded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155880"}},"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":"Q4916065$62670DB4-38C3-4453-AB57-0261E1E135C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dce85c0b09363de9d510a4c27e91d9afac2a68df","datavalue":{"value":{"text":"A Formal Proof of Square Root and Division Elimination in Embedded Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916065$56A2EE35-C6E5-4E64-8BE0-461ABB4F88C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"757b807b4cd9f7e2e591a0a85f72f926b58f1ee4","datavalue":{"value":"1383.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916065$44D1136D-72B3-4460-8D7C-00EAF0027C05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7552599572b6044a3258a3b54cba2d275b21a17","datavalue":{"value":"10.1007/978-3-642-35308-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916065$5F63CACA-6781-4E16-A67F-E74E17F4039B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09b471a977f46dc8222892d17aa419c962d912b2","datavalue":{"value":{"entity-type":"item","numeric-id":2520686,"id":"Q2520686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916065$8496A1A2-AFBF-4BF7-B4DE-C878FA7A4920","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916065$EB085500-4E86-4FD7-8BE3-2D8BDA50A843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916065$01DB43C1-70C3-40E2-97B9-9CD04B04E24F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"491375d36638443310f1cc5c07c72900d2b687c5","datavalue":{"value":"https://hal.inria.fr/hal-00924367/file/JFRarticle.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916065$0674208C-29EF-4CFD-BF1F-2B013AE3CA85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916065$2C6F9EC5-C070-44A9-8B28-74876D82ADCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55526d01327b77dea14253b813f2bc9171e80b76","datavalue":{"value":"6155880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916065$AE02C5CC-95C2-422D-BD29-907B9517FBF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916065$DF80E3B0-F9DE-4564-A47D-B4F247701B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916065$FE58ED0D-FABC-45A2-AD60-EA2AAF041BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"344a383f164f3a87d072e4637cc34dfbcb1ab11f","datavalue":{"value":"real number arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916065$04EE613F-7030-4BDB-BFDC-691226FB4648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d96935be037fcbe234f11a7d8e110dbc25099b6","datavalue":{"value":"safety critical embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916065$16925524-3A9E-4B79-BB42-3836622ED210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916065$4A540EBE-C424-4777-A95D-5B4B4D00389B","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":"Q4916065$784C1BFE-D415-4951-9753-03DF35D50B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916065$C5E3124D-C29C-4208-AE9D-D37A9A2F33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916065$772ED448-99F0-4B0B-9E05-8BD859F2962D","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":"Q4916065$1A6F7F54-AAEE-4404-861F-4C595F375259","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d802f53d272060f2892e5063f969dbe52260d04","datavalue":{"value":"W2173119587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916065$DB638E79-0411-4AA3-802C-7A30F5069532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8bfc5e6c76ae66fa5ded80a891abb727725852","datavalue":{"value":{"entity-type":"item","numeric-id":5195252,"id":"Q5195252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc82678da1d63123537b2209aee13b136fe19614","datavalue":{"value":{"amount":"+0.9995295405387878","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":"Q4916065$FDDAB3DB-1E75-4FDC-8AF2-A54DC04039A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff66a1f4207a2cc3d977a4146d1279928a1176","datavalue":{"value":{"entity-type":"item","numeric-id":2520687,"id":"Q2520687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fcca162680112b6ae013f4bc5e72bfc02b01ca","datavalue":{"value":{"amount":"+0.7827312350273132","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":"Q4916065$79EAA4ED-C0FC-450D-9F2C-4297B51E09E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62aa1b9b84e5506dd5e15946b8837c2fb0bcc0f6","datavalue":{"value":{"entity-type":"item","numeric-id":5327364,"id":"Q5327364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f21575f63cacf099fe892a2191823919e78e86","datavalue":{"value":{"amount":"+0.698227047920227","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":"Q4916065$980FEC5C-D27B-486D-871C-B2C9A7997DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5f37d66227b87e8c04eec86814bdb5e38e2c7","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cdc093551bb5017488744e012793cbe438e237","datavalue":{"value":{"amount":"+0.6725561022758484","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":"Q4916065$CEB58640-2416-4311-87E2-7CD39A605522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10073345fd62cc0e756321bfe4c5cc5e3e5b6f6f","datavalue":{"value":{"amount":"+0.6652266383171082","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":"Q4916065$B3BDD20C-9B94-4996-9B2F-EB713DF3C199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916065"}}}}}