{"entities":{"Q818425":{"pageid":820273,"ns":120,"title":"Item:Q818425","lastrevid":49802905,"modified":"2026-01-10T21:20:00Z","type":"item","id":"Q818425","labels":{"en":{"language":"en","value":"Partial metric monoids and semivaluation spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013566"}},"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":"Q818425$AA74C0C9-7E64-44E5-9FFD-223925573DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f62569234c8f3d8b89a7f5fe515b10ebb03e469d","datavalue":{"value":{"text":"Partial metric monoids and semivaluation spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818425$5EE2B4E5-102B-40CF-99D7-2E9DF9E8C2EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bd18bd91db8c15f6be6411e821be862f5e9e546","datavalue":{"value":"1084.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$8B3DB547-4D5C-435E-9D85-481E2ECA5D7B","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":"Q818425$FD354A5B-10EC-4B69-AA8F-EDB1FB84F669","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":"Q818425$D7834FF1-C6B0-4A95-A6C4-37E2E7E93701","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":"Q818425$B4E94E48-076F-4814-A320-E213B85321EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818425$1D1F5964-EABE-4C46-91C2-2F893F1ADDA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f2e6f1e0587937e08a55aae975e0b1ab6276581","datavalue":{"value":"The authors discuss the importance of stable partial metric meet semilattices in quantitative domain theory. In particular they show that the interval domain, the domain of words and the dual complexity space can be modelled as stable partial metric monoids, where a stable partial metric monoid is a partial metric monoid \\((X,\\cdot,p)\\) such that \\((X,p)\\) is a stable partial metric meet semilattice. They also introduce the notion of a semivaluation monoid and prove that there is a bijection between stable partial metric monoids and semivaluation monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$CD66FE4D-0CAF-4FF1-9B8F-24C5F962F891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$20C0CB1F-520D-4C28-AFE1-6CB560DCA236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59189e4833549fed506ebd92089751cd2bafd824","datavalue":{"value":"22A26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$F4DCE152-E830-4753-8394-B399B3BA56BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$896D1B54-1CBB-479E-A970-4AD5A920E13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$55CDCBC9-A90C-42D2-B264-8C366EA37A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$FE785C0B-F3BD-4B8A-825F-3E5627434AB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"454cb3984418020147db65ba01489e04ad20a683","datavalue":{"value":"5013566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$D0AFFBF8-FDDD-42AE-8C0A-325DDE4E25C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dcf5cfccf183c357258ccea802689e1e1adde20","datavalue":{"value":"partial metric monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$1F363F2D-3772-46E8-AE64-8FFA3638CAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32f48c2174a49b39059113dfdf68348c72d9c79","datavalue":{"value":"quasi-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$DCF775FC-C1F3-4925-AF46-D33997EC11D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d1de1c2ebda761b87dca5d9fa7da933404ec37","datavalue":{"value":"weightable","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$2AF51CA1-F83C-4646-8832-CF62225EBA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deefc48a1c074426d5cf71d75a353f386dd0abba","datavalue":{"value":"meet semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$BC011553-F1BF-42C7-9BD1-2BC89D6F96ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05907501068d7b7afb532acb9985499e00061a23","datavalue":{"value":"semivaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$E502BB09-F9C0-447B-80B0-A070D157D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8bf2477fc229ba8e072ef609869c0a8224ec49c","datavalue":{"value":"interval domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$BFCF9A3B-3FC9-4963-B1BD-ECF18C4E34E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f5523637741b4dc23168bd542af6481b386f92","datavalue":{"value":"domain of words","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$03BB252F-05B6-4670-8056-6F0E762CC3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4c5502f4d5b813ec7808f3a8e7b747cbf7a178","datavalue":{"value":"dual complexity space","type":"string"},"datatype":"string"},"type":"statement","id":"Q818425$E08114CB-A1F8-40E0-B38E-7B9BBC0C645F","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":"Q818425$EB3E81A3-6220-4120-BE5A-2AA80E1B66DC","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":"Q818425$579A9D51-DDD0-422E-BCFE-369FB0593CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a01db13f4857254361d8f5e162f2f497a153119","datavalue":{"value":"https://doi.org/10.1016/j.topol.2005.01.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q818425$935968EC-C05B-4027-BD80-CEE290FA9AF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47f2de4a2e616103e9b52d701e1624db59190903","datavalue":{"value":"W2049286690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$49C98D6B-C3B9-4536-84EF-3DAB4EDCFF90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2fbc634fbdb9d77466cdaa19f2497c66ba7c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1410673,"id":"Q1410673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$E5D5A268-16BE-48F8-B918-EAD26C01E779","rank":"normal"},{"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":"Q818425$145055B8-705C-4581-BF91-11A19530A5B6","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":"Q818425$B916160F-F97B-4409-8B87-D767CFF0511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$AFAAACBC-FCB1-4B36-B768-497D4B0652A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5549613c18539374614bdfda0d9591d74a31f129","datavalue":{"value":{"entity-type":"item","numeric-id":1255703,"id":"Q1255703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$CADCDE26-2511-4B47-9196-1C78035218A7","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":"Q818425$D5D139DA-9DB0-40FC-8110-C2758DC2D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$B5FA661A-B2E9-4470-810A-B72445D35706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33dff846b689b29d43273a0f3d91ace4986e230","datavalue":{"value":{"entity-type":"item","numeric-id":1172705,"id":"Q1172705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$1ED3C8DE-2FD2-42A7-B556-68FE96AE6653","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":"Q818425$E3F1DDFE-4D9C-467C-8C8B-567AB7F7EC86","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":"Q818425$48ECB3E7-F41B-4B29-996E-CAB8A8895860","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":"Q818425$D8C1E3E9-915E-4126-AA49-4FBCA39042E1","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":"Q818425$E76454CB-A0AB-4A24-BE61-B4184F43A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec310d5e798c9170d29edcf215c5cb936444141d","datavalue":{"value":{"entity-type":"item","numeric-id":4513308,"id":"Q4513308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$23E6E13C-4005-4F56-B705-E8933F55C2E7","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":"Q818425$663599CF-5B0F-45FE-9F92-47500FD7C69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecb1886a89bd0ceca30d51fcabbd3751ebb1dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2710078,"id":"Q2710078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$15F135C6-7A99-4701-8646-1376397870FD","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":"Q818425$94099C96-42E2-433F-9CF9-5F81B89CAFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a628f7e118132e06f856df7607e5c8c1898c","datavalue":{"value":{"entity-type":"item","numeric-id":1826629,"id":"Q1826629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818425$E0BA5BD4-3BF1-42C3-A576-A7C45FB05F99","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":"Q818425$DA871081-1695-4771-93C4-62C409DEAB63","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":"Q818425$C7EB90C8-6AFB-441B-8D1B-BCEBE8C1CB18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f212f7f1e82c6e6e1363c1dfec1ecca3a419d6b9","datavalue":{"value":"10.1016/J.TOPOL.2005.01.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818425$93C09EB0-308B-4488-92C2-218FE79F8E31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647d4f623f903c6dda7e6ac6feefc69a0b711bef","datavalue":{"value":{"entity-type":"item","numeric-id":1826629,"id":"Q1826629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523ee4c31003636b598665fc613973fd6da49430","datavalue":{"value":{"amount":"+0.8432168960571289","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":"Q818425$7355E7C6-CB34-4200-8539-A150E2F5E028","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":"fea05b44011e9e8c807e108c8c52eb12276592c9","datavalue":{"value":{"amount":"+0.8260651230812073","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":"Q818425$1B344F06-A2BA-43F9-A1B7-87255C76DE95","rank":"normal"},{"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":"bc78a09c87ddca3af8296c7c9366740f6ccd1447","datavalue":{"value":{"amount":"+0.818091630935669","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":"Q818425$8327C96A-A24B-4F16-B557-724C4C6181B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e351156075ea4cca32e9cb203569e91d10ccca1e","datavalue":{"value":{"entity-type":"item","numeric-id":5481597,"id":"Q5481597"},"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":"Q818425$B6C3C1BC-F787-413D-BC0E-21A2A4790AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897f539bf83710cc22079f58d3c91a5c5e5f39d3","datavalue":{"value":{"entity-type":"item","numeric-id":1427788,"id":"Q1427788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef14b46d0e804cd128bd36caf7111df0f9dec571","datavalue":{"value":{"amount":"+0.8078216314315796","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":"Q818425$E23E99AC-F6AF-4942-9A91-922E628FB83A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:818425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:818425"}}}}}