{"entities":{"Q3535611":{"pageid":5565515,"ns":120,"title":"Item:Q3535611","lastrevid":50492672,"modified":"2026-01-14T04:58:27Z","type":"item","id":"Q3535611","labels":{"en":{"language":"en","value":"Coinductive Formal Reasoning in Exact Real Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365478"}},"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":"Q3535611$B8382D4A-7E99-45A0-8E8F-3D2A245B8095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"588101e83f1c3a34b366da0889496b512af4107a","datavalue":{"value":{"text":"Coinductive Formal Reasoning in Exact Real Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535611$3A5D925F-BA1F-4495-B688-97B4BECEABE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7465392a27b3cf01a1381061c4f4e82c0fefe10f","datavalue":{"value":"1147.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$0A018D72-031F-46CD-AFCA-958D9BCAA4B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d4a1b03ad7eebe9efd177a466385623f7cd598","datavalue":{"value":"10.2168/LMCS-4(3:6)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$B7574336-90EC-4FB1-8B60-F8A5204C129A","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":"Q3535611$29A7E4E0-2ACC-441D-AD18-AC483F47E02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535611$BEAAEE59-8C25-4526-BF2B-88E85A6662BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535611$1162CB5C-D625-4412-8A4E-976C77E02EC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$ACC25859-39EB-4CE4-94BD-27A73B9FB078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$A90CD3BC-19D2-4C17-B650-231A381510BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$A19FAB5E-97A5-4434-B9ED-476D97A2F603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$16308FA4-D3AA-4910-890C-A45F0E70EC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$C79B8863-8597-4603-A24B-1715198E8503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8192ad2515a95d1e837e46f609df3c6760e4b0c","datavalue":{"value":"5365478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535611$40394C54-3851-405F-AB31-34DD3BF8F2BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$76BE8E08-9A57-48A4-9C23-A2F0947A080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd978271ac835ea5c73a18a3bc326458f79b5911","datavalue":{"value":"lazy algorithms for computing homographic and quadratic transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$A0883C66-2720-4967-AF5C-0C2814B12F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ed1d6a4c9c9fc021a3c9793c75092f743cee45","datavalue":{"value":"field operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$8A4B3998-7484-4EF0-BACC-FC0F56A6E30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a1c391b2e6bf490c767825b76b269c6cab0d50","datavalue":{"value":"representation of real numbers by coinductive streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$56FA3338-AEC6-4896-95A6-622F29D5D9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965e2fc7e530177edab9a2b750c48f54f14f41a0","datavalue":{"value":"M\u00f6bius maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$06A941E5-9B19-4BC0-AAB6-69839FBB7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a808cd6303c6fce4976900f3ed91f150bc1a4e4","datavalue":{"value":"Edalat-Potts exact real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$72B6A4D2-EC9F-4437-9BC6-C54875245575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$2677A26C-91FA-4E1A-9D7D-E9F97328C54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521396a8cbee009103f20d29708cebabc45f0a7a","datavalue":{"value":"Coq formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535611$34DB0201-A4DF-4762-B758-1CF0CD070153","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535611$B6EE3CAE-EB8B-4C39-916C-335BBC584BCB","rank":"normal"},{"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":"Q3535611$36F4FACF-63D0-4E52-9DF3-EEE15AA893A7","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":"Q3535611$3B91396A-F16D-4798-B5BF-9AC2CF4D20AF","rank":"normal"}],"P1643":[{"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":"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":"Q3535611$04F83486-EA3B-4704-A392-DC10F2D8EDEF","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":"7d86a8bcdda9964ce584be4b37a5459b151052ac","datavalue":{"value":{"amount":"+0.8691000938415527","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":"Q3535611$E34BD0DB-108E-4840-8EA3-253701DD9219","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":"f3ed1d9648a454230d2d4193f9903c4328be760d","datavalue":{"value":{"amount":"+0.8656569719314575","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":"Q3535611$DB47E9E9-CF37-4BEE-9F7A-A91E6ACE4996","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":"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":"Q3535611$A187061E-1693-4DA6-97B1-025041D46DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb137bdb1747f02c193fec003e3fcc828e790bf","datavalue":{"value":{"entity-type":"item","numeric-id":5717063,"id":"Q5717063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10521aae61c3340a506859eceee4cfcd6e95f964","datavalue":{"value":{"amount":"+0.8573774099349976","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":"Q3535611$671911CE-9AD7-4D5E-AAE2-0CB8E6028274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535611"}}}}}