{"entities":{"Q3613400":{"pageid":5643306,"ns":120,"title":"Item:Q3613400","lastrevid":50603705,"modified":"2026-01-14T13:13:32Z","type":"item","id":"Q3613400","labels":{"en":{"language":"en","value":"Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528275"}},"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":"Q3613400$0BCF1A72-16F4-4266-81E1-00406CEEF68F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f7c5eee3e3b2718efc490c906d6f5dab6874c6d","datavalue":{"value":{"text":"Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613400$9EF8D975-DC54-400B-8FAF-C3353DA58A3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9124df166715bd1380fa5d63cbc0bbfb7abb87e","datavalue":{"value":"1222.65156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$0FDC8A46-FADE-4CED-B475-693AD6FCF055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0dd1b10812b814f73387a80e126451d0210b3bd","datavalue":{"value":"10.1007/11814771_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$2CD35C33-562F-4FA6-9B6A-62E109BC81DE","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":"Q3613400$4ABCB5FE-3077-49C2-965C-0A7DCB2C79EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613400$29A8CCE6-0D0B-4106-B183-D2300B649251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613400$DAB862E3-E227-49FA-A061-1A464B70D03D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$423D46C5-24B5-4CA8-92DF-11E1D9EB6CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$06174AFD-795E-4703-BA74-027DF3FAE393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ea9b0c950a46ba0d19c1d72fe622e2939b5dec","datavalue":{"value":"5528275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$90ADA80E-BDA5-4C57-B5AC-59525D0831C9","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":"Q3613400$2918AFCA-0912-4D99-97AA-BD728B98FB5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ece3f409aaa0a742ded430e70ada4c338df26a3","datavalue":{"value":"https://doi.org/10.1007/11814771_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613400$55D3A162-BEF2-447F-B799-860148BCB59B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c26628d31b25410283e9ef2e7255273636c2def0","datavalue":{"value":"W1535070383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613400$30B79A9E-EA9D-45CE-9984-E3FD47BC03D8","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":"c82ebffdb719322ec22393fe5d7e18da4a8487cf","datavalue":{"value":{"amount":"+0.748822808265686","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":"Q3613400$65A4852A-B71B-48B6-B7EA-A8B16E113B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39838fc97364315b097b7b3e6cbac1c2be6af363","datavalue":{"value":{"entity-type":"item","numeric-id":5086229,"id":"Q5086229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c3bf0686ded794f324f92e19ccde490e1f3b9f","datavalue":{"value":{"amount":"+0.7323892116546631","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":"Q3613400$9D8F83AB-256C-4B13-A527-A0D4FC9A443F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adab14be603a93bde827af0da3bc9888b83cc92","datavalue":{"value":{"entity-type":"item","numeric-id":4230664,"id":"Q4230664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a74eb252ba86b19a047c093a09f508c548bf26f","datavalue":{"value":{"amount":"+0.7291532754898071","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":"Q3613400$46418BBB-A2A1-42FB-BFAB-E86FA0F0E934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a13b2f491b155dc9f1bc78d7311d1d37d0ea567","datavalue":{"value":{"entity-type":"item","numeric-id":1687723,"id":"Q1687723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00341ef7cb6abca68bc984a6f433eaf032d93c78","datavalue":{"value":{"amount":"+0.7201473116874695","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":"Q3613400$9A0DFB42-C499-40FC-AD60-D0AEC377F8C4","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":"2ffc402c433c5355a8479c1935c246f1dd68b12f","datavalue":{"value":{"amount":"+0.7196848392486572","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":"Q3613400$ED33643A-164F-4166-91FC-BE3E863FF86B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613400"}}}}}