{"entities":{"Q1023289":{"pageid":1025137,"ns":120,"title":"Item:Q1023289","lastrevid":69628506,"modified":"2026-04-13T08:18:53Z","type":"item","id":"Q1023289","labels":{"en":{"language":"en","value":"A constructive theory of continuous domains suitable for implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5564230"}},"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":"Q1023289$B1A204C5-DB1B-475C-8B2F-6D5700691355","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d13bc5dbd0ffb2f6f38119af0b246d34fda964c7","datavalue":{"value":{"text":"A constructive theory of continuous domains suitable for implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023289$2E52D6C6-51E9-41F8-B474-197EF221002A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3648ee879ba0aa41785de7a7d782cdf79bccb201","datavalue":{"value":"1169.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$4080575C-9045-4195-9972-867A473724DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$552CAC4C-0316-4B88-A9BE-2EACAAF1D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25b433a8c44c51858aaad57fcba5dc1a179a7aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1023288,"id":"Q1023288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$6DADA641-D395-4086-941C-2975B74CA2C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$14A6F626-8F45-4577-834D-3916CB6EC3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"476bfa1eca806cbbd7c0c525c26fe211bba5b0be","datavalue":{"value":{"time":"+2009-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1023289$269BFA02-F01F-435A-9C58-B071F1DEADBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61587d5045bea945793864cd2ee78f5123bac39e","datavalue":{"value":"The paper presents a predicative, constructive approach to the theory of \\(\\omega\\)-continuous domains. The main example the authors are interested in is the interval domain consisting of all closed real intervals and its application to exact real number computation. They show how to present the theory in such a way that its realizability interpretation in the category of modest sets directly corresponds to practical implementation. This interpretation validates first-order intuitionistic logic as well as the extra-logical principles number choice, dependent choice, and Markov principle. Powersets are not allowed because they cannot be represented as modest sets.  Continuous domains allow to represent their elements as least upper bounds of directed sets of base elements. In the \\(\\omega\\)-continuous case it suffices to consider only least upper bounds of increasing sequences of such elements. Sequences are more suited for the authors' practical needs than general directed sets. The authors reformulate essential domain-theoretic notions and constructions in such a way that only base elements and sequences of them are used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$42A85B36-AF69-4870-876C-5931EF515BE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c5d386f57aab3b54b50d6532d400056ac21f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$80D7DBAD-589C-4424-BD78-3D7DE6F56A83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$8A56BE0D-A790-48D5-8896-BF4EAB1FAF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$1295E727-92F8-48B3-BECE-479D03230FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$61160AD1-2642-4823-84AA-90C50DDF79E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$FF008238-9EC2-45B2-AFC2-8484DFCEF145","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"662099e9c64f89e821e6e91a65f6accc8dbdf5a8","datavalue":{"value":"5564230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$60E38DAA-12C1-4443-9427-7172D520D1CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$A335E86E-EF6F-4406-A3C5-3ACCC28E811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$09B09FA3-D526-4458-B350-CCE635A0178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a043dc0bd89c785a45379faac952f0327f8f29","datavalue":{"value":"real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$4C04880B-D174-4D8C-82BA-B22CB96272BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$02A60FA2-3293-40AD-B3B0-9A78651EEA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c051c86b950972e3ca3d1ff14b3e5cf6f7dd4531","datavalue":{"value":"modest sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$D2700200-1A90-46D4-AB8F-A4E16CC3D5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023289$6B4CC141-5A5B-4EA2-B550-8E7AA424DB99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0fc5fe051378e5a736e0282825861e40f900b60","datavalue":{"value":{"entity-type":"item","numeric-id":14525,"id":"Q14525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$E6BB2B1E-105F-4731-B4A7-4FE6809A14A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0b499821f3ec8e09ffa8d9ca0d3af779a5b4920","datavalue":{"value":{"entity-type":"item","numeric-id":15844,"id":"Q15844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$2C582F38-4637-4EBC-BE8F-5FD5FA1B7429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c7eaf1f1f674fee56b8bc99c5be8be7dad6ac6d","datavalue":{"value":{"entity-type":"item","numeric-id":20940,"id":"Q20940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$CDBC1351-47BC-49D7-A45B-3D6B66DC3B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$18CF1C2F-1375-4BAB-9A21-9DD6D32CAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5138aa8b5d1aa4fce219e8bf51cff1589867ec5","datavalue":{"value":{"entity-type":"item","numeric-id":20769,"id":"Q20769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$1F51A552-7A1F-414A-98FA-07E5CCCD6571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$D137443F-5A20-4385-8428-9E702F8E13D9","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":"Q1023289$C9FB8436-6BE7-417F-AB6A-2A807C7D1C61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4762511d7c771eaee3a4b4496e5e3659ff1549b4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023289$91D150F3-FB9F-4079-AE60-D2E3E8A8CA56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d95415327bed147359b80859421dedf069c0988","datavalue":{"value":"W2014504638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$A121FAAE-F778-4748-A975-7882C300346E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$5B7DD6E2-F4CB-4F1F-AF15-46092FB498E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2069c6dced9deacdb5a8b239962591f3239c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4918049,"id":"Q4918049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$C02A782C-FF15-4F30-B9A5-DF360E5B5800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3319f248092bb0f68b64ff1019d98d12cacb759","datavalue":{"value":{"entity-type":"item","numeric-id":1210138,"id":"Q1210138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$F36B492A-A919-4D0C-9ADB-74985C5F5839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$ECD0D3CC-1DFB-407D-A6E3-B77F2D835BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$1499D2A2-E407-4DDB-A116-177387E4F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$10B36382-0033-4BCE-940E-CDFAAAD79249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf930e8955f41b6e03b2b78b18f4bfc53e6d71c7","datavalue":{"value":{"entity-type":"item","numeric-id":5394594,"id":"Q5394594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$5CF5A679-FF1B-47DA-96D8-162BD88B764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8021220d3e1bda5c7491fabbc0db33740422837e","datavalue":{"value":{"entity-type":"item","numeric-id":3431545,"id":"Q3431545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$8E705078-806E-4A81-8F89-219ED35D60C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$1077DCBE-D905-4F90-918B-EF05E63E56F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023289$FB128520-97E4-4D4D-907A-117A1B1E6DC7","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":"Q1023289$BA619BC9-465B-41E8-A27C-97C2E53A1D6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0716ee13258f4addfa6603e8a1648da76bbb22f0","datavalue":{"value":"10.1016/J.APAL.2008.09.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023289$8ECC66D3-7FDD-4CC0-983C-60C1D31BF60A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656c6c156615a60d13a9d30b7c5a2779a494e609","datavalue":{"value":{"entity-type":"item","numeric-id":5856423,"id":"Q5856423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a00fa7f05701c020137571dde30d8b1dad264e","datavalue":{"value":{"amount":"+0.8319425582885742","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":"Q1023289$6EAF8C5C-A375-4AFF-AEEE-DBFD41EE9480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37afccd96737d09e1db387bb7ca9b630c33463c1","datavalue":{"value":{"entity-type":"item","numeric-id":4260387,"id":"Q4260387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f50bfb8e779b95258a488f81138eb195113121","datavalue":{"value":{"amount":"+0.7961983680725098","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":"Q1023289$A7F38CAB-2EFE-4B79-B704-B7E0500F5ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75969d8620760d169e893ebe76042932d41105a4","datavalue":{"value":{"entity-type":"item","numeric-id":1923085,"id":"Q1923085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057d8b7b7a437d2dc855e8e4b6f17f256aff6ad5","datavalue":{"value":{"amount":"+0.7814489603042603","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":"Q1023289$ED17D155-4138-4995-890A-CE062442EAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945e11aa34eb3bf89fb8a759f6133c32ac12e928","datavalue":{"value":{"entity-type":"item","numeric-id":1274807,"id":"Q1274807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f371070f9bf39fd9c91deacc538f5deb7047e15","datavalue":{"value":{"amount":"+0.7556509375572205","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":"Q1023289$CB012775-87CB-4597-96E9-C3F2729B0367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ba39b691ed29a5525353f43f7f822722e605cd","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5bd48ce5402e4a63882ad45060fe2297f0f2d6","datavalue":{"value":{"amount":"+0.7542278170585632","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":"Q1023289$3A9B0F54-F976-4E27-BA89-CA8B5D1E3DA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive theory of continuous domains suitable for implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_theory_of_continuous_domains_suitable_for_implementation"}}}}}