{"entities":{"Q1811031":{"pageid":1821773,"ns":120,"title":"Item:Q1811031","lastrevid":69020544,"modified":"2026-04-13T03:46:53Z","type":"item","id":"Q1811031","labels":{"en":{"language":"en","value":"A triangle inequality for measurement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1925060"}},"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":"Q1811031$67FB0D3C-60F9-439E-9CF8-A6A4AF36E04D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3583e7f646d9979161db76af0efce46437fec8d6","datavalue":{"value":{"text":"A triangle inequality for measurement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1811031$8F2A12BA-21F3-494A-A052-4FEA13884B8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658a9f7b3cfda4a9e479cddcad3c591192a29921","datavalue":{"value":"1030.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$28E55B75-AA33-47DB-AB56-9722EB466A6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee57dac6ac2f7d6e6a341a7e023be78d6cf4a37c","datavalue":{"value":"10.1023/A:1023060808053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$1F4EE616-75E6-400B-A03C-932E25290406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2492470954a3998637a7f7900747c6583ff7f731","datavalue":{"value":{"entity-type":"item","numeric-id":418822,"id":"Q418822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811031$DCF75691-5A0B-48F7-8318-76A2EF0E6402","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811031$5FE3A7CA-02F5-4FD6-9334-6D56D4EC8878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2d0e39c696776e04b9e53093e3633112a8f4686","datavalue":{"value":{"time":"+2003-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1811031$29F6F5F3-3C9E-4E4B-9A13-6655AF5AD2D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7b6ad4c34a626e2ae4d16d26e24206cc8fb2f4b","datavalue":{"value":"A measurement is an upper semicontinuous function \\(\\mu\\) from a continuous domain \\(D\\) equipped with the Scott topology into the nonnegative reals which takes the value 0 on the set \\(X\\) of maximal elements and induces the restricted Scott topology on this maximal set. (One typically views \\(D\\) as a domain model for \\(X\\) and the measurement as providing a quantitative measure of the inequalities of domain theory.) In this paper the author introduces a triangle inequality for measurements; which enables one to construct a metric for the space \\(X\\). The naturality of this construction allows the author to define a modeling functor from the category of locally compact metric spaces and Lipschitz maps to a category of bounded complete domains equipped with measurements satisfying the triangle inequality and an appropriate class of morphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811031$F1086F04-F402-4B5D-BCCB-F8F7DCBD8C33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$5E29E153-1B59-4DB9-91A6-275D2A4D5B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$7212854F-B91F-4EFD-AD91-4944C87A0E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$9239BB0E-50B0-410C-B2DA-93F94A5AB525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4032e9bfc5d01f5f0075235d86c80bbd401c67","datavalue":{"value":"1925060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811031$B21612C2-07AF-49C5-A4EF-C9F2F8970C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811031$7CED5A36-0E79-41F6-A228-6CA556EA2A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5052c3f6c62873eabc44cf2905cf1b33029c221c","datavalue":{"value":"maximal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811031$AB4F0E59-4F2A-41D4-8555-B2CA65B13424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811031$A07846B9-2FE7-45BF-AD2C-015F4A4AA00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda41adc453c45a375111b646597f1154ba456d5","datavalue":{"value":"metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811031$4E05BCBF-6BD2-4E46-AE45-49BC90244EB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811031$1C16DD8F-BC60-4D38-81A8-3F46754D0F6A","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":"Q1811031$CB1A3030-E874-4A87-82B8-5F6A1EB9CF71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142f320fc9536dab44d1bbaf8c74f75a1be10d86","datavalue":{"value":{"entity-type":"item","numeric-id":4917069,"id":"Q4917069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97f06d0238320d3f0580243890eb3d414b8170f","datavalue":{"value":{"amount":"+0.7956814765930176","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":"Q1811031$314B392B-357C-4FA0-996F-77CDFF23989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e821b5a04f4f110838efff84267abb72f8755a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4811665,"id":"Q4811665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0eeaacc4d479aa25fccea404ec3eeacc0c91a3","datavalue":{"value":{"amount":"+0.7662484049797058","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":"Q1811031$84F45B6E-139C-47A4-B539-4C4ECB8FF638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9424d7d209018a8784da63df7e7ea42c3cb032","datavalue":{"value":{"entity-type":"item","numeric-id":3370409,"id":"Q3370409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438228600bc771d0e03a1664e8f91d11019be56e","datavalue":{"value":{"amount":"+0.7640290856361389","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":"Q1811031$E596A4FC-C932-4CC8-B907-9FEC2660E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6df5b5ecba5ef9b1ccf518b5bff83f970ed8cb","datavalue":{"value":{"entity-type":"item","numeric-id":1811032,"id":"Q1811032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b32c895a858e340deaf312188fbed23758da4a","datavalue":{"value":{"amount":"+0.7568965554237366","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":"Q1811031$F6AFD1D5-D066-429D-822C-40F9C9819F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75958aae4e415d01629afaa96d04768de5e99225","datavalue":{"value":{"entity-type":"item","numeric-id":1884874,"id":"Q1884874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2616bedb13e140e4d0706a903c9fad8fd7a1b4e8","datavalue":{"value":{"amount":"+0.7448270916938782","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":"Q1811031$A07A8451-9CD9-484D-933C-DDEA5E767A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A triangle inequality for measurement","badges":[]}}}}}