{"entities":{"Q6535941":{"pageid":14147084,"ns":120,"title":"Item:Q6535941","lastrevid":55604923,"modified":"2026-02-17T19:35:53Z","type":"item","id":"Q6535941","labels":{"en":{"language":"en","value":"Formally verified roundoff errors using SMT-based certificates and subdivisions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817362"}},"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":"Q6535941$C7EAC8AD-A9E7-4EF0-9670-8EBC4236F453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e890a575c8c603fc6a4d79dbdb33b72fae5e1a0e","datavalue":{"value":{"text":"Formally verified roundoff errors using SMT-based certificates and subdivisions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535941$49D60EDD-15E5-4BC2-8139-FEE6C60BCCF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e0b7abc1baf0c5e56b73c1d0b0fce70423456d","datavalue":{"value":"1539.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$5C09F65C-5299-4CB7-B03A-4B589A8CE3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e3706fd5dc5aed1d5d2e46f61ae79fa8e10059","datavalue":{"value":"10.1007/978-3-030-30942-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$A4A0DD7A-69E7-44C9-B540-E408D04385DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec0dc50e867f6fbee6aabd32c46f1f2cc38413e","datavalue":{"value":{"entity-type":"item","numeric-id":6535940,"id":"Q6535940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535941$518F4700-1CEF-4224-8D51-2D411493E93E","rank":"normal"},{"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":"Q6535941$55B75B61-FD1B-41AE-87E3-B8A4A5CAB1D7","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":"Q6535941$CEBCF18A-7FCC-4A4C-80C3-865A9B107B5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535941$1E568F69-221C-4172-81D5-9580D20268C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$26F5AA10-5EDF-4DE4-B597-2DB3B478F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$08CB0EB7-B5B2-4497-B733-E8D7C2E000D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$FB3C4D1C-ABF8-4C99-AFBD-7EA5E9E0BBF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5ace5a205b740058a97ad31b2ce41c227cb87fd","datavalue":{"value":"7817362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535941$CCF1BE3A-BF0F-437D-B5D0-359F72B5C8C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535941$16B714D9-0059-4CF4-B31B-CCF6A256B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f237787501c995be6e02dbb80f15bd0810db1543","datavalue":{"value":"roundoff error","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535941$C3C46DB5-81A6-4075-8EBF-6D1A11121B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c79f9187cb73ee679c74bc23696df5b20fbbac56","datavalue":{"value":"finite-precision","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535941$F7A34A03-3F7A-4B5C-8D01-BAC55A22D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535941$889F07B3-2D2C-4643-BBA0-9896797393EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d959bd733318746098f9611a2534b0fcaba0c1f","datavalue":{"value":"subdivision","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535941$2968C023-DD3F-4DF2-AD92-5DBC734824B7","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":"Q6535941$63F60EF1-32AB-4EDD-B440-274AA0882395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cbbffae41c0a1ed2581b6b84f03f410747b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2387756,"id":"Q2387756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535941$9DA9462C-1DC6-4946-885C-0E044D71C39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842cc7997d2d8faf03cd74c496ae509956b9581","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535941$C300A0AC-8AAA-41C2-9288-906085578F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0215749ba1a507181a8a777bfd7878a71e7ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3133585,"id":"Q3133585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535941$955BDC7B-992B-4458-B626-026400CE8C84","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":"Q6535941$9CA50BE9-BDAC-400A-83F2-E6ECC45BF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535941$5BAE2D9B-9F45-40C6-9F10-5660F6691E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d29074c973b41c55c63187341b9e396ebba19c","datavalue":{"value":{"entity-type":"item","numeric-id":3133585,"id":"Q3133585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e8e99b14a97e363c9605505d8c4c63c1a63199","datavalue":{"value":{"amount":"+0.8046448230743408","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":"Q6535941$76E57B60-BA10-4C7B-8FAC-8A47FBE188A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2254fdaf4c0a3982cf0ec98205faa3e8c27f03","datavalue":{"value":{"entity-type":"item","numeric-id":5206960,"id":"Q5206960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5243eb0dd239aca4286a543bcad08395d2eccc05","datavalue":{"value":{"amount":"+0.7732337117195129","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":"Q6535941$122E78BB-CE30-417F-B580-898CB4F50E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e19f21b17e1414d55fc409bc8cd0f808ed60c3","datavalue":{"value":{"entity-type":"item","numeric-id":2989081,"id":"Q2989081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142b549adc54dc92602367f6371b5e8fad10664c","datavalue":{"value":{"amount":"+0.7278625965118408","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":"Q6535941$B30C2E4B-234E-4590-A4AD-AAC2D4366D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b652889f81b90623f503935cd6b8aac0b5fb7628","datavalue":{"value":{"entity-type":"item","numeric-id":2352500,"id":"Q2352500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05606f3f101d44afdb4e5139e37869fe3020e0e","datavalue":{"value":{"amount":"+0.7245557904243469","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":"Q6535941$EC1288D2-61F9-47A5-8D9F-C8A1C5922FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048a5185168387880ea81394bea60da809ec15b6","datavalue":{"value":{"entity-type":"item","numeric-id":2013318,"id":"Q2013318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2789b275759cb3145a99c482d274fe4a0dde046","datavalue":{"value":{"amount":"+0.7133965492248535","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":"Q6535941$FBF947B3-6695-4A7C-8FBD-9CD6CF1E495F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535941"}}}}}