{"entities":{"Q5458427":{"pageid":7487986,"ns":120,"title":"Item:Q5458427","lastrevid":41198744,"modified":"2025-04-18T23:55:52Z","type":"item","id":"Q5458427","labels":{"en":{"language":"en","value":"Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262480"}},"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":"Q5458427$58E6B9FB-D6BE-46FC-A186-AFD91EED4ADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9c2564648c85dc68e280953ab6823a4da6834a6","datavalue":{"value":{"text":"Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458427$B7C95B08-947B-4AEC-9079-A635F78F5A3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4353b4a2b23e88ded069f3ad689323068f67ff37","datavalue":{"value":"1137.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458427$D2090EF1-D1F3-42FB-B4BD-97946BF38EC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac4ceb1302ea18a94a1da4b75c169c4afd230af","datavalue":{"value":"10.1007/978-3-540-78969-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458427$0DA842B3-2B26-4994-9D14-8931D4425A70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75704a102175f9a28f385fb880913f201826e501","datavalue":{"value":{"entity-type":"item","numeric-id":3183541,"id":"Q3183541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458427$C1D1FF6C-5A7B-44B3-B97F-8FD03C33216D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458427$C4FACE21-2C70-4036-81EE-D55089F97780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458427$9472896A-94EC-41DD-8F41-7C11B6FAA85B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458427$59F54982-3AE8-49EA-AECB-2D9D7B7C68E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96793486261e3c66a61cb0908b9e5fe93ed554b5","datavalue":{"value":"5262480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458427$F15E8825-D19E-4217-B9DE-66DFB27B87A5","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":"Q5458427$A90E4C5F-DEB0-4DD4-B70F-740DCFA471AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0dbbe087f0255b4935e21ef5c165bf9c1c298337","datavalue":{"value":{"entity-type":"item","numeric-id":18028,"id":"Q18028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458427$55DB7A36-0B4A-497D-BB4F-D89875CF129B","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":"Q5458427$67D3A8F3-1CA4-4788-BC16-BC6B0D13DD4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562ca3a0d0ea4914f8d92ddaceec788dc77901ff","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458427$2EC9583D-90CB-4FDE-A051-B0BD1C4D55E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9bad3e92c91980f4b00c38ce566e5879938a61c","datavalue":{"value":"W4244511210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458427$D7C9CDE8-46B1-406F-8267-BA96BDB7DEA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3bd7c86e664803b17d11af62de53d281464acf","datavalue":{"value":{"amount":"+0.9136565","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":"Q5458427$1B804E21-E743-464C-8667-02C1320E7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35972ae61dc081a3614608bd04d82ea882ee1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f045225a1a8b5fbf50a74df980281092ea94b3c2","datavalue":{"value":{"amount":"+0.91189694","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":"Q5458427$CD8936EC-B862-4349-87CF-04E4B9C1A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15a471f7738a1b9392baf200b6dd58995712b84","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10813fb60fd741ea6fec5f539c4699a08a93bfbb","datavalue":{"value":{"amount":"+0.9093053","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":"Q5458427$892AFA12-ED1C-4748-A334-559C22C3E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3b90787de6e4590853f2984c0b9265ff453444","datavalue":{"value":{"amount":"+0.9027259","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":"Q5458427$11287EB6-D59E-4ABE-B221-726CC893C648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89723d43e84f901a0e433fd787870ba91d4c299","datavalue":{"value":{"entity-type":"item","numeric-id":2148797,"id":"Q2148797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f0802f8f5946b3608bdd74454763639ede0376","datavalue":{"value":{"amount":"+0.9006963","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":"Q5458427$1456DDD8-0423-42BF-9D83-9AFC9249EC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af17505890fcf697acbc5953200d897b815b184a","datavalue":{"value":{"amount":"+0.89520264","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":"Q5458427$8B810A98-D5AB-46DD-A2DD-995E9B512CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8570b53c061bb8e760410299465c633b887606","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26f40ae242e071a57eecb411523b175e41f38a5","datavalue":{"value":{"amount":"+0.8901913","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":"Q5458427$3E48DEF1-CF64-412A-9805-1F187E628A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15228657d37a97a642337cdf95beff22b06dcd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5013b51b28ab6dcdf8fbb031098ce8e8b352788","datavalue":{"value":{"amount":"+0.88600713","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":"Q5458427$E98113F1-0B5D-41C5-BDB8-11AE36F1A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17119fa99707250f6e81b2b09116b9dfdd9d9f53","datavalue":{"value":{"entity-type":"item","numeric-id":3612445,"id":"Q3612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31a70ee8dfd2778dc6bddee19d96c6b44f8f7a1","datavalue":{"value":{"amount":"+0.8823205","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":"Q5458427$B738F488-3F20-44F1-9F4A-B48862CF4126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a3030bc5e97eb12db073a37af432856e1abe89","datavalue":{"value":{"amount":"+0.88050586","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":"Q5458427$9CD6EA75-EAF2-41C9-8A6E-2737DC617A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458427"}}}}}