{"entities":{"Q3612445":{"pageid":5642351,"ns":120,"title":"Item:Q3612445","lastrevid":50601002,"modified":"2026-01-14T12:59:06Z","type":"item","id":"Q3612445","labels":{"en":{"language":"en","value":"Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527184"}},"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":"Q3612445$EB3A3F55-F00E-42FF-BEE1-282BC1B6F042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aaf3478f89081aac9b926399e6f3301e4cb2986","datavalue":{"value":{"text":"Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612445$8BF14E5B-DC4B-42EE-83D7-E80A0CC7339E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1124248a5f5859481b037ac94d8d3d2bfa87361b","datavalue":{"value":"1178.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612445$636B8FE9-D9A9-4E50-85D4-6490454455E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c97707f87e6f8ddc40579b630706aa841abc4a60","datavalue":{"value":"10.1007/978-3-540-74464-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612445$DCF1CFE3-F8B0-4E2C-B0F0-789F7F431014","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612445$6CF369C2-8413-43D6-9958-AF6CBBB8BADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612445$85D2B833-8D3F-4CE9-8FBD-9B0547D2B236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612445$EA94C4D6-CC1A-4D7A-8539-BB9B39FA2376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612445$06B8FC35-2F85-4A18-9CC8-E9CAB0BC52EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf92c9f4f9e04b39fc604e20eba3e0159ee10632","datavalue":{"value":"5527184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612445$A1B83982-6AC5-46EE-9F1C-3E8750A71B4D","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":"Q3612445$34382494-DC76-455E-AC01-16B0F5713879","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":"Q3612445$6632D47C-C327-4D12-9A89-E039F444FFEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a8ba55adc8e209bb0780adb3e62950df59e5a72","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612445$3E5ACDED-7892-4345-96FE-E99295758F65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ff249d9de09af5bcc52234236c5ff374dd32813","datavalue":{"value":"W1483266313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612445$0B9003BB-0A3E-4D75-A207-E1A2F90FE187","rank":"normal"}],"P1643":[{"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":"74fd6d4e2cedca8931d61325bd7d0f0dbf2e4ae5","datavalue":{"value":{"amount":"+0.9510918259620668","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":"Q3612445$A627D277-70C9-4615-B436-FBEC811652BB","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":"01c82bb9a8e5ddb51b10e66503d8e21e654632e1","datavalue":{"value":{"amount":"+0.8622114062309265","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":"Q3612445$B209F854-A0BC-44BD-8700-4C18A032A676","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":"53044885f833fa2d47b50101a47fcafda34a6a75","datavalue":{"value":{"amount":"+0.8433690667152405","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":"Q3612445$120F64CE-B55D-4957-80AC-29858477131A","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":"c8bf049fa7b64cff5bcfe27feaa95b56447e54da","datavalue":{"value":{"amount":"+0.8198172450065613","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":"Q3612445$75A29812-205C-4694-8535-D68540AE86F1","rank":"normal"},{"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":"cd17163d0d3c40ee8370d3fe9c5f0aef141e1a61","datavalue":{"value":{"amount":"+0.8197109699249268","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":"Q3612445$4B1106AB-825E-4524-85E6-399991740852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612445"}}}}}