{"entities":{"Q1853641":{"pageid":1864383,"ns":120,"title":"Item:Q1853641","lastrevid":48035131,"modified":"2026-01-03T10:39:07Z","type":"item","id":"Q1853641","labels":{"en":{"language":"en","value":"Using PVS to validate the algorithms of an exact arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857149"}},"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":"Q1853641$E400FE8A-BFA1-46CA-B31F-16C1596145EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"100522e1304a9bf579ce73d5635cc9a701f54e39","datavalue":{"value":{"text":"Using PVS to validate the algorithms of an exact arithmetic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853641$133BB5C2-18CD-485D-9A2B-775DEF4E613E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"565dd69fba5277e4ca6a4662f9012a73c81c0eeb","datavalue":{"value":"1064.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853641$F45912D5-CA2F-4922-8DD9-EBEA155C06FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"592084f0561c90681fd8e563385c357dddffc92a","datavalue":{"value":"10.1016/S0304-3975(02)00226-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853641$97A96DF0-9C07-4FD2-A5C3-00EE9FBFB56E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed9c59c179682d09f1197e3bb6729b26cd488d7","datavalue":{"value":{"entity-type":"item","numeric-id":1853640,"id":"Q1853640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$027A26D4-CB00-4A3B-8725-2F6A7BAA59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7191134f319418d58727fd4a71fc323f51bc3b02","datavalue":{"value":{"entity-type":"item","numeric-id":714619,"id":"Q714619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$669A4059-6D85-4068-9D98-69F79A6B36D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$28DED857-459B-4649-82E6-2463D9B1745C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853641$C761EC81-9B5E-4766-8048-5D431241F187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853641$34CE83AE-F9CA-4D15-9F33-23F7083DACA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa38447e72720831833f5ccfb6c51e10037afcc5","datavalue":{"value":"1857149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853641$9DF70F61-C3E4-44CC-ABEA-D4196FCDB788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce7184dac00bb9d80dd839f0c33cdcb29a31c02","datavalue":{"value":"Cauchy sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853641$8AB6DB3E-5571-463F-A1D6-F7F884D4D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e53bfdaf4d70b5762274780293eaef06e9b78f","datavalue":{"value":"Computable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853641$F90327B4-D7A7-40A8-82FE-EC48B33D10FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c166c77611aa2e2f400f589410ff7ac39e5564b0","datavalue":{"value":"Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853641$907A31F2-2F61-4A54-85D5-BB883E6AA9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e087952b4ba1c5ce2f81afc1ef79d2a051b6bc0","datavalue":{"value":"Exact arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853641$CAE0C197-3A71-4527-967F-D11C9C70E3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853641$98D3CB2A-440C-4459-A47B-BE300625130E","rank":"normal"}],"P1463":[{"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":"Q1853641$96DDA565-D10D-4513-94E9-C0E09AB25C3B","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":"Q1853641$DB74A93A-32B3-4F47-BE8D-206F7D6C18C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"895886e691d85b3f1fd2f8a6af1b9616a7323e79","datavalue":{"value":{"entity-type":"item","numeric-id":3310597,"id":"Q3310597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$86CD2063-A0C8-49EA-88EC-66BE4E484714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36b6eaae6dfc992ccd22b5b3ac0b6ee10fd837","datavalue":{"value":{"entity-type":"item","numeric-id":3244108,"id":"Q3244108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$94C11876-ADB8-4657-8B01-6DBC15E91DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c2dccf4cbf242838d5aeb52c2e05bbf00d1672","datavalue":{"value":{"entity-type":"item","numeric-id":3765758,"id":"Q3765758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$60FA79D8-D25A-4A39-9B56-9ADC27D0C737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$94B6A1E2-6CD2-49C6-8F6F-62AF92C8D637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239ce8ec4e3b9429fec71841f77bb740f1b8c95d","datavalue":{"value":{"entity-type":"item","numeric-id":5831321,"id":"Q5831321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$355582DA-0F3B-444C-B731-F405177F352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d318228f65441ca495d80346830c66eb2424fb","datavalue":{"value":{"entity-type":"item","numeric-id":5805955,"id":"Q5805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$8D07929C-247A-4FEB-A162-86BF2A3B9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$C63CBB8A-5824-4954-965A-4FF70178D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853641$FD85E9D3-20FD-45AB-BCF2-995E1C75300A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f8ebef67abf9cc2fd8809fac112907e53de9bb","datavalue":{"value":{"entity-type":"item","numeric-id":714620,"id":"Q714620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b6dc0aa7f347257f74aa0c342a566df3b19008","datavalue":{"value":{"amount":"+0.838026225566864","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":"Q1853641$14028ED4-2C2C-4425-8C1E-BECF382E20FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8648fefe25b990ca49378b9d175a37f95f66e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":3543660,"id":"Q3543660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930dec50d296505ea5ac636cc693ba751d5d8b40","datavalue":{"value":{"amount":"+0.8306035995483398","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":"Q1853641$407F24EB-46C5-4A9D-B48D-8E59372DF456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ec37574923d2b25bb687a471797828c4972d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308359,"id":"Q5308359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3146411304f6408d9357b4953f59ccaa5886757","datavalue":{"value":{"amount":"+0.8205671310424805","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":"Q1853641$4087A764-2533-425F-9F8A-A051E3E26D4B","rank":"normal"},{"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":"9e2dc2b626900a89e20c2f607226bb58ee3ab455","datavalue":{"value":{"amount":"+0.789935290813446","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":"Q1853641$C529D7B2-2C73-4D45-8AC0-3D315A2D1F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645e7285e97418353d073a46d959bd25d23f75c4","datavalue":{"value":{"entity-type":"item","numeric-id":2945641,"id":"Q2945641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb60b75922eff0dfcfdbd72de081cc1667635d60","datavalue":{"value":{"amount":"+0.763475239276886","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":"Q1853641$2DD912ED-761B-4B9B-9D8C-9C1062788908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1853641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1853641"}}}}}