{"entities":{"Q1014532":{"pageid":1016380,"ns":120,"title":"Item:Q1014532","lastrevid":66542250,"modified":"2026-04-12T10:50:05Z","type":"item","id":"Q1014532","labels":{"en":{"language":"en","value":"Completions of partial metrics into value lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549315"}},"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":"Q1014532$2736FF01-0562-4108-B3F4-719D2DD4C42F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654278211f9835beb6deaa783000f2bec87d0ca8","datavalue":{"value":{"text":"Completions of partial metrics into value lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014532$00BAC9A6-B3BB-4CD5-866D-D2FE6212E2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e334a97107fed5d08e8216c55f995a175ef98d52","datavalue":{"value":"1165.54011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$96DF16D1-985A-4C59-B050-99D0AE0C276D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f254906b929b9e2ef0297267504dc27e37fa3be","datavalue":{"value":{"entity-type":"item","numeric-id":671994,"id":"Q671994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$530F901B-58F8-40C1-A50B-95B89E140FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"246aca59c26dd60cdde7eda2836383b3ed1d8184","datavalue":{"value":{"entity-type":"item","numeric-id":194984,"id":"Q194984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$4CDBA8E2-1A19-4E21-8E26-6D31818FB6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa9e24a5f4d9cdd9dfb063b0c9981312fcf8456","datavalue":{"value":{"entity-type":"item","numeric-id":444682,"id":"Q444682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$CB4B671F-7406-4F5C-8113-842C14D0ABB1","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":"Q1014532$EAF3B969-904B-4F9B-8B37-C6559263858B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014532$7D79E327-D887-4E79-9409-9BFE6BBD422B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc1c01105efb10cee75c655f93f457cfae3fd42c","datavalue":{"value":"The authors study several concepts of completion of partial metrics into value lattices, including the bicompletion, the Smyth completion, and a new ``spherical completion''.  Given an auxiliary relation, they prove that it arises from a totally bounded partial metric space, and the spherical completion of such a space is its round ideal completion.  They also present an example of a totally bounded partial metric space whose bicompletion and Smyth completion are not continuous posets. Finally they exhibit an example of a totally bounded partial metric giving rise to the Scott and lower topologies of a continuous poset, but whose spherical completion is not a continuous poset.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$7E07780E-1A70-43C7-B94F-B5B90F202DD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$295B6766-4571-4051-8A1E-9AA222476D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$F43A62DB-4D21-449A-AD92-8995478E875B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddd22a33ce451e9c8954e42901d9b0d30d4ec3fe","datavalue":{"value":"5549315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$706A9756-656D-470B-AAC6-AAD463CA973F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564ab799f795a506128c19c4f59f7d1f80d25fcc","datavalue":{"value":"partial metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$85D6264C-74A5-48B1-AD41-A3A57FB278DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04aa316825ca38e7810c1c29f976e696eec87d9b","datavalue":{"value":"value lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$2ED83052-EA35-482E-955A-E156226AE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6e3d9394e72e914a9ae539640c6ec9e13c6031","datavalue":{"value":"bicompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$4527A423-A420-48AC-B041-B3F39E2FA412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fc6396bf40b81d7cd612b51d26e57ffe6da6a5","datavalue":{"value":"Smyth completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$17ED595E-B915-432F-A02C-B86CDE968F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3361981c5696fce7162d3f8bcb4b90faabbe212e","datavalue":{"value":"spherical completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$C975D5FA-30AA-4DEE-85E2-24A4928BFCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adbf64547ab16d9948290665102427dbd5d31bf","datavalue":{"value":"totally bounded partial metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$033A453C-460F-4062-8E29-FA2DD1C22F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599429f2e8c9b6e4d9de8d4f8e6a33a536d78398","datavalue":{"value":"auxiliary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014532$37CEB6A0-7AF5-4707-A5FB-5295FE3EA551","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$EB7171FB-5C88-4F14-BB20-7ADC36532532","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":"Q1014532$2A5DEC41-3849-4C59-8311-E29D143FA38C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c5ac195c390a98d3ee3fde10b8b342072759cb","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014532$52AB4112-5034-4C96-AB25-9374B95C1B18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4f9e8a5b7b6370995d963e05574e3f79aba727","datavalue":{"value":"W2020723137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$D2C53877-B183-4D3F-8749-D4CF7FCF16C5","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":"Q1014532$6CAF0A82-0698-4D57-9188-2EDB83EC0FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155c2a6562bd59a08ca1a0244ed688f30a0c7f90","datavalue":{"value":{"entity-type":"item","numeric-id":1391864,"id":"Q1391864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$2BE6F9EE-ED99-4450-A04C-F41163C74766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84403f5a205ab5352104f7af72914d401b49a8a0","datavalue":{"value":{"entity-type":"item","numeric-id":4231884,"id":"Q4231884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$C61EA112-58C0-43E0-B57E-CB99E5B581AF","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":"Q1014532$550B304F-0557-44C4-9F47-54823D7050F9","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":"Q1014532$7F742C62-3880-439B-99D6-47B9E9339CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$9CA6C65E-19E9-4899-B136-5C08A2AF2D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d44c117c6081d8ed6fef3de881ec1225f6e77e","datavalue":{"value":{"entity-type":"item","numeric-id":1902986,"id":"Q1902986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$78835237-BE34-4364-BD3D-CE3B8CEBA3E7","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":"Q1014532$A92C45D8-56E8-4DE4-86D0-1FAC7A526FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07138524e409878ff922b11473c1c45cc2b0535","datavalue":{"value":{"entity-type":"item","numeric-id":4668085,"id":"Q4668085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$3460E4B5-29A9-42B0-A58F-00B603A4976A","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":"Q1014532$F918CF74-B510-4A04-AB59-152A61F87EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928e0e1842d1f860a6b46c9018d0ca7e8aaab1e0","datavalue":{"value":{"entity-type":"item","numeric-id":4296068,"id":"Q4296068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$B020D1AD-7A17-4125-890C-D52AFE02E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b61bf22af988b8c847b78075c0e601511a9671a","datavalue":{"value":{"entity-type":"item","numeric-id":1143166,"id":"Q1143166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014532$33B10C51-26A9-4D1F-9751-EED1320EE8FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c470fd18e610f8eef2d9fc014eedf8676a32067b","datavalue":{"value":"10.1016/J.TOPOL.2009.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014532$8EAA214C-93C9-49D3-9D63-DFCBE9CBE018","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cca06a318adf6677198b459f523c99ee3e731a9","datavalue":{"value":{"entity-type":"item","numeric-id":1306708,"id":"Q1306708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2019216afa18f9c5f2e363ebe95fa2f7af9186f","datavalue":{"value":{"amount":"+0.831416130065918","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":"Q1014532$BEC97602-79F5-4AAE-A6A7-40E9A943D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9389b613dc631c803e802f4f098988f34f4132","datavalue":{"value":{"entity-type":"item","numeric-id":2291584,"id":"Q2291584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2019216afa18f9c5f2e363ebe95fa2f7af9186f","datavalue":{"value":{"amount":"+0.831416130065918","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":"Q1014532$AA22C38C-9C5C-46DA-A541-4B83E1BB53E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc0c6b4c0fbd4673b4c40439d5f94655c09618","datavalue":{"value":{"entity-type":"item","numeric-id":2254715,"id":"Q2254715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968906dab93af8d5281aa1426e73fdcbfdda7928","datavalue":{"value":{"amount":"+0.8176476955413818","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":"Q1014532$6B5F311B-0B25-4C2A-89B9-CE6CA480D628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c26ed2ff2aa34c6fe7edb2e3463f5b47d7ae56","datavalue":{"value":{"entity-type":"item","numeric-id":2569761,"id":"Q2569761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33531bcaa5302cef69783abc1764e7b8d44ffd1","datavalue":{"value":{"amount":"+0.8059871792793274","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":"Q1014532$905BEE9D-1C8B-49EB-B1A7-8023AB591C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7623cd310f29822b852ee8ea6b1bd4d126de80dc","datavalue":{"value":{"entity-type":"item","numeric-id":3636910,"id":"Q3636910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65ed8fbe0e6babc0d375252776778e1913931f2","datavalue":{"value":{"amount":"+0.8021194934844971","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":"Q1014532$713A23D6-C8E0-4C9B-888D-390B1F4FD185","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completions of partial metrics into value lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completions_of_partial_metrics_into_value_lattices"}}}}}