{"entities":{"Q1826629":{"pageid":1837371,"ns":120,"title":"Item:Q1826629","lastrevid":70921746,"modified":"2026-04-13T18:15:15Z","type":"item","id":"Q1826629","labels":{"en":{"language":"en","value":"The correspondence between partial metrics and semivaluations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081676"}},"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":"Q1826629$F267F4B5-5872-41E9-957B-05A378693B05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c58363eea4d9b3a453099f59b0de94420873ed","datavalue":{"value":{"text":"The correspondence between partial metrics and semivaluations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826629$E31607C8-6FA5-41A4-8C35-BCD2A3276736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e02bdb99d01d98f3cff4d261666a1a58278a62","datavalue":{"value":"1052.54026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$76946DF0-8E54-4AC9-8EA5-FEE97C355E0D","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":"Q1826629$5DF64071-4BCA-4522-997F-D75A242067E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826629$E0EC862A-B615-4F19-865D-BF7822589725","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cc65fc1474b430e4dbf5a0165352c6d42115f5d","datavalue":{"value":"The author contributes to the study of the connections between (special) distance functions, namely so-called partial metrics (equivalently, weighted quasi-metrics), and valuations on ordered structures. His investigations are mainly motivated by various important examples from Theoretical Computer Science. The article introduces the notion of a semivaluation which is shown to form a natural generalization of the notion of a valuation on a lattice to the context of semilattices.  The central result of the paper establishes a bijection between partial metric semilattices and semivaluation spaces in the context of quasi-metric semilattices. The results shed new light on the nature of partial metrics and allow for a simplified representation of well-known partial metric spaces, where the semivaluation involved is simply the partial metric self-distance function.  If \\((X,\\preceq)\\) is a meet semilattice then a real-valued function \\(f:(X,\\preceq)\\rightarrow [0,\\infty)\\) is called a meet valuation if \\(\\forall x,y,z\\in X,\\) \\(f(x \\sqcap z)\\geq f(x\\sqcap y)+f(y \\sqcap z)-f(y)\\) and \\(f\\) is a meet co-valuation if \\(\\forall x,y,z\\in X,\\) \\(f(x \\sqcap z)\\leq f(x \\sqcap y)+ f(y \\sqcap z)-f(y).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826629$1345CABD-804B-4418-B53C-B90C32F7046A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$EEBB960A-187D-44E3-B03E-894A44320BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$95F6D967-214E-4544-BF5A-58CB7FCCCE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$FF386817-A9A7-42A1-95F2-B361D53CDF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$9718B6D5-0CAA-4873-9D4F-217C5B481C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$6EBE2AA3-9C9C-436C-A8B9-61B2A1B66CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618999ad651da0dc296e53b67cee8c7e5dc8f40c","datavalue":{"value":"2081676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$6CA25C39-02F3-43F4-96B0-44BDC642BCCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5f8c14d1575c83ba3d17a0e093b60363d4716b","datavalue":{"value":"(weightable) quasi-metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826629$1CB510AA-74E8-4C72-9D0F-989EED446056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfef78cc5f2c95a67a41db1cdc1c46853570eb4","datavalue":{"value":"partial metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826629$5B336B53-38E9-498D-BD2E-3ED3EAECD962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826629$FCD84B82-3FFC-4A06-9411-88CE5662A76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c0fa838b0973533287a9833fa0bc2d900c211","datavalue":{"value":"directed partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826629$869F14A6-AB8F-402A-AEF3-21F1FB4B17CC","rank":"normal"}],"P16":[{"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":"Q1826629$10D56B89-D917-4380-B1A7-A65B8601A9A8","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":"Q1826629$4C5A39A0-B796-40DA-B899-DFDAF68BD9A8","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":"Q1826629$D70EFD1D-F036-4C2E-9B1B-24214E1F6265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c24c5c592bf92ace5273c807f90aa575c4313601","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.11.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826629$16553B72-D28C-419E-9552-5C289826CE0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e6ba448d1eda39b099c33a5ee00ffa34d5d141c","datavalue":{"value":"W2076019225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$B337850B-5D50-4876-9462-79ACB863310D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$416C9B7F-9FBF-47D4-9324-EE1F74445A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d184081f6b6278f9ff8fa9f72875e1e714691","datavalue":{"value":{"entity-type":"item","numeric-id":1127524,"id":"Q1127524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$07BE60BD-3747-4C67-9089-4AF56A90F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6233ca847e6796b858a03a9246e79238cbfa06d7","datavalue":{"value":{"entity-type":"item","numeric-id":4376045,"id":"Q4376045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$A912D6BB-8824-4517-93FC-9D5BAE98A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e04a3053fe52b5b49d3e4073378164c8c73a045","datavalue":{"value":{"entity-type":"item","numeric-id":3839070,"id":"Q3839070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$99B20508-BB1A-4D59-A453-ADF6B915F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$F124BB78-A638-42AD-BFC0-550B547EE5B5","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":"Q1826629$081E6DEB-F8A5-485C-A10B-303C12564624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$7684B32E-BC1E-4205-B692-CA761F11E62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3877ec67b01e56ee8edd54ff88fb69943069a450","datavalue":{"value":{"entity-type":"item","numeric-id":4853314,"id":"Q4853314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$6CFCD2C0-62F2-4017-A86F-5455D1E6742E","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":"Q1826629$0145CA92-5F38-4C95-8DC7-3B65AEE8CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$C0F1A8F1-955C-42FA-8D70-141B6BF431ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08edf625e55acc1a5cfdeaa58ff46aa0b1abd860","datavalue":{"value":{"entity-type":"item","numeric-id":4371050,"id":"Q4371050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$A0706540-12D9-4293-A892-5AF94CB77E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c0ca03769bb49b9abc5de300b32cb391bdd460","datavalue":{"value":{"entity-type":"item","numeric-id":4228819,"id":"Q4228819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$8204E373-EA28-4B7B-A705-F73309DAF05A","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":"Q1826629$8F526EDC-3AE2-4406-A9A6-7A28FFAB6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f045e6bcbb3e84f75cdb218641f6c2059ab17a7a","datavalue":{"value":{"entity-type":"item","numeric-id":671995,"id":"Q671995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$B5BA176A-D1AF-42FF-9290-7B98ECC9E1CA","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":"Q1826629$0C88F80C-81DC-450C-97AC-B1308774DF90","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":"Q1826629$48343609-0A80-4EB3-9055-E8DCCE6EB87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9d31da1397bba8b99276ef5f16912cc5dec648","datavalue":{"value":{"entity-type":"item","numeric-id":4373434,"id":"Q4373434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$E2B1AF30-3BE3-4479-B18F-CD93B6A25289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac3dc6b27e6469f50f115d2e22bf2569f97ce39","datavalue":{"value":{"entity-type":"item","numeric-id":3821265,"id":"Q3821265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$9C1F0C70-DAE7-4062-B3BD-194073F231E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7eeee9c327a0cc2f5c91e65850d67215b9f476","datavalue":{"value":{"entity-type":"item","numeric-id":3359391,"id":"Q3359391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$A93FC7BF-20F5-4EC1-93BA-A695E3F7E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86242ccecf4939857bf1427b0f5b857bb821edf","datavalue":{"value":{"entity-type":"item","numeric-id":1191394,"id":"Q1191394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$E5DF3B78-4ED8-4EA0-AE1B-EA8A55E8E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e118bacf5573fa8cac1c2a29aa59074d79e81b1","datavalue":{"value":{"entity-type":"item","numeric-id":1327143,"id":"Q1327143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826629$8B36A8C5-0CE0-49DA-A115-B141433E2F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a604f2ebd130e128e20b76e1ab407c059817673f","datavalue":{"value":"10.1016/J.TCS.2003.11.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826629$077CC73E-89F1-4B25-9F72-6790C3F0F638","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20ed526c05bc4c43aed0da3960c13bdca147c1c","datavalue":{"value":{"entity-type":"item","numeric-id":4923383,"id":"Q4923383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a604055497ed9a94073c48d1ef4024eef1861a70","datavalue":{"value":{"amount":"+0.8502549529075623","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":"Q1826629$6268CB6D-6DE1-4564-BE81-293466768DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9788aebcf94606525126bf9a103294c833512b98","datavalue":{"value":{"entity-type":"item","numeric-id":4373431,"id":"Q4373431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e680b5444597de8f4274360951ce9f0e231862","datavalue":{"value":{"amount":"+0.8452414870262146","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":"Q1826629$25F221AD-64DB-4333-9216-4269A812F068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ae9e412732c51a0201eb1faa820637ad82065b","datavalue":{"value":{"entity-type":"item","numeric-id":818425,"id":"Q818425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cd38e348f7980f8d84f4d4fec2f8b2dc21a00e","datavalue":{"value":{"amount":"+0.8118771910667419","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":"Q1826629$50E602FB-EDD7-48E3-8B38-D457A0E0AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879737056c34e285abfae06bf729ea7e37903bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3701474,"id":"Q3701474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bfea54ba662c6f53f42438eb1fc7ed040ed607","datavalue":{"value":{"amount":"+0.7942759990692139","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":"Q1826629$73FE4301-2FC7-409C-B3A3-6DDB70950179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80242a9dc31ed6d7f80f08452037d3f629c6ac60","datavalue":{"value":{"entity-type":"item","numeric-id":3839070,"id":"Q3839070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e153b27b8d7008e645fb63fe82771e2ba1306f95","datavalue":{"value":{"amount":"+0.7843158841133118","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":"Q1826629$1F9A951A-002C-4AC4-8425-D70A9876871D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The correspondence between partial metrics and semivaluations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_correspondence_between_partial_metrics_and_semivaluations"}}}}}