{"entities":{"Q2863898":{"pageid":2874618,"ns":120,"title":"Item:Q2863898","lastrevid":42326666,"modified":"2025-06-08T13:19:07Z","type":"item","id":"Q2863898","labels":{"en":{"language":"en","value":"Coinductive field of exact real numbers and general corecursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235761"}},"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":"Q2863898$07616502-B10C-4F5A-B30A-55B6F819BE69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcfd394b5866e8276bbc5cebcb791ef1ef96c573","datavalue":{"value":"1276.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$19C4161C-425F-48C9-843F-562A5615B144","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":"Q2863898$3789AF9A-7CE0-4D1B-8982-42120B8EC8B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863898$BB234A02-20D7-4A89-B1EA-6022ABAC975E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98a2f86cb87b9f0afa5503b0ad8dd54e6ff6d5b3","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004737?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863898$5BF29073-D4B8-4110-9D99-9A386889B8D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$20E49080-158E-4868-BA39-B81C7BDAA90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$B39331FF-1571-41A2-9716-6766EB16F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$D2609634-240D-41EE-8F2F-7AC0941374AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$CC17B9A0-1624-4FC0-9E09-0BB957F9CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$F202C72A-26B7-4A15-9A11-9A96A3EF5410","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6f3222186e51e2e57b358aaedaebce647bfd5a9","datavalue":{"value":"6235761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863898$6CE5CA4E-9099-497C-82EA-FDC9A7961337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863898$DEBFB4CB-BC4B-4683-9E36-67EAFD916115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68e78acfd8da85726644b8041d98f4d34edab34","datavalue":{"value":"exact real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863898$C0200823-054D-4886-9AB7-E3605F2159F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb0394663d60b185ab05018ad8c7f11725d0dea","datavalue":{"value":"general corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863898$E90F2663-5C51-4A5F-A4C1-85C2EA836FB7","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":"Q2863898$B6582684-A092-4163-A8EA-4EE0B6B705E1","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":"Q2863898$1A34CB7E-AEFA-4BC6-96F4-37D6C93FC29C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad4c053fd4fe39c501b9b259118832ad25383ee","datavalue":{"value":{"entity-type":"item","numeric-id":2766803,"id":"Q2766803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99759c03b4a28f950b4691763c73825449e03b9","datavalue":{"value":{"amount":"+0.9091183","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":"Q2863898$36C3F988-3CA1-4D63-B77D-52AFF7B67A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57b827cfa1b0779f2065db0f2675dd90878f16d","datavalue":{"value":{"entity-type":"item","numeric-id":4590870,"id":"Q4590870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4720d9f3ddeab7fd16bbf146be38d805cf19ca","datavalue":{"value":{"amount":"+0.9061287","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":"Q2863898$8249A2EF-09E1-473D-B490-503DF2901823","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":"f5cd8caf8468b1df405c61964d1716e25988242d","datavalue":{"value":{"amount":"+0.90230876","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":"Q2863898$1C8AD0EB-1037-4DD6-A68A-93A00A909869","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":"1369d43711489caf05b3eec2178198f93ae3e94d","datavalue":{"value":{"amount":"+0.8982315","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":"Q2863898$48BD783D-A3A2-4660-B283-70B9A5697311","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":"eda1fb5dcbb78170388233b7dbcb46483947b033","datavalue":{"value":{"amount":"+0.88746196","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":"Q2863898$989F4B25-1CCC-4952-97B0-F3513C7516B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82c0eecf42b47cff6f33826f791505c22f670ad","datavalue":{"value":{"entity-type":"item","numeric-id":4736391,"id":"Q4736391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8a788221b7e13a1c2d8cc8f61d150b25f3e1e1","datavalue":{"value":{"amount":"+0.8804492","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":"Q2863898$1F102536-55BC-4AC2-A799-A14CB9B74540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be1489dce929a6dfcbd97f2c4979c47e71d4750","datavalue":{"value":{"entity-type":"item","numeric-id":4317826,"id":"Q4317826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fb5b6097e0b24717a4f779c87e27ac6a252fdf","datavalue":{"value":{"amount":"+0.8777084","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":"Q2863898$ABB210B8-E708-45F0-B8CD-F12DCC3E4044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f309bb1cad5ffd9514573d50fcf062aa206df7","datavalue":{"value":{"entity-type":"item","numeric-id":4531092,"id":"Q4531092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e878dd08ca73be9e7a69f38142403939e3ff0","datavalue":{"value":{"amount":"+0.8770221","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":"Q2863898$039AF891-95CA-4D2D-A5A2-6AE82F0E2A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e886b0f60ff720c8ff8d0dd79c516b5bd8ae619","datavalue":{"value":{"entity-type":"item","numeric-id":3026996,"id":"Q3026996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63595d9a75017d43b72f5de383feabdc94a24cbc","datavalue":{"value":{"amount":"+0.8695864","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":"Q2863898$83EF3CF1-2111-42BF-A1FF-F99C36E7A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4673643985bc4040a7c4b0876356414ee1c44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4723788,"id":"Q4723788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df5efc3c5e359a77c4d7619ee40ad26f2b06e5d","datavalue":{"value":{"amount":"+0.86935085","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":"Q2863898$F04FE7DE-61B3-4248-B5F0-59981A630574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bda118946aa605f9b1f1ba642b46a1bf46dd594","datavalue":{"value":{"text":"Coinductive field of exact real numbers and general corecursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863898$E5A083CD-F163-4862-B71C-CC8586108D35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863898"}}}}}