{"entities":{"Q5747756":{"pageid":7777307,"ns":120,"title":"Item:Q5747756","lastrevid":51080405,"modified":"2026-01-16T13:41:03Z","type":"item","id":"Q5747756","labels":{"en":{"language":"en","value":"Multi-prover verification of floating-point programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785442"}},"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":"Q5747756$BA6A0873-70BC-41B5-8416-AE1A7F832BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a4bbfed7d940d0997adbc63130071c066791b0","datavalue":{"value":{"text":"Multi-Prover Verification of Floating-Point Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747756$5867FE7F-5FAD-4AB6-BF06-CD2AC371717A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a7aff090df8f0248680e14dbba5b84c5db06918","datavalue":{"value":"1291.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747756$5513A92A-62D7-4965-A006-64D70F1E8D22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38fe02675332bc4cce0866e4262fe6b7b8743ad1","datavalue":{"value":"10.1007/978-3-642-14203-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747756$29EE65F6-08DE-4A1D-877D-35D9639A5C89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd4bf335aa0f0f4761d0be57110d8c8d1650a90","datavalue":{"value":{"entity-type":"item","numeric-id":243680,"id":"Q243680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$EE5A1D7C-E7A7-43F8-931E-196D243A14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$CD5E9035-193F-430A-9924-9BE6443A9934","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":"Q5747756$F598D979-F9BF-4C3F-AB3A-30F5DA594BFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-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":"Q5747756$555B0E28-3A81-40E8-A0A1-F54D879C78A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747756$9C068F86-5E81-4942-A0E2-2C10CEA57493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f528c70fdc9d4d85ddfcefba0ca92689be8ecc6","datavalue":{"value":"5785442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747756$731FFA0E-E561-4A31-9588-D571840BB603","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$565D22C7-4857-426F-972B-4ADEAE7ADDD4","rank":"normal"},{"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":"Q5747756$4D6C1887-8411-4422-B703-D52159E4BBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$57C550A8-24E6-46D7-8C01-1AFB44EAD231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$DE4C0002-5079-437C-BF8F-75023B2F4401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$075DB87F-10AF-41F3-BF03-47335B971516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$C29655F4-D3E6-4A5F-9ABC-370343442152","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":"Q5747756$058DCB9D-FC86-44E6-975D-BCAEDBBA9603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$C3FD2737-894A-48B7-BE2F-4790FB9E81A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$7569CB26-704C-40C6-B247-9E51A9C10592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$46081420-08CD-45E1-8C9C-77572B04E2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$FECA8BE0-879D-49EB-8D16-F1A421D25158","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":"Q5747756$285FC5F0-5847-4439-BD03-89D646D5F61C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b354680edfea512b43acaf8db9cfb875c99dc5f3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747756$88F8BC6F-F8C6-4C8E-B65C-E95E62F4B439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70a4040840a43821ecb9c844650741c23c1a06c5","datavalue":{"value":"W1824011918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747756$BE9F16A6-E4F0-47AF-98FB-8CAF3FEC4BB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a13266ef688161489e5f79e85ce047d641f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$EEEE3E96-91F6-46E7-BF75-7DE44D93F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda516360752f06de61020226a14fa7cfc2fbf83","datavalue":{"value":{"entity-type":"item","numeric-id":2864404,"id":"Q2864404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$6AB93103-B8B9-4805-8312-5BC9EAF40E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2940d495eb2b669794d95ca8ddbb03437430e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4790659,"id":"Q4790659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$DD210883-B6D5-475E-B8C9-B535F0A554A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$277DB257-2703-4917-8165-72F55A411B67","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":"Q5747756$586DFE05-0787-4660-BC69-B3999E1FFD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$D33E88F0-F0D6-4E69-859C-AE83D80C539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f65644d666e389907b7173225cdf0065502fd","datavalue":{"value":{"entity-type":"item","numeric-id":4571480,"id":"Q4571480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747756$9B82FB29-3BE7-4CE1-85FE-93BFF6721672","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2456a4221f4f4afd5cdaf689ddf8012c09f5d13","datavalue":{"value":{"entity-type":"item","numeric-id":1630033,"id":"Q1630033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab00bba5c7ddb957a1fbd25f1c29cd87719d7342","datavalue":{"value":{"amount":"+0.8680539131164551","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":"Q5747756$BE49FDD3-CDA6-49A0-BE6F-E1795E610E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a1b3d3b71cf596c472effb80d47abc57dc1b31","datavalue":{"value":{"entity-type":"item","numeric-id":2233510,"id":"Q2233510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1793937b983d920545bac5d573cf413ed318d812","datavalue":{"value":{"amount":"+0.8404642343521118","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":"Q5747756$2F1B0915-1FBC-41DF-AE07-AEEC0B9FDB1B","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":"8a68aa906c2601af36dc5d806911131c673971f1","datavalue":{"value":{"amount":"+0.7873738408088684","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":"Q5747756$4F56D607-E70C-4BA7-B591-70C336D72CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39543e823be30e37369ab04509198db83e3988ed","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a41c084a17c395e316028c7d7aab3f8b1ca57ce","datavalue":{"value":{"amount":"+0.7783039808273315","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":"Q5747756$140089CF-1FE2-4A2A-A2C2-C27603E048B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a25a21fef68b57b1274322a9a325e9d4435271","datavalue":{"value":{"entity-type":"item","numeric-id":3637269,"id":"Q3637269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f14cd2909bec49d9011b1a87c32f954dd4bc1e9","datavalue":{"value":{"amount":"+0.7708452343940735","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":"Q5747756$D5574CBF-AF17-4C1D-9A7B-CF013DFCB493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747756"}}}}}