{"entities":{"Q59052389":{"pageid":58961018,"ns":0,"title":"Q59052389","lastrevid":2451194744,"modified":"2026-01-04T08:42:54Z","type":"item","id":"Q59052389","labels":{"en":{"language":"en","value":"Robustness Analysis of Floating-Point Programs by Self-Composition"},"nl":{"language":"nl","value":"Robustness Analysis of Floating-Point Programs by Self-Composition"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2014"},"en":{"language":"en","value":"article"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2014"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"fe5ccf5f2cd8a74137b9ac384d9bf09a22b9f793","datavalue":{"value":"10.1155/2014/789213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59052389$9B666367-ECB0-44A2-8BD3-BB11F0FCFA1D","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59052389$159E7806-0F1D-4EBD-B511-01C91F76D340","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"284be1406013862053f21a79f08610532cf5a78e","datavalue":{"value":{"text":"Robustness Analysis of Floating-Point Programs by Self-Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59052389$32EFFD34-A347-4D4F-B4B1-A5498E7A99C5","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"21cf7f5ecc410843837cd227a22bce4af86a1039","datavalue":{"value":"1-12","type":"string"},"datatype":"string"},"type":"statement","id":"Q59052389$ECF19810-0492-4B53-AC3A-5EF1A50390EF","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"169a3ba696f937f41537016fa57cabfcf5c99e44","datavalue":{"value":"2014","type":"string"},"datatype":"string"},"type":"statement","id":"Q59052389$E9708B69-46F1-4582-9DB4-9AF217FDF525","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"778036c94bcd494bb7efdf84b69d7acef1d1dfaa","datavalue":{"value":{"time":"+2014-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59052389$EB721FF9-C8AD-48AE-90CF-65A1A5D6B1EA","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"45fe8f212bb20d971c37841610738af8dfd0c2e6","datavalue":{"value":{"entity-type":"item","numeric-id":13359509,"id":"Q13359509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59052389$284C491F-D864-4CCD-AE08-3DE57EFD7AA8","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b31265d2ed46fd57d8497211b5d6121345b6f0d0","datavalue":{"value":"Liqian Chen","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59052389$10954457-BD08-4E2B-AA5D-8951F7A75A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"4d8d3dec6bd65e79eaa2c719c1ac31335b99caf8","datavalue":{"value":"Jiahong Jiang","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59052389$44D2E51F-04E7-4D8E-B4C2-A03396F4422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"e5b17402cf29e88bd8b8ec28d6623e270e60f072","datavalue":{"value":"Banghu Yin","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59052389$83BD2F0B-A444-4900-BF10-B74359C7459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"04665c6441aef9e3ee796ca97aa41ec0e37fd574","datavalue":{"value":"Wei Dong","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59052389$147AC027-E348-437E-8CEA-5DBB8BF7FB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"65e9d0d46be12cdd1ae05cdf2a8ef67763748bb8","datavalue":{"value":"Ji Wang","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59052389$B4E9DC6A-79DD-4688-ACDF-7081D41BF84A","rank":"normal"}],"P2860":[{"mainsnak":{"snaktype":"value","property":"P2860","hash":"079c48232e3e6012559bef6b5461eb1fe75c1782","datavalue":{"value":{"entity-type":"item","numeric-id":54262923,"id":"Q54262923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59052389$5BB37609-9EB3-42B4-B33B-57667FFC1A02","rank":"normal","references":[{"hash":"70c555dc36e0b481fd51ac030e1cc43a75a27493","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"3ae75a8ab20c07350df95fa234261d44bb376400","datavalue":{"value":"https://api.crossref.org/works/10.1155%2F2014%2F789213","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"dba49fcbad682779c10f7d99138071e4b8ee9dc2","datavalue":{"value":"journals/jam/ChenJYDW14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59052389$2B605BBF-9BD4-40D5-9BA4-0FB73F57B425","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P275":[{"mainsnak":{"snaktype":"value","property":"P275","hash":"079171cc72edf939cc43c28db72cff68862260f9","datavalue":{"value":{"entity-type":"item","numeric-id":14947546,"id":"Q14947546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"968e019b081e725cfb68d26728a181db7f1b444e","datavalue":{"value":{"time":"+2014-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P580"],"id":"Q59052389$4785C06D-0509-44F6-AEAD-79F2514140F9","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P6216":[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59052389$E229B36F-D5FC-4675-AC4A-290FFA68F56D","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59052389$A063431D-371C-49FB-8D78-15E24A1092F3","rank":"normal"}]},"sitelinks":{}}}}