{"entities":{"Q419040":{"pageid":420807,"ns":120,"title":"Item:Q419040","lastrevid":61699281,"modified":"2026-04-11T01:02:59Z","type":"item","id":"Q419040","labels":{"en":{"language":"en","value":"The order-theoretic duality and relations between partial metrics and local equalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6036177"}},"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":"Q419040$3040A21F-BF80-41AD-A396-781764719795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6cfe58cc38b7b5ab49a73aa1bbdb9bc0763277a","datavalue":{"value":{"text":"The order-theoretic duality and relations between partial metrics and local equalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q419040$95A78910-8CA2-4B27-95C2-936921495744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fe7c5405c274553e62a4f0e5120cc1ec9296156","datavalue":{"value":"1244.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$79A4F03D-BC39-492E-B88C-C045A7DEC45C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c05b70899002f9c2f378ce72158cd41e9d51ba15","datavalue":{"value":{"entity-type":"item","numeric-id":212172,"id":"Q212172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$E5097FCC-A0B5-434D-AA44-612E7F5730B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$F093C484-4DD2-485A-A633-E8CD901D2621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce433cdcb3478d8106ca3fd120344ac0deb7f83","datavalue":{"value":{"time":"+2012-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q419040$A73430DB-1D19-44B2-B604-4223218CCF25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$E7126500-1B75-4353-8245-7F8CBAF2876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$830DB407-DD72-4E4B-AD36-4CEC2AEA8AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$25B3531C-F554-4490-A83C-2E0D97E59578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$0C02BFD5-0EE1-48EC-A1A9-61B2A331525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$8293AAA6-AE34-4F8A-89F3-B51914144C8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d8a6c2f3e2457f16a461e1c7bd2a6143f7b64c","datavalue":{"value":"6036177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$F23C85A7-5088-430B-98E6-2B31E86DDD47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df2a469d3e5bcceaea6661f59c18efaf4c15366","datavalue":{"value":"fuzzy relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$8F4228E6-EC82-4FE2-AFAE-5A3051ED2C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d861e6c2b7b2d948a1379797789adddf3caf854","datavalue":{"value":"fuzzy equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$C66310F3-96BD-4AA3-8378-E2E2DB34E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3772e272432afa94e8f5d0b4b00136045c65849","datavalue":{"value":"many-valued equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$629A1661-4EF3-4672-8B3B-F3186F4DEBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a2df7c441c2f9111347ea9d5e6c80993a1fb0f","datavalue":{"value":"fuzzy equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$DDBD6FA4-30FC-40D2-9BE1-996231D70D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$E34DDFFB-C75B-464A-9F88-5BB11A347DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$570E61D8-C2E4-4A69-AF90-0C916AFA8F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5e0d4a3164ac531a582900feea499c2118b180","datavalue":{"value":"GL-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$A8722C83-4B33-4685-85A0-F0EB5453DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2ff0a15f38240d10a1662abb489fa2bff101e96","datavalue":{"value":"\\(L\\)-valued set","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$AC6F75FC-2303-4F57-B9D2-3F5FB1E5D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7e4b7b91f62d5c3b3238d91c8822a8eebd1c72","datavalue":{"value":"quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$33AD4B54-0565-4737-B304-142D557F8F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250b81a707a3ce63276b91d81acdda4f1877c959","datavalue":{"value":"weighted metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$537FD7E2-C3A1-4C9A-8F62-099947755022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314ec45bd3b3835f5691ddc7b844eeca64f87d64","datavalue":{"value":"partial pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$1186A937-B1CC-4253-A539-C86875C7B707","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$163C1A08-8B5A-4364-9C31-1BFF09D9B3FA","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":"Q419040$499E864D-9F93-47E3-B918-E7585DBC9EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c84583325b0a08c741263f00980b4ca4da6991e2","datavalue":{"value":"https://doi.org/10.1016/j.fss.2011.04.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q419040$5ABB6C15-AEB3-4CD1-9AD0-97A32DDEF217","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7158a22377cc33fc78da42bcaea43ac9836c9d39","datavalue":{"value":"W2054171835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$6C9F8258-3767-4B79-AB0A-D732B19645E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$9075B8E5-97C8-4ADA-AE6A-45D5F548829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973aff2805730b2683e3055d6c3b8b0d59a7ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3107101,"id":"Q3107101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$E774C043-CFB0-4804-B6CD-5D92107C6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8295bb49ed962fa07d19afccfc6d36f8cdab88","datavalue":{"value":{"entity-type":"item","numeric-id":1869194,"id":"Q1869194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$7AEA1391-50EB-4993-AAE6-600002D720E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62950ddd6c2658ebb420a87964ab62c351d13809","datavalue":{"value":{"entity-type":"item","numeric-id":4408528,"id":"Q4408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$8C1FE036-C118-486D-A599-5586AB3646F8","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":"Q419040$FE6D00A7-024F-4A8D-AE2E-180ECBF00748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$FB97BB65-D3F8-464A-AFCE-40F3190CE5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$B7A15A66-BEB0-4C0F-87A7-46EB7D609F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$734902D0-3DEF-4502-BCCD-0BE9C8AB6928","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":"Q419040$DB591796-71A4-47D3-8C87-C23C5FBF48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6b8577cc621dbcb66411cf09ea69af6f765b60","datavalue":{"value":{"entity-type":"item","numeric-id":2277254,"id":"Q2277254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$BB086837-24FB-4F3D-AE3B-ED84B3F89F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9eb08c2b7faf0596a546509c7d44af2ab2a590","datavalue":{"value":{"entity-type":"item","numeric-id":4010274,"id":"Q4010274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$BE9A3ED4-2E5E-42DA-B462-2FC180919382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6973c81779eceb68eb504a7c3fd87a2d958f07b","datavalue":{"value":{"entity-type":"item","numeric-id":4836221,"id":"Q4836221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$A532C55D-39AF-4B1C-AB7E-20168CA8EF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$B3AD5193-03EE-4C8E-BF99-2CA549A846A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7c63b2713140a32f19b75fb3a5f87d3db0ce20","datavalue":{"value":{"entity-type":"item","numeric-id":4944912,"id":"Q4944912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$0583B66C-F2DA-48E1-93AD-33FA02DD303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1efaaf421c4ef4d3dccc28149fc196084be36dd","datavalue":{"value":{"entity-type":"item","numeric-id":2732572,"id":"Q2732572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$F84F790C-FCF7-4512-A281-CBE759540EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bd7896e8a26b7d565069663947fb0a5a504938","datavalue":{"value":{"entity-type":"item","numeric-id":4460985,"id":"Q4460985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$31E10F6E-3AB8-4FC3-82CF-DF87AB4A6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edac748608fc430edcef31c8679cdd56e8f300bc","datavalue":{"value":{"entity-type":"item","numeric-id":5932730,"id":"Q5932730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$E3163A10-D5D3-446B-BBB6-2D3FE80376E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddaf8bc40e85a6174a4572f9454cded8e888423","datavalue":{"value":{"entity-type":"item","numeric-id":881818,"id":"Q881818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$21FC7DFC-A87C-4CFE-A455-11FB8AAF9789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$7B55A991-4368-4187-B650-90A8ACD4E915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$9A1AEF12-8F66-4F77-BD21-134FFB9C2826","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":"Q419040$013B7E08-A149-4A59-A51D-6117B9B904DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0c7236b1afe846860e44f1fd579c7a7073bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":854183,"id":"Q854183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$5AE408A0-36E0-44DA-9CFA-491EA24D0F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$B0C0B24B-F7BD-4615-A8E9-933316A4EAEC","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":"Q419040$90730EFC-8C30-4360-B4D4-0A4FB664B126","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":"Q419040$25812726-2A8E-4D50-9DBB-92401C8B85D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$83B3C1B6-A91E-4580-A6DF-F41F5BD1972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e46e4404439b83e5f268f7c48c7bca47668a1bf","datavalue":{"value":{"entity-type":"item","numeric-id":809391,"id":"Q809391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$3C9598E2-8999-4911-A0E1-0AED7696D608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efe8b3be3abfd1382cb4be3d0499fa4d7c0610b","datavalue":{"value":{"entity-type":"item","numeric-id":2702344,"id":"Q2702344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$F443E897-88AC-4FF9-B1FF-B1A375C172D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f753a5f560413df3f2e679b8365c70b0c1a894","datavalue":{"value":{"entity-type":"item","numeric-id":925363,"id":"Q925363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$7253498A-F6DA-4DE1-B955-638ADD9E8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$38355D62-8A44-441E-B96A-0711891D96F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6170f3c02ec01357672024b8c8f26d5272763dd","datavalue":{"value":{"entity-type":"item","numeric-id":2520863,"id":"Q2520863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$849A5DA5-E4D2-4592-B003-03D488077A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49cf2c4b8d862068d8aa40f1a3f037625d96280","datavalue":{"value":{"entity-type":"item","numeric-id":3915630,"id":"Q3915630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$8C320D94-8EAA-4733-93D2-07F749AB1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc35107bb7ceb5b0be3804ec1a5ba6e41d5548","datavalue":{"value":{"entity-type":"item","numeric-id":1086563,"id":"Q1086563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$BE214E7F-3DDB-4686-89C5-967BE3EF9EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$63DD4038-6B1D-4342-A9DE-C5B7CB0D255A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23dc046b521622fb2fbe21cbcb7ab69856d19ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4811665,"id":"Q4811665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$25B8D702-DF47-4B61-823B-6E8138872EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d82631bd76e72dad11b289999b82d71728ec41","datavalue":{"value":{"entity-type":"item","numeric-id":868301,"id":"Q868301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q419040$C2A653E8-E08E-4CA1-B3B9-3CA5D067AE4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0665133f11bdd187ff4704f5d8ddbb6489a650ff","datavalue":{"value":"10.1016/J.FSS.2011.04.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q419040$2981A3CE-CBCA-4885-9EF3-0B30111DBF4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd12551b82a658de34d7df7de8e3bf726c3a9017","datavalue":{"value":{"entity-type":"item","numeric-id":2812386,"id":"Q2812386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e58e596523c41555486a085e58371f6922621bf","datavalue":{"value":{"amount":"+0.69844085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$19DE7BD8-2D91-4D5F-AC36-F682A9A8C130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa887efa689d25fd651db74e8413617677a24a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272108,"id":"Q1272108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0de890503d1e163b712f73c6fa196c6a01d0b12","datavalue":{"value":{"amount":"+0.6914251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$2A28429F-D762-4287-AA98-9EE17AAC0FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603fe86dc855d6aea1bd5ffe58cc1137ae2548cb","datavalue":{"value":{"entity-type":"item","numeric-id":2191234,"id":"Q2191234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7631d577a352a1f55ee0f16e9e034552fe98e42a","datavalue":{"value":{"amount":"+0.690252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$62CA7535-6EF9-47E5-8A34-4CE5E0493EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e0d7cf4a15b4fe2293c5f2035c37b97f96771c","datavalue":{"value":{"entity-type":"item","numeric-id":4439065,"id":"Q4439065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f096e4135de76f50c88379456b314e002675201","datavalue":{"value":{"amount":"+0.6773473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$0E65F852-0CD9-4CBF-9EAB-02548E50D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151ea901169b08568d97e972bc70c2f5f420c3c5","datavalue":{"value":{"entity-type":"item","numeric-id":3073870,"id":"Q3073870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7784e1a2ed57a0f2e9dbd650f13dbad6bc2d8ef5","datavalue":{"value":{"amount":"+0.6745516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$C2FF560A-E5F8-4910-A676-4E033EB11BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb2621e0bf8c3a70b9038108636d2245bfc594f","datavalue":{"value":{"entity-type":"item","numeric-id":5363358,"id":"Q5363358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0c55bd4cc72dfbcdf52d2ee70c78988099df16","datavalue":{"value":{"amount":"+0.65108484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$28DAEEE9-9039-4E55-9234-B0F74B5F44AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7843ae70ffded9fa17208e977ea6bb5ea410971","datavalue":{"value":{"entity-type":"item","numeric-id":2343036,"id":"Q2343036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6db3d6bd3c2cec5904eb3f39cce55811ddead78","datavalue":{"value":{"amount":"+0.6504564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$411F29F8-0E29-4FB3-8794-67F89E0A3305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31115a97867148178a9eef18173c00adfc4541f","datavalue":{"value":{"entity-type":"item","numeric-id":3561222,"id":"Q3561222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e581c6ee073c1e9faf98dc114fc3e103d35ef20c","datavalue":{"value":{"amount":"+0.64845234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$3674112D-E5FA-42F1-BFAD-43C57E861DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b69e9ac69503d49248fdc46adbc5b6fe7a296b","datavalue":{"value":{"entity-type":"item","numeric-id":2310774,"id":"Q2310774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f85d9201ee90191711c1ef54b6c296644099ee7","datavalue":{"value":{"amount":"+0.6478262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$B4C5A273-02DA-4A0F-A086-CAF64D38EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9cbacc4a447a260370fb18a4ead962fff960f8","datavalue":{"value":{"entity-type":"item","numeric-id":5245318,"id":"Q5245318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd8780b9c13c757a21f98edc2fe5308faf0f0cc","datavalue":{"value":{"amount":"+0.6469487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q419040$7574FE88-18A9-4329-89B8-AFE204135AC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69b4528ca98855a68f0c57b4dcf4b6fd5c0d8f30","datavalue":{"value":"Based on the result of [\\textit{M. Bukatin}, \\textit{R. Kopperman}, \\textit{S. Matthews} and \\textit{H. Pajoohesh}, ``Partial metrics and quantale-valued sets'', Preprint (2006)] on the equivalence of the notions of \\(L\\)-valued set of [\\textit{U. H\u00f6hle}, ``\\(M\\)-valued sets and sheaves over integral commutative \\(CL\\)-monoids'', in: Applications of category theory to fuzzy subsets, Mat. 11th Int. Semin. Fuzzy Set Theory, Linz/Austria 1989, Theory Decis. Libr., Ser. B 14, 34--72 (1992; Zbl 0766.03037)] and partial \\(\\mathcal{V}\\)-pseudometric space of [\\textit{R. Kopperman}, \\textit{S. Matthews} and \\textit{H. Pajoohesh}, ``Partial metrizability in value quantales'', Appl. Gen. Topol. 5, No. 1, 115--127 (2004; Zbl 1060.06016)], the current paper provides a more rigid formulation in terms of category theory. More precisely, it establishes equality (isomorphism) of certain categories whose objects are the above-mentioned concepts, thereby lifting the achievement of M. Bukatin et al. [loc. cit.] to their morphisms. The categories in question are considered as both fixed-basis (in the sense of [\\textit{U. H\u00f6hle} and \\textit{A. P. \u0160ostak}, ``Axiomatic foundations of fixed-basis fuzzy topology'', in: U. H\u00f6hle (ed.) et al., Mathematics of fuzzy sets. Logic, topology, and measure theory. Dordrecht: Kluwer Academic Publishers. Handb. Fuzzy Sets Ser. 3, 123--272 (1999; Zbl 0977.54006)]), thereby getting their equality, and variable-basis (in the sense of [\\textit{S. E. Rodabaugh}, ``Categorical foundations of variable-basis fuzzy topology'', in: ibid., 273--388 (1999; Zbl 0968.54003)]), thereby getting their isomorphism. As a consequence, one obtains a convenient correspondence between decompositions of \\(L\\)-valued equalities as global \\(L\\)-valued equalities and extensional maps, on the one hand, and representation of partial \\(\\mathcal{V}\\)-pseudometrics through weighted \\(\\mathcal{V}\\)-pseudometrics [\\textit{S. G. Matthews}, ``Partial metric topology'', in: S. Andima (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18--20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 183--197 (1994; Zbl 0911.54025)], on the other hand. The underlying idea of the above equivalence of the two notions is the fact that while the concept of U. H\u00f6hle relies on quantales (the prefix \\(L\\)), the notion of R. Kopperman et al. [loc. cit.] relies on their duals (the prefix \\(\\mathcal{V}\\)), thereby substituting joins with meets, the respective concept axioms being (almost) identical (modulo the duality).NEWLINENEWLINEThe paper provides a convenient introduction into the theory of both \\(L\\)-valued sets and partial \\(\\mathcal{V}\\)-pseudo\\-metrics (suitable for almost every reader), paying particular attention to their underlying algebraic structures, namely, quantales and dual quantales (in the language of the paper). All results are clearly stated and much commented upon. Such a scrupulousness, however, tends to (slightly) boost the main achievement of the paper, which is nothing else than just a (more convenient) restatement of the already presented result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q419040$BB5A3DB3-C6DE-4DCF-AF53-54CA3A6203AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The order-theoretic duality and relations between partial metrics and local equalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_order-theoretic_duality_and_relations_between_partial_metrics_and_local_equalities"}}}}}