{"entities":{"Q1960529":{"pageid":1971271,"ns":120,"title":"Item:Q1960529","lastrevid":72031803,"modified":"2026-04-14T02:12:47Z","type":"item","id":"Q1960529","labels":{"en":{"language":"en","value":"An abstract data type for real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387430"}},"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":"Q1960529$B6122AAC-0435-4EC2-9F0E-2B102AE60BD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae71db86a2377788d427301b5a00e5f9a9d5e4de","datavalue":{"value":{"text":"An abstract data type for real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960529$F603D624-F1E9-43F4-A25D-2C15D81BB56E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f4573258ff7d1f4bf2a2064206e0b8d70175df0","datavalue":{"value":"0930.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960529$26946C56-F329-4055-B9A9-A75CE098B414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e22044a1f130436a48e90d15707179fbfa114eb","datavalue":{"value":"10.1016/S0304-3975(99)00036-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960529$4BD3AE55-F4ED-4296-B895-218CCE5512D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$7DED9FD6-D911-43FE-8E27-20BC8B3D32DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$43D5A85E-B721-48C1-81D7-0EBB94D85308","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960529$E81146B6-8BC3-4FAF-B65A-9C4602327ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960529$4EF129BF-1415-44A6-A242-3D7E3681E82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960529$6463042D-63BD-49F4-8B07-9B735FB64539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b995a604939647dfad66192843bf3597f550429","datavalue":{"value":"1387430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960529$9388DF13-9B7C-4874-A336-96B2ABDFFDC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa4cd0b32dcdce9a8b6dcba5d550f92025dc1e6","datavalue":{"value":"real number computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960529$FAACB3B7-AE9A-45CC-9E1C-84A60CFB6C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960529$02FF1A0D-ABF2-4896-A843-FFDFB4700D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e05c49639b88bfc9d01a2555ad5940def73770","datavalue":{"value":"denotational and operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960529$E26283AC-DD8A-4373-8CB1-88D4D2F5E894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960529$63BACDD1-F3EC-4440-8D48-97EE57442145","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":"Q1960529$05FD02B7-0EE3-4A36-8AD6-6A19753E754B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$B92C5109-3B62-43EA-98DC-F60A3079FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$A9BE4834-F801-4033-8340-DF14A06F6D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$B8756E95-A54B-4535-89A5-0C08C7A1741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c25af921c31c09fdc185b31dcdbf631d311a48","datavalue":{"value":{"entity-type":"item","numeric-id":5573970,"id":"Q5573970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$1453CA19-76D7-4F7E-866B-8413CF7C452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$AB6C5852-F34E-4EA7-89CB-B832CFCF142A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee50b9288e3b6ac4a55b631d0c5831292e111ff","datavalue":{"value":{"entity-type":"item","numeric-id":1923085,"id":"Q1923085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$E3343B6D-A128-45F7-8505-8CC4C0FB545D","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":"Q1960529$31D9D9E2-5791-4E2A-9D82-7173A910E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$6F0FAA3F-3B59-42ED-87D2-9E55D3600009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3d8fb3ea0608a30440ec139e9f2dbb425b2918","datavalue":{"value":{"entity-type":"item","numeric-id":3244109,"id":"Q3244109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$1B7B72CB-73AB-4C07-B8B8-7242459D0B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36e549f21acdfef2afbd2c4f9ac7a84fbac8c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3262213,"id":"Q3262213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$10F72AB5-0335-42F0-8027-4158087D2F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$F1FAB0D4-1297-400C-B798-4506D5DDEE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239ce8ec4e3b9429fec71841f77bb740f1b8c95d","datavalue":{"value":{"entity-type":"item","numeric-id":5831321,"id":"Q5831321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$5D747D7E-4728-4901-A689-D448E53AD289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$3F1AF500-9E73-468B-9B85-16DDEF0F6C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dce76ee25c91750fc4facff390b915fd7015c35","datavalue":{"value":{"entity-type":"item","numeric-id":4218119,"id":"Q4218119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$E8F43AA7-9447-4B04-810B-2DB4CB165F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bfa9457d027b12b8611c991f6cb0d8d00a14c7","datavalue":{"value":{"entity-type":"item","numeric-id":4286532,"id":"Q4286532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$7F078968-76A3-461F-A20E-E4D437F85F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$86416429-6281-4E8B-B878-A9267C0CAE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$2E1C3601-BD0E-42E9-A033-A5204CEE1C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960529$40455EEB-B670-4C3F-BC4C-C193AF4A3E7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e67cc0726aad393d3cd9b31048a85204443ad17","datavalue":{"value":{"entity-type":"item","numeric-id":4571945,"id":"Q4571945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$2FDE3707-0E91-4955-B890-759CD9707C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54b02a3d9edbd970f6031693141435f5e26e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5170818,"id":"Q5170818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfbca5f1b1a6ea3568900abce7f52db49df28c8","datavalue":{"value":{"amount":"+0.9417943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$46162190-6C81-4910-9006-ED11AC9FEFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1976b5524ec649d6ba1f89fb7f9fffc175a2e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2238151,"id":"Q2238151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0733690bd28fda0db39b0c7f736ef926c1665b7d","datavalue":{"value":{"amount":"+0.9131509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$A08D9EDA-42C3-431D-BD8B-2EFCCB8289A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9823eb58b9d983b49265a1eabba517371fe1b371","datavalue":{"value":{"entity-type":"item","numeric-id":3546326,"id":"Q3546326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ce6a179d2d4f1b623f94c4e18d6935d365bbe4","datavalue":{"value":{"amount":"+0.88166046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$4184159E-672E-4457-A88D-EAB36E184E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb677468154bf0451a3cb2f0db2dc792e286a57","datavalue":{"value":{"entity-type":"item","numeric-id":2237335,"id":"Q2237335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98ebac4787ac68d3f1cc62815ed3ece2a901abb","datavalue":{"value":{"amount":"+0.84626704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$1E3DF761-6306-46DA-9433-0DE29E6CDF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dde3e8736633afa5b85a9cf7e0b6c1ed7c337a7","datavalue":{"value":{"entity-type":"item","numeric-id":5089612,"id":"Q5089612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b972c64d8930a0f126cd04ac31e6743672725a","datavalue":{"value":{"amount":"+0.8427503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$BF02963F-B045-45CA-970B-B39E2DF81CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17c5e058bd74be626cebc186806005da95c5911","datavalue":{"value":{"entity-type":"item","numeric-id":2756020,"id":"Q2756020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d153df7b423cdb115e7f65585cf7e49b9a5cf40f","datavalue":{"value":{"amount":"+0.84002775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$C857B7E5-5CE2-4A77-BA21-FD5AC251781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8c89061bfe71fe903cf3a559ca8528d9eabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4536341,"id":"Q4536341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f370a778bc416dfd98778b48fdb12e93e10aa286","datavalue":{"value":{"amount":"+0.83603823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$2FE2767A-DC65-42B6-A21A-B1F37E43473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38abe3d5540c76bd108403bb256cd2ec450542f","datavalue":{"value":{"entity-type":"item","numeric-id":3026326,"id":"Q3026326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9182e3189275febd228196fadda267910d2ade7d","datavalue":{"value":{"amount":"+0.82221794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$2A244FFD-7BB4-4646-BB7E-2BB6EA1675EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35f3e048e20c0b152d3e96cae19622e1774d159","datavalue":{"value":{"entity-type":"item","numeric-id":2491212,"id":"Q2491212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f2015f5a4037e1c9854690e06f739e2519bf08","datavalue":{"value":{"amount":"+0.81578505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1960529$03D7EDE5-5C07-4AFA-8D75-9CA587AB5A92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract data type for real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_data_type_for_real_numbers"}}}}}