{"entities":{"Q536037":{"pageid":537804,"ns":120,"title":"Item:Q536037","lastrevid":62569971,"modified":"2026-04-11T06:59:21Z","type":"item","id":"Q536037","labels":{"en":{"language":"en","value":"Complexity spaces as quantitative domains of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5888190"}},"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":"Q536037$584B0F03-B99B-4493-A2AD-8AB1EFF0FEA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d5d888104ed778409157b8260d07ecd8878b2a","datavalue":{"value":{"text":"Complexity spaces as quantitative domains of computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q536037$BBBE941E-7FC2-4654-A949-B2BD65AD61EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"859548fb5b09922316357b47633d4ea3cafaff46","datavalue":{"value":"1233.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$7F1477FA-088F-43EE-900C-77FC6A5DFE02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$BD26AF2A-3737-45FD-9426-1A392658C79A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cbf00e44216134987f6bb7aed9696496702f7d0","datavalue":{"value":{"time":"+2011-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q536037$D5EC852B-7758-43CE-B95B-A4F3AFABF707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd5aaa8274897720f3b2e85a981ca3d37f2ac87e","datavalue":{"value":"http://hdl.handle.net/10251/48240","type":"string"},"datatype":"url"},"type":"statement","id":"Q536037$1218F31F-4EA4-402E-9C57-6D7952AC0FA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69515d19233b45cc338879923354c0ed9114f531","datavalue":{"value":"Complexity spaces offer a domain-theoretic platform to talk about issues of computational complexity by exporting order-theoretic and topological tools. This paper in particular addresses the question of the extent complexity spaces can be incorporated as a quantitative domain. Two classes of complexity spaces are given particular treatment here: (i) pointed complexity spaces, and (ii) the general complexity space. Pointed complexity spaces are natural as most comparison-based sorting algorithms already satisfy the well-known \\(\\Omega(n \\log n)\\) lower bound. The important starting point is to pass to defining a quasi-metric space, and to define an order-relation on the complexity space. This initial approach fails to yield a domain structure since continuity fails, though the underlying order is a dcpo. The nice point here is that once we restrict ourselves to the pointed complexity space with a certain lower bound \\(f_0\\), everything falls in place. Importantly, the pointed complexity space is an \\(\\omega\\)-continuous domain for which the quasi-metric induces the Scott topology. In the perspective of quantitative domain theory, the structure of pointed complexity space has the desirable property that it is a quantifiable domain in the sense of M. Schellekens and a quantitative domain in the sense of (the late) P. Waszkiewicz. Readers who are seeking the connection between the theory of complexity and domain theory should find this paper informative and elegant to read.","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$8801F04B-4404-4973-B0B2-8277A40E6A62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"055eb807450fbcc3693693c133b4a59b6a197408","datavalue":{"value":{"entity-type":"item","numeric-id":276428,"id":"Q276428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$FB373E8F-222A-43E2-904D-8F08A201E498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$1A2DA64A-5E81-4547-B02F-94AB4CFFA054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$EB5D6D0F-627F-4472-94AD-EB7DAA103A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$C5EDC676-3818-47B6-B4EC-029F508B1AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b789dec547f3251867706282b82b8253ea0e9f50","datavalue":{"value":"5888190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$6CD17352-F2B7-4044-A890-4EA9E8579132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75eb9ee118f310214bc5b6d41f778512e5acd047","datavalue":{"value":"complexity space","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$7AA801D1-F8C5-486F-8502-9897EFB21A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ec29f11d28ba7926b30cf3f7b993fa93cab152","datavalue":{"value":"pointed complexity space","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$2CE0409E-F90E-4927-9EC9-C14CCB295D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e157d64b15cf1ce9a1599afd7bd66343125d2f","datavalue":{"value":"continuous domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$B6E696CA-2528-4F74-9604-4F5D6C153BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7f39c8debf87bbba511ff51ddf6213b6d80d61","datavalue":{"value":"Scot topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$D2928BCF-22A2-42B7-9C9E-BF4A97527952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1cf5fa46b4ce4bbd3a186bfe48981fa3624467","datavalue":{"value":"quantitative domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$882B724D-35A8-46FD-83EC-5717E38A7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q536037$0392E438-FBA4-498C-BB51-9E285E40A702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0086a0074bf9d0ca5da7baecd3f9c993c7842dee","datavalue":{"value":{"entity-type":"item","numeric-id":269978,"id":"Q269978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$23F137D0-F928-46A3-A2FB-3B7ECABB60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7988397429f17d4ee6b9a963dc315fd2a40b7896","datavalue":{"value":{"entity-type":"item","numeric-id":818424,"id":"Q818424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$936A81B6-9E71-471F-905F-039DD81AB342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61dfdbe28352e39273102969764010e51381382a","datavalue":{"value":{"entity-type":"item","numeric-id":266306,"id":"Q266306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$7296F336-7547-4A5E-83A2-5EA50D810DA4","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":"Q536037$68E81474-7051-4540-BC7F-3810B27DA331","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8d232ae809e3e7edcbb4c95296976dac70d0029","datavalue":{"value":"W2081459260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$4ADF9AFE-42C4-4F22-A960-10B8F75C54E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a045e4eacd36529c56afa54eab4e20f5269881f","datavalue":{"value":{"entity-type":"item","numeric-id":1127525,"id":"Q1127525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$61B50047-250F-4212-BADB-9C750CA65438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5021689749d19ca51759ba0b6ad0505b104eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1410069,"id":"Q1410069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$C7780814-B6E0-4F74-9290-2D2FF61FC7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd4653408a5a44ec1d23ff363de166c8daa32ff","datavalue":{"value":{"entity-type":"item","numeric-id":947570,"id":"Q947570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$4EC1D8DE-2EE3-4FAB-8246-621A2AC3653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$857E0E17-7DBA-480F-A66E-C89ACA8023E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b6809fdb994c3dbad10a8d9d4c66bcb1679c3d","datavalue":{"value":{"entity-type":"item","numeric-id":1306708,"id":"Q1306708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$1914DEE0-DFF7-441E-9E5F-324AD886C636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$429C26B1-F032-4BCC-BC4D-6282DBDEB6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ceddc6d2830d4bb389e15649e9a7d640a12d4","datavalue":{"value":{"entity-type":"item","numeric-id":3618612,"id":"Q3618612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$B2AD7B83-60A1-46F2-A546-6827F151CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2bc1544c590c17526d3e66dbb693ecff0e8af1","datavalue":{"value":{"entity-type":"item","numeric-id":2754138,"id":"Q2754138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$43F4D1D4-59F2-423B-B0C6-57434E9204F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243ed6f1bbf9fe5996d19f8f7f1b87de1e93d7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4228829,"id":"Q4228829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$62F97AFE-AF36-4735-BEFC-683902470DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a8d813fd4a33b39000e97f58966abe7a913630","datavalue":{"value":{"entity-type":"item","numeric-id":1807591,"id":"Q1807591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$D40B41E9-2D40-4569-8462-6F93CD9E7D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d12c98c45dc5320bd7c4c450a21121d882cde0","datavalue":{"value":{"entity-type":"item","numeric-id":4806538,"id":"Q4806538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$7E285EB0-6E5F-425D-89F5-B0E52D786F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c1953ded62ac16f1459aa52d0b94456789c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3008383,"id":"Q3008383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$B1C57E96-975E-4278-8DFC-54D601992733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab36dbce352eaa2fa3461af7c8625754674d8d83","datavalue":{"value":{"entity-type":"item","numeric-id":5459746,"id":"Q5459746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$B6743289-9132-4044-B931-34C4D51A59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1860b5bf7a6b48f8162debf522f1bcecb21b2cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3636910,"id":"Q3636910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$81DA49F2-8872-43EC-BFD7-CEA97CA795F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006b8adecb513622090da5fdb35cca1c10fb27fc","datavalue":{"value":{"entity-type":"item","numeric-id":4222778,"id":"Q4222778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$3B38CB1B-745E-4FDC-9044-7088A8FC6061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b950a648be7eb8df8a4837bbe3c43990db57828c","datavalue":{"value":{"entity-type":"item","numeric-id":1427788,"id":"Q1427788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$A198AFFB-CD66-4B25-8DCA-3D9FABDC0903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f507ba3815c116d5221ab86a499dac690feff7f0","datavalue":{"value":{"entity-type":"item","numeric-id":2575776,"id":"Q2575776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$FD1EAB08-675C-4ACF-BF2A-57A70E6A2D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344cde6e6fdf93e30fd3c2782cc84a5c0c42e1be","datavalue":{"value":{"entity-type":"item","numeric-id":1811032,"id":"Q1811032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$2FB468DB-A754-4F83-9578-E33C264FA5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6fcf99219455203ac15f28032de37aee5a50a2","datavalue":{"value":{"entity-type":"item","numeric-id":5481597,"id":"Q5481597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536037$CDDDE6F3-BE9B-4513-9506-9BFC0532168A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9074b84527ccc8acecf1b4d485fb368427e3e944","datavalue":{"value":"10.1016/J.TOPOL.2011.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536037$AB0FAE94-51EB-4AD5-B196-A8CACCCC7706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59c7119edbc36b50f72d8f1853f74b7a96b84d7","datavalue":{"value":{"entity-type":"item","numeric-id":3618612,"id":"Q3618612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d79a8c2de8c8f9191c4d64f081b3f2376cbb8d","datavalue":{"value":{"amount":"+0.8161855340003967","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":"Q536037$C63D74D9-1C9E-42CB-A875-CD8499F6371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e243ec6df32116155621be19a1c0e9dbe8a6dfcb","datavalue":{"value":{"entity-type":"item","numeric-id":4229136,"id":"Q4229136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5f17acf3e3e72c74e31962be86024b309effe5","datavalue":{"value":{"amount":"+0.7967659831047058","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":"Q536037$393D4EA3-2D92-42F4-887B-8495BE260F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c71043866e15036353e7bd12596cd5e7b7bf41","datavalue":{"value":{"entity-type":"item","numeric-id":5459746,"id":"Q5459746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8562cbbf5b04a86e223680898a228086abd63494","datavalue":{"value":{"amount":"+0.7924416661262512","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":"Q536037$5FE2317E-F959-4C21-A01D-9261D0D5137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c06a1b33d6cbeac2bd59ceb25edb9566c215534","datavalue":{"value":{"entity-type":"item","numeric-id":5492940,"id":"Q5492940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d28fada0cb6ea94ae0d90c424ba5e2a131ebb7","datavalue":{"value":{"amount":"+0.7827535271644592","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":"Q536037$C573D2E0-F337-4835-B3A9-A278DA05949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23e9f7d7ca968d0ccb2f1e74dcd467cb3d45ca1","datavalue":{"value":{"entity-type":"item","numeric-id":624638,"id":"Q624638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8328ec6e4353cfff82a6aa558e1689608fc80f07","datavalue":{"value":{"amount":"+0.7811999917030334","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":"Q536037$7FB1794B-9C2A-4489-9B91-90FBCD39F219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity spaces as quantitative domains of computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_spaces_as_quantitative_domains_of_computation"}}}}}