{"entities":{"Q457251":{"pageid":459018,"ns":120,"title":"Item:Q457251","lastrevid":62013108,"modified":"2026-04-11T03:11:45Z","type":"item","id":"Q457251","labels":{"en":{"language":"en","value":"Polynomial function intervals for floating-point software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348503"}},"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":"Q457251$53FFF995-003C-43D9-A665-1B98B0100DF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e806ab0c395c077748dbdc0e0a6a5bfeb1df82","datavalue":{"value":{"text":"Polynomial function intervals for floating-point software verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q457251$A3BE03D4-40C4-49C7-AFAA-2600D7F461B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c8df937140e76c661044d3c390dba4be447cd19","datavalue":{"value":"1296.65071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$989AFAD8-FA7E-4D9A-83F3-F9E180AB3A06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0144ccf11b6118e53fa4aefad805d19f84f0373d","datavalue":{"value":{"entity-type":"item","numeric-id":254166,"id":"Q254166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$A1C7AD99-2B85-47D1-862C-3B8582C5DB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f7a423d7ec55ba984d2e14faa1ff96597d329a","datavalue":{"value":{"entity-type":"item","numeric-id":254163,"id":"Q254163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$6109E988-4834-4AC9-9D04-1BE6CFA748C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$01627B82-789C-465E-8B53-BDFB6C8757D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q457251$1901F00B-06C8-488A-AF3D-F069AE8F338E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"710aaa127736e389475513af7423031dc278f12a","datavalue":{"value":"https://publications.aston.ac.uk/id/eprint/23670/1/Polynomial_function_intervals_for_floating_point_software_verification.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q457251$CF4C4D16-6BFC-498F-BBAF-308EADB81345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$45834CC7-DB79-4729-99E2-414772DCD44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$FA8A0D0D-A5C9-44D6-8091-EF0C117B7548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$4D41A5B6-4FA6-41A7-8887-2FB30582A0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$F0E8B570-09EC-47CB-A045-034F10C36AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$2641AE16-7945-43D7-93F5-FB5C481788A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d61e373c4308ca309e10e6931fdca86c0323a84f","datavalue":{"value":"65-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$0BD39075-30FE-407B-8CE6-DA651B5C9F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23dbba49aec94a6b846a7f379d8a20f974be2ea0","datavalue":{"value":"6348503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$F2E9A26B-0408-421E-9569-26DB31D8A933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65a17d7a2feb0ebd58b035c31f6642d4bc3d55e","datavalue":{"value":"non-linear numerical constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$AA2E01FF-C5A4-4BA5-874A-9726F03FA08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$0579264F-7E89-4B40-976E-9FFEDED12E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbb84e39cafce5cfa190ae07f68e8b2c75c5fb82","datavalue":{"value":"floating-point software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$EA13B894-D39A-49F8-99E0-36C581D0812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624c27ba387062c03e3c04a192f774acf310fbbf","datavalue":{"value":"polynomial intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$56CF4BC3-7CA4-4831-BF3B-A05A733F048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bef829b951e9fa7c80bb29917d091310b3d41b3","datavalue":{"value":"validated computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$C014F092-F7C5-473A-A282-B7C823086ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q457251$4D757714-72AA-456D-82C8-963D6972C627","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$A1C83297-C198-44F1-8588-821ECA9E3C0B","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":"Q457251$A90C205C-E951-4DAA-A08C-28769EDA5702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$650E42D1-23B0-4152-A238-0EB6C17A161C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$AEA81427-B116-4650-8F07-BE184B4451C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$3E4C659E-D15E-4CBB-BD5C-8B7E02881ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$A057A9E2-D973-4055-B7B4-270AF7726AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$B6CC54D2-533D-476D-ACA9-357A7FD66DBF","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":"Q457251$4C86463A-B440-4240-8496-A3A54ECD024B","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":"Q457251$6249DD86-942A-4C02-A4D9-44EF377DCCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$1A220FA0-7F55-4004-AC82-3F171C2F1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$BFFD66D4-93CC-4FFF-BB70-065BB9DB53E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$780A2FED-C223-4378-A85F-E0F9B47D4913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e7049194d77f2ed70ddd16412a9384ab80a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":20771,"id":"Q20771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$3B2A380C-1942-45E9-9F7F-3A766AE725B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$A4609700-D1C2-45E7-8E04-9DD29D6E40E1","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":"Q457251$6A037E66-3184-41D9-BFCB-6A0731DC3CDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc95a7e6eb33d333195b626f6ba6665aa3a678e8","datavalue":{"value":"W2069520832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$26121665-8E35-4139-A28D-C8963DD41A25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"690d2e2fa3c40e1612ad82748583fec22cea8345","datavalue":{"value":{"entity-type":"item","numeric-id":5558293,"id":"Q5558293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$84A7CC46-6C72-4AE7-911C-2AAAE1988183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$B9456D37-7AC1-4360-8366-4D88E9AD9BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428857f19eba1179901f1e71bbb4e9ad627c9e33","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$DAED332C-786F-4F8A-81E6-E25A53CB228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3c4615ba14e9e1d64848fa6a059323c2eb559e","datavalue":{"value":{"entity-type":"item","numeric-id":3638088,"id":"Q3638088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$3AD0B8A3-DE1C-4AF2-8E9A-0330D73AEA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abe25c23c7294b52af126350df03ffdf3e84ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$29362FB0-9F8E-401A-A5A1-89B3B93B7C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7fdabd5a856f8e1d09080b76afc7309a50a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3637269,"id":"Q3637269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$B6296664-445D-4B07-81D8-0C7E6A28C46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cec4389bb8228dfd4a53d2a8cb72dac5e820913","datavalue":{"value":{"entity-type":"item","numeric-id":4916067,"id":"Q4916067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$8EE549A6-8CF3-4176-A3AA-B76A62DBEA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$4B421A87-FAC7-4D1D-85E3-6B539CA2D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5791757d6a8f1f47e64dc8fe7b53b7230387f4","datavalue":{"value":{"entity-type":"item","numeric-id":2989081,"id":"Q2989081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$5E1ECF5F-E41C-409B-A96C-1F5A3AF5A5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8bb214c79f9c234fe1a572197bf244cb0cda64","datavalue":{"value":{"entity-type":"item","numeric-id":457251,"id":"Q457251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$079901E3-6E26-49BD-81F3-4DDD01E7F74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$4972981B-BDCE-436A-908A-67E7FAED7C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$91048A33-2048-4A81-B4CF-F0EAAC3350DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$54D7A3D6-35BC-4EC0-B16A-B8F60BA788F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf05162eec571ab38a7d9d4b2736de8aa90a1e61","datavalue":{"value":{"entity-type":"item","numeric-id":3862958,"id":"Q3862958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$ED044047-B2C8-4237-9D11-597F8588BE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2305cd8258abfb26c7c6824ff1efbf28ed3e054","datavalue":{"value":{"entity-type":"item","numeric-id":1300080,"id":"Q1300080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$7F6E3D7F-A64D-4398-9CE5-DCCABD6420D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c62e5a36aa1e16bced33f90c0bf15448a031d","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$C95055C4-5B6E-4B01-9C22-8DDFD9173361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56606dcc7e135a01ca25efa147b2bee4fe3df84","datavalue":{"value":{"entity-type":"item","numeric-id":1869608,"id":"Q1869608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$7639C9A9-0989-4BD5-966D-0A29C5DF6811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$E4563352-12E7-439C-BE20-D4C2134CFF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457251$6A69A137-B44C-40F8-91CE-826C096B3AFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7baf78302a413e4ec4e4ad70b34a9ad920f36fff","datavalue":{"value":"10.1007/S10472-014-9409-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457251$530B5C1A-E79B-40B5-9DA7-C83EEF5B0A68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e5319ee06ccd8d09e8e734399035cb887e2525","datavalue":{"value":{"entity-type":"item","numeric-id":6060794,"id":"Q6060794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80eb0727dd448a3d8c6962dc1cb7b264aa53323","datavalue":{"value":{"amount":"+0.89294904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$2E444EDF-6D87-4729-A8CD-927AD763FB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7101fac4dce948a54ffb3ed14c3cba78ab8ceea7","datavalue":{"value":{"entity-type":"item","numeric-id":4209126,"id":"Q4209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0481a5b33c91187559e66da6f43158db8b72ee89","datavalue":{"value":{"amount":"+0.879785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$B680EB3A-6ED5-4107-9C09-0EEE1DBE2EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be7d031f8cc6aca2c091854837ffd1e20b0a28a","datavalue":{"value":{"entity-type":"item","numeric-id":5899158,"id":"Q5899158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c587fc39ade3e84c8cb5dd79306c94693e33ff03","datavalue":{"value":{"amount":"+0.87453914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$6471BB81-575F-4E91-BB7F-A18CE57EE63D","rank":"normal"},{"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":"f9484974451c52d94137b4909ce234bca42af319","datavalue":{"value":{"amount":"+0.8745318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$BCEF1CE7-C684-4D3F-B8AA-F179C6D77444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f244ef7a0c312aa0d79f670cfb9068f7d0a09ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5716901,"id":"Q5716901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5ba9e26ad04dfad1e5785339ab3784d58f13b5","datavalue":{"value":{"amount":"+0.8732867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$FD4EA630-45FE-4F9B-A18A-015E66901CB8","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":"96ac474f870673aba81b017f6e71bbc182692ab3","datavalue":{"value":{"amount":"+0.8633219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$C595A65D-CB37-4130-8805-7B11C16CEA47","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":"6a69f3a4c086c8d9685a54ba220ef47359e901af","datavalue":{"value":{"amount":"+0.862206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q457251$772A1A4F-2F94-4CCB-BC1E-AB46C90B81C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial function intervals for floating-point software verification","badges":[]}}}}}