{"entities":{"Q2013318":{"pageid":2024060,"ns":120,"title":"Item:Q2013318","lastrevid":52879214,"modified":"2026-01-23T17:19:16Z","type":"item","id":"Q2013318","labels":{"en":{"language":"en","value":"Formal proofs of rounding error bounds. With application to an automatic positive definiteness check"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6761449"}},"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":"Q2013318$CB74B6BE-1041-4678-8B05-BBE610187A1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b77b5b73a3d507463e7eae5e904e5924388771d6","datavalue":{"value":{"text":"Formal proofs of rounding error bounds. With application to an automatic positive definiteness check","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013318$F0E4E435-AF29-4297-A28B-7AC16D14064A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f0fc9422a0b729ee088dab2c05679ebdb11c1df","datavalue":{"value":"1409.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$418AE8C4-F40D-43B7-B826-4E410E99E16B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$4B7D273A-8221-4F7B-82A1-B5C3CA177E0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$4181816A-913B-4E04-8384-5585451F9929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df0e235d1b1d733bcc53fdadfc8ec0d6b69c89be","datavalue":{"value":{"time":"+2017-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013318$DD916BF6-6731-4FE0-B514-5FE97E0208EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$73237C7F-0069-4F2E-92C1-67C88A8FA444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$7884B76F-304A-42E1-B698-92812E00CC53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"077b539e5018d4564150084e08ce0141462c6fc9","datavalue":{"value":"6761449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$E595DC94-9C2A-4207-A938-94C05C32E19A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$873404A3-9BAA-4E72-8A4E-43498ABEA572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb30818131a1c4b446533f23c3aacce8a020b7f","datavalue":{"value":"rounding error","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$606A6483-88DB-4FA9-BF4B-6E56E0E31F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$6349E2D9-4E04-48E5-9931-A9D3CECD5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$35E71C7A-53B5-4549-87B6-146C55D22C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$64252F56-7B6E-4F87-B174-58B00CC29C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f75d418c6568ad1ebad624da84f2b623fcfbff","datavalue":{"value":"matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$12C9B671-FDE1-42E0-B681-CEA387FF929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed2d4f54838e863aafaa1049719054384eaf08b","datavalue":{"value":"Cholesky decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013318$786A27B9-B476-4BB0-BA84-F13281208621","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":"Q2013318$867E50D9-E457-4EFC-A77B-9D56A6F43F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$4AC2885B-4765-429E-98C5-903F5FB18F42","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":"Q2013318$094A4EDC-3E14-45CE-BDDE-28A515840CC3","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":"Q2013318$FC94078D-B85C-4B58-8741-BC99D71D2BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"186a28beca7048f4e16c3d0de3067bdb3e2148d9","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9339-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013318$9DFDEC0F-B620-42D3-8D72-C66C284BCAFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"297d5da36015d9233d3fb6873c846850bd2a2c4a","datavalue":{"value":"W2138211565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$3FE523AB-4A03-470B-9BF8-0A9C976227DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb4a2a2c273ce3aaba115471e767a5e890090b42","datavalue":{"value":"Q113901249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$737D9881-B1E2-438F-B20D-495BE214DA38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$C9B18CAA-F4F5-49B1-8822-B51467658E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec912cb1b4e9b40c409f4f537c09cc77cf22d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3543652,"id":"Q3543652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$E6D01780-E88A-4521-9A26-4736CF82AA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f61ec795bf8abab1978c4909f302e2d4340af01","datavalue":{"value":{"entity-type":"item","numeric-id":5747647,"id":"Q5747647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$5E754F8D-CB49-4B2A-A967-25CB09A99582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291d4cf6a21f184ed89e23d3d44baace280bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$1AC373B9-ACEF-41C1-BFFD-39D0548B3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7714191b9ce3c9811ef44b12140b4c3293eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3024872,"id":"Q3024872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$B6344A3A-5E6D-4C66-B517-7AC2BBB44EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83e6b1f38bd22e7c559f56363b9c482c696cc45","datavalue":{"value":{"entity-type":"item","numeric-id":4864704,"id":"Q4864704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$0F27C9A5-4B2C-4989-AF5D-4C2E8E364897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758d3724017c484fb2035201d7ba18e8ef7868f8","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$31DC6BDF-2E8B-4FF5-9CB3-8471E1A9AB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf15b8407e5d75aba6434845813c7baa49e06b2","datavalue":{"value":{"entity-type":"item","numeric-id":2502318,"id":"Q2502318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$2443E2CD-C63D-4E0C-B570-453E49424FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022ef6cb9066ed9ba7065c73af782015d7ce06fc","datavalue":{"value":{"entity-type":"item","numeric-id":2923365,"id":"Q2923365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013318$99C0A31D-9779-4DD8-9357-4EA9498CB5A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"871c085b3e0e3620646d1f811a9741413ea36f8e","datavalue":{"value":"10.1007/S10817-015-9339-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013318$64B1B950-AB5A-413D-AB2E-C3B9230FAF73","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":"9987c696d4c20c45b14428d3c514c1019b24fd1b","datavalue":{"value":{"amount":"+0.7844656109809875","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":"Q2013318$070B0C65-B225-4DA8-A719-BEFA872B6EC6","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":"c482cc056ba165234e013bfb682ba477d39277ec","datavalue":{"value":{"amount":"+0.7830392718315125","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":"Q2013318$A7772F6F-BD20-4D17-AA93-0FE0B76788C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e250971493e7777398b490e966e56ea70e8266","datavalue":{"value":{"entity-type":"item","numeric-id":2520685,"id":"Q2520685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386bd6cadfad83958462c8f915c59040d22fbe46","datavalue":{"value":{"amount":"+0.7815787196159363","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":"Q2013318$08874218-BF3C-4538-AA22-9E15F606600B","rank":"normal"},{"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":"f8429a56a83c73075e77ebf78e3ab5d72dc8a13d","datavalue":{"value":{"amount":"+0.7743934392929077","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":"Q2013318$778E19C8-76FA-4333-8D57-8320154C9A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624fee9a0120a7889b116957d6096520056152a3","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21c41effd35ad6c4645b08e76ca7b30aeec5228","datavalue":{"value":{"amount":"+0.7696216106414795","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":"Q2013318$0072DFEB-C818-4C8D-844A-0053D7B041A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013318"}}}}}