{"entities":{"Q3638088":{"pageid":5667994,"ns":120,"title":"Item:Q3638088","lastrevid":50708981,"modified":"2026-01-14T21:32:01Z","type":"item","id":"Q3638088","labels":{"en":{"language":"en","value":"Floats and Ropes: A Case Study for Formal Numerical Program Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5578397"}},"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":"Q3638088$F3917786-C828-42EE-B58C-8E759EF53C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1117f572ef88f1fc9413766f3ded30578047dd0b","datavalue":{"value":{"text":"Floats and Ropes: A Case Study for Formal Numerical Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638088$1DA946C3-9E75-4300-B2F2-B3B6D4288D17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc82b642c04ed2d0023a281f9ed2236011bf9600","datavalue":{"value":"1248.65045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$CDEB9EB4-AB2B-46FF-BD1C-AB48D41D2E75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d9ce0b4aabc141c3a09807e9e6a3dae748c3d5","datavalue":{"value":"10.1007/978-3-642-02930-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$9BDCA16C-F2EF-4FA8-B6E0-2E5F835E67C9","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":"Q3638088$09E36C10-C7A0-4149-9485-C3960BE37F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638088$76BDE5A6-A554-4433-9F7B-188D98760ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84a43ca09dfc89bd40b6e05ccc6fc3b6ab38d41","datavalue":{"value":{"time":"+2009-07-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":"Q3638088$E1D03FB4-0B8B-4FE4-A460-D05407958C9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$9FF4FBCA-42D5-485B-BCB5-CD2CD52F02D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$BD069B90-0DD3-42DA-BD80-14FC1EFC40C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcaff918ae1c7ef29f266cd105bec35772ae24f2","datavalue":{"value":"5578397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$5BF67E9F-9B46-4BF8-A871-A607D5F7AE6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638088$F4598328-1CF9-4743-A636-4EBB5044B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bbedeb8fff9bf5dbcadd59c3f5332134c82fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":16987,"id":"Q16987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638088$BF5A0C1B-DD0E-4836-97D7-413B6A669AEF","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":"Q3638088$92DB6FB7-2757-4AE2-B147-9CB9E2251837","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5f04196cfd73b67b7b391e9a12e90d86b5bd005","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02930-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638088$2C37FC8F-7C76-44A1-A1DA-790208B897C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aa50d255ee043448cd1b44f623953485ec7d52c","datavalue":{"value":"W1500006811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638088$7C34408F-A56F-42E2-A920-4FB2B2AC99F9","rank":"normal"}],"P1643":[{"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":"e385d5481d37a52396f319884feb1085f73b4e49","datavalue":{"value":{"amount":"+0.7751643657684326","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":"Q3638088$53F2D811-6D0A-43A8-9ADF-B36E1C994D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab31d5912cadbbfefc841f45e39fc28cb02cf95c","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fab7e701cf197a58f3d449e8c2b363d65cad6b","datavalue":{"value":{"amount":"+0.760903000831604","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":"Q3638088$8CA39B44-3D04-4164-B8FB-5B8CCD44A5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c937f8fc49ce24b29b61446f9b6cc913576c570","datavalue":{"value":{"entity-type":"item","numeric-id":5711510,"id":"Q5711510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46731d32a210864f01ad9e92a78d1b2d0c6207a","datavalue":{"value":{"amount":"+0.7600241899490356","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":"Q3638088$A0523E92-2206-4CDE-8DE3-76E4E6935A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634865f6354839c52530abb008d3913b47aec7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2152274,"id":"Q2152274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1335d8c7a510cbf78f17ba847c992ff56a19f1f9","datavalue":{"value":{"amount":"+0.7552549839019775","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":"Q3638088$DF5427A5-DAAB-46D0-BDE0-E1BBD19364D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b69df14f4a1f6ee5e58db73c6c53b7cc814a73","datavalue":{"value":{"entity-type":"item","numeric-id":457251,"id":"Q457251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250180c4d22981e73bf3ea13c3436d1ded3f4094","datavalue":{"value":{"amount":"+0.7523604035377502","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":"Q3638088$74E51EE7-D27E-4843-B994-4F490A4BB3A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638088"}}}}}