{"entities":{"Q2447136":{"pageid":2457879,"ns":120,"title":"Item:Q2447136","lastrevid":51983819,"modified":"2026-01-20T16:43:57Z","type":"item","id":"Q2447136","labels":{"en":{"language":"en","value":"On the construction of domains of formal balls for uniform spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287851"}},"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":"Q2447136$2DC158FC-6402-4C61-9573-B69C47CCA746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c22e376d86cdac3b5c43600e7a5584795dbf069","datavalue":{"value":{"text":"On the construction of domains of formal balls for uniform spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2447136$38DCC87E-36D3-467E-852A-B1976DCE053B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6deaa540c0f0cc2fcfe83752525d95fb3b028c9","datavalue":{"value":"1295.54029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$62B31806-D92D-4101-99FD-70207804D6FF","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":"Q2447136$72BD7152-42C2-4167-99F9-17E8463F4B10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f948fd99d5076165c83d676414494f03dfc11c9d","datavalue":{"value":{"time":"+2014-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2447136$09A32C44-E829-45A0-8BE4-212416EAD476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08e7e7326b1a30c02af93807d2c21790f75fe275","datavalue":{"value":"http://hdl.handle.net/10251/55701","type":"string"},"datatype":"url"},"type":"statement","id":"Q2447136$73F727C1-E302-4B1B-A287-8DB2E199945D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71133b9fb149ba5cd964168a18ae442701e3b798","datavalue":{"value":"In [Theor. Comput. Sci. 193, No. 1--2, 53--73 (1998; Zbl 1011.54026)], \\textit{A. Edalat} and \\textit{R. Heckmann} showed that, given a metric space \\((X,d)\\), the relation \\((x,r)\\sqsubseteq(y,s)\\) iff \\(d(x,y)\\leq r-s\\) defines a partial order on \\(X\\times\\mathbb R\\) -- the resulting structure, \\(\\mathbf{B}X\\), is a continuous partial order and a dcpo iff \\(d\\)~is complete; also, \\(X\\)~is homeomorphic to the space of maximal points of~\\(\\mathbf{B}X\\), endowed with the Scott topology.  Using the language of pseudometrics the authors generalize this construction to uniform spaces: one requires \\(d(x,y)\\leq r-s\\) for \\textit{all} defining pseudometrics. The resulting structure is a dcpo iff the uniform space satisfies a weak completeness criterion (weak because there are very few appropriate Cauchy~nets).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447136$9DDCBA12-3DE3-4176-87DE-C3F68D4AE801","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$75B470E5-7C0E-495D-BB38-0F69295BD647","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$BB6C0203-CAD4-4A7C-B045-3DED1CCB79DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$48EC2E2F-DF9E-4751-9DC5-CB2E0E3FE698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a77be9cd1890bf03d8595efb6c8d47f033ff4e83","datavalue":{"value":"6287851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$F2DD21A6-F6D0-401E-85E8-41E5F49871C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484c24653bfd1a89dfc85b132d2f51b3c7560a9","datavalue":{"value":"uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447136$4F67BB98-11BB-49FB-A146-D5FDAFD7A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483c68dea5ddd43e278c697e5d79d463b33bc3dd","datavalue":{"value":"formal ball","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447136$77D13C56-C42B-416F-B8F1-3E146A67AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c469f203bd5434efc40c3d9a4d11a5d9e8d47cd","datavalue":{"value":"continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447136$D9FCC72A-B55F-4304-A4A5-895E2A3D8172","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":"Q2447136$15A5DB83-3C17-4BE0-9BB6-BFBA75934AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b03e7b1e1393986f5f402f725b9ce9fab5998e","datavalue":{"value":{"entity-type":"item","numeric-id":1762378,"id":"Q1762378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$B64CA18B-8767-4858-B45D-D391A816D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28cd2f7c39c5759e130a3e34e8682215bfb0529e","datavalue":{"value":{"entity-type":"item","numeric-id":409505,"id":"Q409505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$EAA720A7-AEAB-45F7-8275-819A136137C4","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":"Q2447136$0876C98B-E195-4CBC-922F-6AB9D2EE3FED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4001afa9b1e0e2331fdcc08b79631b6b1b3025eb","datavalue":{"value":"W1972747803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$E9770980-87BC-4E1F-9FBF-44D8AE1B814D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f2b101307c80c04e1c3c9598b6e4bcb0a1c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":3625677,"id":"Q3625677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$521EFDE8-4335-4A21-B184-02657655C701","rank":"normal"},{"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":"Q2447136$DBCC18EF-8BC3-4697-9ED4-60F660BFEDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94d3dbba2f73147f7aee4eef1dd0b5763633c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1292403,"id":"Q1292403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$8E63AC53-22D2-4630-8B59-142FBA5AAE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b3fbf7bb34dec9ef45add591e72af3e074e6","datavalue":{"value":{"entity-type":"item","numeric-id":3966761,"id":"Q3966761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$FFD37855-4B8D-4377-AF86-44DF05379BB5","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":"Q2447136$435642EF-5815-4DA3-8B58-F750EB9C71F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$9A3176DA-931F-4DCE-9239-1DF2FE7FC418","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":"Q2447136$E6416C98-1F90-49AE-9BA1-2E78E5B85059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc681bcdc5ac67e176c2ec48ef7cab73c0604ba","datavalue":{"value":{"entity-type":"item","numeric-id":1877616,"id":"Q1877616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$00548617-9DB1-4DCE-A9C2-6D01B3B7EC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69207819c24c0830a10be51a3d0fb60061bfe4a0","datavalue":{"value":{"entity-type":"item","numeric-id":859838,"id":"Q859838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$DF2446D0-E07E-4361-9C71-A156899B7872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5f11cfeb4ae440a73943249f11d4731a6b7820","datavalue":{"value":{"entity-type":"item","numeric-id":4546500,"id":"Q4546500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$F9EC5592-4711-4032-B290-0F56435A24DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ec7cf8430c1ca31a4e5bebada4071b1827038","datavalue":{"value":{"entity-type":"item","numeric-id":452809,"id":"Q452809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$07099B05-2EFB-4AC6-B100-6DD32C85D413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb81132704a21123f0098162947c92007471cdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4366770,"id":"Q4366770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$E08F2337-E2D5-4ACE-B8E3-27A407E92AF0","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":"Q2447136$8F74C6C1-1EFC-4BE4-BCBE-F2539360B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e398fc9f468f06f657a0c84d6cb5e646a39b03b7","datavalue":{"value":{"entity-type":"item","numeric-id":536037,"id":"Q536037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$90452E3C-7971-4C8B-94EF-DB7BB31FCE6B","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":"Q2447136$3FA041F4-5BE9-47F0-A176-C01BF6AC0060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c4d8b07ccaa00380c184fc8d17a3dd75d5d132","datavalue":{"value":{"entity-type":"item","numeric-id":3564344,"id":"Q3564344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$4273A0BC-8185-47FF-AD8B-F17553638136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed80720ad0e4003404515aa4033a52ffded04c6","datavalue":{"value":{"entity-type":"item","numeric-id":1295210,"id":"Q1295210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$B6E76B8E-53C4-4FAE-9827-8AA95D5E699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc44c1a277c6675f1c94584ba1f6c6162b575","datavalue":{"value":{"entity-type":"item","numeric-id":4123990,"id":"Q4123990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447136$ADCF92E8-3948-418F-92E7-494FA67F44FE","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":"Q2447136$1E820DE0-F3D8-4B4A-93EE-5041974BA034","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f104a1673b2a0b02983fb9c9bfa0c9f2424a7e0a","datavalue":{"value":"10.1016/J.TOPOL.2014.02.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447136$14180C5B-14F8-42DF-97CE-42A2803D5012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27556c3b2c36e96c1ef026e5508e770507beb4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3821265,"id":"Q3821265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bddac685dd8cc2ca37c3f0db3f7d412507c84e6","datavalue":{"value":{"amount":"+0.8087925910949707","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":"Q2447136$1F29D1FC-475D-49F0-BA79-0B04DCEEC877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2adc01e4595913e38c1adff899d11e534b3832e8","datavalue":{"value":{"entity-type":"item","numeric-id":3625677,"id":"Q3625677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1e79c7d80a7f9b28a93963582150f3eb2ddf94","datavalue":{"value":{"amount":"+0.8054277896881104","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":"Q2447136$FDA4BC02-F82C-4BA4-AC2A-E2EFA51BF9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006c1ac2c79e82fc4144640198915dc4b14db968","datavalue":{"value":{"entity-type":"item","numeric-id":392568,"id":"Q392568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491ecd18c84663c8650202bee0a4cfd5207fc5c7","datavalue":{"value":{"amount":"+0.8003600239753723","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":"Q2447136$4B773FF2-0AEB-4CCE-8350-C60D639B7D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a7d27b0aba062c1dcfc176e2f1f953d853f096","datavalue":{"value":{"entity-type":"item","numeric-id":266334,"id":"Q266334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b329393e36ccef2b102e4e34d9f36a0e826f3b8","datavalue":{"value":{"amount":"+0.7988536953926086","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":"Q2447136$D1CDCBFA-762F-43A6-B428-483A14FDBFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a732e5a3fbadf196618d3c05b72008b7183a430","datavalue":{"value":{"entity-type":"item","numeric-id":4596798,"id":"Q4596798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203561421f3d38a0c7155e280507b6697482660f","datavalue":{"value":{"amount":"+0.7979302406311035","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":"Q2447136$02FD3AB1-7B01-4C94-B042-F72271F2D36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2447136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2447136"}}}}}