{"entities":{"Q4989402":{"pageid":7018979,"ns":120,"title":"Item:Q4989402","lastrevid":55385626,"modified":"2026-02-17T15:15:56Z","type":"item","id":"Q4989402","labels":{"en":{"language":"en","value":"Logic for exact real arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350773"}},"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":"Q4989402$BBCBDEF0-85CA-4D66-BF1E-04CBC5EE3E75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$32944BD0-EAE6-4F46-9F4C-4609AA7D02C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757580f4af603b194f494f14abfd0db26bebb99","datavalue":{"value":{"entity-type":"item","numeric-id":2117811,"id":"Q2117811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$E53DC5AA-3B43-4F9F-BB2D-FE03FFBAB9AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989402$4447EF4C-5B20-4E71-ABAB-8CA21ED16C06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05e922f8bad54e623b287d7dbca249e6087c7330","datavalue":{"value":"https://arxiv.org/abs/1904.12763","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989402$5C6E4F91-D553-4157-A4FE-5D434C0BFBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"82cf20b3157fee4f28ea62ef3f36c93f091c71e7","datavalue":{"value":"https://lmcs.episciences.org/7383","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989402$5F081DAE-CCF7-49AD-8AE1-F599F81DAEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989402$23A96DD1-98E3-4C50-8546-7AB0CD27F369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989402$070B72C5-4FF9-4025-A2F8-0E2F10AB84E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf6c599a2f29a1a223aeed7813b81a921e885289","datavalue":{"value":"7350773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989402$CE09628E-1136-4AED-BFCE-D6F603474C1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b22b0e1cb438e4c3769738e2d394f5479a22a9","datavalue":{"value":"signed digit code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$ED55259A-6FC1-407B-9823-4778FE56CEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a043dc0bd89c785a45379faac952f0327f8f29","datavalue":{"value":"real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$C1CDFCE8-A9E5-4D7B-90B1-AE85431EEAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8809f1e562906e65a7283f10222538470362ce","datavalue":{"value":"inductive and coinductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$CFB8904D-1FF0-42B0-9FF8-DDACCD8C236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$37E73E95-977F-4416-9320-84D0EC6A222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$43E6DCA3-35BE-4962-A27D-FD67D5CE1169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989402$554E051C-B3E4-478A-8D5A-121399A68C3E","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":"Q4989402$19717BDB-A387-40A2-8F5E-613157CC3479","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$F373A8D8-2D6E-43B6-88A9-440CED36CE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff636533b987e234adc4fd4061c37871085914","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$4E05C84E-4132-46F9-AC41-2CE3122BF585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$436EB753-0F5E-43E4-8CB7-07588D112681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c6305c0bd1610e43fbce2edb114486765afdf8","datavalue":{"value":{"entity-type":"item","numeric-id":5221791,"id":"Q5221791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$FC5CC87B-E9AE-4B48-B0CE-AC856F594C95","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":"Q4989402$A824FFE5-DEB3-48BD-8C9F-C2E3D6E39FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e536f1d75671c630b57baf1808e70ff2faf238","datavalue":{"value":{"entity-type":"item","numeric-id":3863873,"id":"Q3863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$86B4E5A2-4CFB-4F95-9C44-FB4982512E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$7925A6C6-BA24-4488-8709-69BD1305C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219c19060d650a9999c98f160944bc10981d081","datavalue":{"value":{"entity-type":"item","numeric-id":1960529,"id":"Q1960529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$C72A1394-0184-45B2-A6EF-F57E4636EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$B49E090E-46D4-4631-9E82-0E933E379853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edca5f1b7cbe413037278593fddcc0fdab39989","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$6CF32D46-B813-46EE-B56A-CE045638788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$C1FECF64-AA9D-4D60-9CB3-A6022F429E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e004f1af40a576624071e73fa924df0213321","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989402$96BFB21A-211A-4466-A41C-45A63DBAFDC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c1cafc0f6daaee7f9b6c9aab2033b393f08dbf","datavalue":{"value":{"amount":"+0.870430052280426","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":"Q4989402$C4EAC8A3-9D2B-4916-A28B-D51E3AAF0322","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":"a75ef368d7f91f4602b50721bbb928f2ed618171","datavalue":{"value":{"amount":"+0.8590766787528992","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":"Q4989402$638BBB7D-8A04-4924-AA3C-2B18FD5F42C4","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":"7de99e4e225d7513c08e55cc32f487d71d3dad7c","datavalue":{"value":{"amount":"+0.8587597608566284","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":"Q4989402$4C7E325C-FD07-460A-B0FA-53420ED13289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bec7a8ad1d9f744be1bb8422fec8fe2ef4da29","datavalue":{"value":{"entity-type":"item","numeric-id":6111737,"id":"Q6111737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012647a42ec26e738de543b3af2ad5fae4140c73","datavalue":{"value":{"amount":"+0.8475755453109741","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":"Q4989402$719707B9-FE7C-463D-AEA7-217B6893AC9E","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":"daeac86b4dae5393c8fa02420b74879996fe0582","datavalue":{"value":{"amount":"+0.8456946015357971","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":"Q4989402$58B7989C-5F54-48BD-93B8-41F7776E1EEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989402"}}}}}