{"entities":{"Q1015372":{"pageid":1017220,"ns":120,"title":"Item:Q1015372","lastrevid":69822000,"modified":"2026-04-13T10:35:17Z","type":"item","id":"Q1015372","labels":{"en":{"language":"en","value":"Coinduction for exact real number computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552164"}},"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":"Q1015372$4CB1B177-C99A-4096-9013-68466AC13412","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e1c923eb63535eac368350d412ef8745aa695df","datavalue":{"value":{"text":"Coinduction for exact real number computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015372$1643CB0F-E046-4862-9740-56A55ACCAA63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf9e666f023450e2e4bc660d453b2dcd0e455362","datavalue":{"value":"1166.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015372$C8D74769-3CF8-4BAE-BCFA-81A4C99AF5CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$4857BD19-AD35-4E25-8DD3-D968057750B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91cd04223713bb79d0bfd97263ac717a9e07e86","datavalue":{"value":{"entity-type":"item","numeric-id":1015371,"id":"Q1015371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$73192728-5B6D-442B-84DA-41FC17FB981A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$E5195C45-4ED9-458E-8AEC-BD85FCA59F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015372$18E0000D-0176-4411-99E4-D39F02DD53D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015372$28C85F93-2807-4D40-B43A-6EE216C3E56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef0b175eb125c525cab18d364ecbc2ef740e75b","datavalue":{"value":"5552164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015372$3FD62A3E-25E7-4D1A-814D-85BEA1186A27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015372$6182DFB3-F28B-4CAE-BED4-9E10A70F158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015372$0DA317FD-19B8-4AF0-9743-7082324136E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015372$D0C90978-762B-4848-80E4-4C542C0E7EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160ccb468eda88bbb47d7d005144f0cfbcf3c8bc","datavalue":{"value":"signed digit streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015372$FDF63790-4EA6-418B-ADA0-2A5B8FEBE2AF","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":"Q1015372$4C78DDCD-B36E-4241-9A1F-77E12E2A3EA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7f9364e801ed52c487ff180a64c5f038b3583fd","datavalue":{"value":"https://doi.org/10.1007/s00224-007-9017-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015372$07188DE4-639B-4D56-A1B8-B578C4077CA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d44395171c2758f6589e195f881a82f9443a623d","datavalue":{"value":"W2048052240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015372$A2AA3B17-89DE-4EB8-AB18-4FFD98F8415B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7775af0dfcf78f0eb01b93b06a122479305aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":3431543,"id":"Q3431543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$1A0EA081-741F-49E2-A43E-F38CAEABCA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9535579de0a4982c9dc44ac0013ae83ec7474451","datavalue":{"value":{"entity-type":"item","numeric-id":2566066,"id":"Q2566066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$28C590DA-E21B-4401-9917-DD3A19810F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$F71C636A-CA2F-4CD3-968A-B090CE466FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d20bcfebac6a448ef8340db0231c73f600de2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$3F243351-2B0C-48E4-AE9E-53CCD0A8C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5fcbceeee9b607f3b8d5e4275e1fcddda82061","datavalue":{"value":{"entity-type":"item","numeric-id":4813225,"id":"Q4813225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$621141EE-BF58-4B39-9C9D-1547FAE1B795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ac30b4a0b29615d6466a5be35a3dd4d14406f0","datavalue":{"value":{"entity-type":"item","numeric-id":4222886,"id":"Q4222886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$BD97075B-56A8-446A-BCD6-9C6E8EBDEC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d622f130d5b9de31af3f36a90b122e03cee0a926","datavalue":{"value":{"entity-type":"item","numeric-id":5313105,"id":"Q5313105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$2ACE9AB8-23F8-4713-8EEB-3787EB59ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$E54D875B-4BF7-4FDA-9CC0-7F0D382224CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860531763d18ed387e21c0f98b8b16b88ef9aadd","datavalue":{"value":{"entity-type":"item","numeric-id":4002474,"id":"Q4002474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$CDEE1F41-2385-486E-8AAA-004CD89C945C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afd5d01d325e6477a6401ded12b1a584ba549d","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$B5539271-A521-4765-A453-52A664CF95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb047bff53960ca5a5ac7c15b57d3ebd2369ca12","datavalue":{"value":{"entity-type":"item","numeric-id":5717063,"id":"Q5717063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$F7D1983D-0B96-4BC1-8AC0-D1B347786BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ac7b9768e26567f7b34ff82ca0d703a766d8e0","datavalue":{"value":{"entity-type":"item","numeric-id":3612445,"id":"Q3612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$E256B33F-436F-4814-8371-44E5085B0AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$F4363D1A-CAA4-4507-A194-57DBDC5D2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfed27d2e10cdab9f385bf5c62183be1cbfe24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5898845,"id":"Q5898845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$C86ACA32-ECBD-4394-AE60-383DA8DD5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$E15F0E70-DC49-4026-ABC3-6924675171E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015372$096C5103-900A-4BB7-BD57-57AE6A8B009F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46571edb6c19f1038b5255ae73864ba88e8321a8","datavalue":{"value":"10.1007/S00224-007-9017-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015372$01CAAFBA-45EE-4D75-9EF7-9340112B8CDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8f8d931995eaca57c31014e4409fcbac4255c","datavalue":{"value":{"entity-type":"item","numeric-id":5898820,"id":"Q5898820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cefb1db95f58002a1765edcb766a9b2b4369ed0","datavalue":{"value":{"amount":"+0.9087138175964355","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":"Q1015372$7A414C55-0874-4228-93B2-8D4E168B030C","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":"0acbc0b9cddb0304a283bd0e10a163ad5e00df12","datavalue":{"value":{"amount":"+0.8740769624710083","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":"Q1015372$9BD8B421-A0AE-4FD7-82D2-76B5D1F2923D","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":"2961aa517d90039f19d73d48615e1c9a3110fff3","datavalue":{"value":{"amount":"+0.8642969131469727","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":"Q1015372$1E0C81E1-E338-47E6-8304-C4C5838D6C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85afd2b3561ea2818747e1775ff78ee754df219","datavalue":{"value":{"entity-type":"item","numeric-id":2863898,"id":"Q2863898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84e4384b3c8ba72bea069e39f1677bb76ffeb33","datavalue":{"value":{"amount":"+0.862295389175415","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":"Q1015372$404301FE-2FDB-4C42-BAF7-E8720EB2EDDD","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":"fa293c2e8d19d2d33a2a08941b2fb849fe8f2b88","datavalue":{"value":{"amount":"+0.8534572720527649","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":"Q1015372$10754941-1F68-4193-A456-29DD93C3D87A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinduction for exact real number computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinduction_for_exact_real_number_computation"}}}}}