{"entities":{"Q5875414":{"pageid":7904965,"ns":120,"title":"Item:Q5875414","lastrevid":97508756,"modified":"2026-06-05T14:55:15Z","type":"item","id":"Q5875414","labels":{"en":{"language":"en","value":"A certificate-based approach to formally verified approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649957"}},"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":"Q5875414$CCCB2ED2-04CB-4FAC-856F-01BEE35D46AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f7f99ef3f7a114cfe699e02805fae1efca31a4","datavalue":{"value":{"entity-type":"item","numeric-id":2051588,"id":"Q2051588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$65600888-687D-4BFB-8F66-CF440B7C1C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$D8628CEA-B89D-4242-9D7F-0B571D2F08B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$9EF19E1A-EB5E-4AB3-8D6D-80DC0273A340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875414$D79A222C-F4CB-46E9-8C62-62D404E70D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875414$662209BD-9E02-4553-B3D7-57FD985B86F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ebd82b182106d987fb39bb2fc6f7dc4f854955","datavalue":{"value":"7649957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875414$CA33F602-D3F2-4978-8324-FD83EE8D2773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384ce42b9d56318867b290c0b2e557c464c31b38","datavalue":{"value":"approximation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875414$5B763566-8344-40CE-B753-C3084FF96EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7733331fc28e089b96cd2f83ca1335b93aaee4","datavalue":{"value":"Chebyshev polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875414$BDFB105E-0915-4323-A190-259D60310331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a346cdac93d5a2f9875a7e9623e1d66bb063b59a","datavalue":{"value":"Banach fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875414$992953C4-5FA8-4D61-B8B0-F5308EFC7E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875414$38CE5F83-DB60-4C38-8D07-AB94F817B971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875414$68A46C16-8BDF-4F78-9BAD-4E1C5E9A477E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$D75FDCF3-8F47-4CE6-A937-040235D56A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$1F018A40-F42A-4143-924A-F9AE2BA95CAB","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":"Q5875414$80D48587-9FA0-41BF-BD5F-48111E6D5E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d2c9fa79e9817d3cb1f61f0ebc527d5abe9d901","datavalue":{"value":{"entity-type":"item","numeric-id":13352,"id":"Q13352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$1C28665E-B94A-405C-A378-E833DCB5077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d21fe96e365ecf6c3640683e7818e20408c5a90","datavalue":{"value":{"entity-type":"item","numeric-id":41908,"id":"Q41908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$55EA4E18-49CD-44CA-9E9B-100A6EA36D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce18b1c1449a3bb47af3672feabf348123930aa7","datavalue":{"value":{"entity-type":"item","numeric-id":19838,"id":"Q19838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$0E6A56C6-D127-4C1A-B8AE-DB4BFCED26DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dcc17b1b7f4c0f182f131ddfc6728ddbb550e5e5","datavalue":{"value":{"entity-type":"item","numeric-id":18036,"id":"Q18036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$B4AE64BA-68A2-41D9-A83B-FBB42D0A912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76d7eaf273f96ddde04747d7d9349f03efed7cde","datavalue":{"value":{"entity-type":"item","numeric-id":12948,"id":"Q12948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$DA523876-D91C-4889-B60D-10941AAE53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c40c8835b8af01d5f6525cc8347b02f1c0d46638","datavalue":{"value":{"entity-type":"item","numeric-id":12949,"id":"Q12949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$D3CC7CCB-7AFB-4090-9019-A520E2B8917B","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":"Q5875414$C77B8759-B603-4DD5-A57A-ACDA9EA9D32F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc4be15ab6bc58345218e573f250bf5cdad2d9a","datavalue":{"value":"https://laas.hal.science/hal-02088529","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875414$B78DDBBB-E5E1-4B0B-9EE7-3BDE92012E0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d6a52df169f1f1bf967b09189b37287bb260a4","datavalue":{"value":"W2936040140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875414$E0B5750C-A560-4031-B721-E72932A7BBF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08bdcccb8044eae46d62aad55a55ca0339e27a5d","datavalue":{"value":{"text":"A certificate-based approach to formally verified approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875414$F8FD04C9-8771-4DF1-91FD-BCD831748BBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$740E7258-E641-4D1E-9070-C8E7B35B7A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69e7a8fc7be33892357b9cf2cff2b460787623d","datavalue":{"value":{"entity-type":"item","numeric-id":2967967,"id":"Q2967967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$71500B6B-2D28-4638-B615-D2AD848DD68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7d47238d3aada9efaeb74275c57ed2ec5a1048","datavalue":{"value":{"entity-type":"item","numeric-id":884840,"id":"Q884840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$FBADF486-69AE-4F8F-B477-FEA8F8C27958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c57e61dbe3a56615cb7de98e9cf1bc7a1ba47","datavalue":{"value":{"entity-type":"item","numeric-id":5875414,"id":"Q5875414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$F46E1994-79C7-4528-ADFB-1B8AC4FB857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003e01e100d3e82c7c812db8c206c315bff90a63","datavalue":{"value":{"entity-type":"item","numeric-id":1276129,"id":"Q1276129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$0810BA0C-A29A-4E13-9798-391BA8AC1817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab1fb3b741de6ad15a6cf3e725ed00bb86921b6","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$B72536DF-D3E5-45FD-9A3C-BDA35CFE3304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10fa15046c5daaad73735491d9b284fe95c2cf9","datavalue":{"value":{"entity-type":"item","numeric-id":4611315,"id":"Q4611315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$3AD969B2-03C3-4231-A413-6DBE5C813430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c547ee6bc78467a4385966f29dc1e395b6b5566d","datavalue":{"value":{"entity-type":"item","numeric-id":2946533,"id":"Q2946533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$82DBF2BA-CC34-403E-AB22-F4B101653D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e0a790005a7ed051827056b5f9e3d8c552d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":597112,"id":"Q597112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$E58FFFE4-6EE8-40BE-AAC8-F8960BCA2007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02fb9499182e102c2e65adc6f9202340d435262","datavalue":{"value":{"entity-type":"item","numeric-id":5474767,"id":"Q5474767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$1349492E-E667-48CC-A755-C51B168135EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf9b40f6c6b72ddc05eeb14f556eef7290af5f9","datavalue":{"value":{"entity-type":"item","numeric-id":5533821,"id":"Q5533821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$2CF36817-7599-4EB4-9F69-2BA8F95CF9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$8E81BA3C-4E6D-42EC-AD05-5D190FA3F717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f7860107870a9dd8ca3afddc064363fcd28a79","datavalue":{"value":{"entity-type":"item","numeric-id":3613425,"id":"Q3613425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$3DDD08FF-10D5-4112-8A24-75A44B8640E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$869BE681-1A18-4CEB-B2A6-34BA5248D059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$0A021D98-CDD9-411F-AB96-B8085AE438D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759497152242cb308dc21c332887d616c1a27371","datavalue":{"value":{"entity-type":"item","numeric-id":2792369,"id":"Q2792369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$9A8BE967-B1D0-47C7-9958-9F54F53274B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf6b9d2ce411d579f1b21dd66b3a564adb7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":1663218,"id":"Q1663218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$AAED4699-9C56-4E1F-880E-100BB12BA814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1d825eed85af9d954df0cd63b3406a30ce1b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4589506,"id":"Q4589506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$925C3640-1003-4A59-91F7-BF772771C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801c07f90f846fd677e54ceff4803db0dad4f23a","datavalue":{"value":{"entity-type":"item","numeric-id":4915395,"id":"Q4915395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$BB039CED-400E-4727-986E-048EFBE3F88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5585dd9b1aa663de137ae7c61b3fff3739d3a193","datavalue":{"value":{"entity-type":"item","numeric-id":3340032,"id":"Q3340032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$4A3C8050-03CE-44EC-AB02-1E67ADBDE44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5369ea57bae7425d7bf92855d3d95968a5a4c82b","datavalue":{"value":{"entity-type":"item","numeric-id":5286655,"id":"Q5286655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$245114CF-B812-4B3B-82F0-7E22B009BD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5d3ef5738658565b16d0349c0daa9c47b08d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5415977,"id":"Q5415977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$388E6958-4FBE-4A5B-9A03-4E7BAB1D1597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b2f2fbea9f7236ea9053670195c88d9235f84d","datavalue":{"value":{"entity-type":"item","numeric-id":1722649,"id":"Q1722649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$EC81D819-637B-4820-9D61-6124AF62B05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e921e331154ac4053c6ddf9609e27a78717d8","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$7652C7DD-0B12-4A2E-94D4-8EDA8543EA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$41805C2F-B42C-4B15-9427-83EBC6B21DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$55D2EAE4-B7DB-4F7B-83C6-EBC0D54A1D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28c88968ab74b5ba1b07a0e44e59feb700335f3","datavalue":{"value":{"entity-type":"item","numeric-id":2572919,"id":"Q2572919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$EAE9AC85-1566-41E8-BC87-0E215AA6E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$BCB20A3B-D1E4-48F9-A375-E0751024E1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5787141936a93bb14f41b4fc8a598a1ab07df946","datavalue":{"value":{"entity-type":"item","numeric-id":4904857,"id":"Q4904857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$548B4BED-912B-4E78-841A-E0595EDAE9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55571c266c2febc0928afc543a0e3d875de4d007","datavalue":{"value":{"entity-type":"item","numeric-id":1601363,"id":"Q1601363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$75213BDA-A4B1-4FD9-B189-3139AB041156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1bacf8b37a40c1d503ea12a6d2a40a949a7de2","datavalue":{"value":{"entity-type":"item","numeric-id":5198996,"id":"Q5198996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$6A945AA3-24D1-43B1-9DFD-288717EC3482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fd24108a2946adc886429cecd0c6a6e24e8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":3624476,"id":"Q3624476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$E2A7D200-1556-46C9-BD3F-28A781268915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03622cb3cf7c47de407f6765c58c5544f18fd32b","datavalue":{"value":{"entity-type":"item","numeric-id":4210317,"id":"Q4210317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875414$F18B2F58-D7BD-4AB7-A52E-A9851648E91F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"656e847c8a7dae5e1bf4d81d67b02b43e2aebf82","datavalue":{"value":"10.4230/LIPICS.ITP.2019.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875414$1C737EDC-86D7-4044-B158-4921E5ADDA59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A certificate-based approach to formally verified approximations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_certificate-based_approach_to_formally_verified_approximations"}}}}}