{"entities":{"Q1811032":{"pageid":1821774,"ns":120,"title":"Item:Q1811032","lastrevid":69020553,"modified":"2026-04-13T03:46:53Z","type":"item","id":"Q1811032","labels":{"en":{"language":"en","value":"Quantitative continuous domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1925061"}},"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":"Q1811032$98487EFF-5DF2-4632-AD4B-1310846BF73D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77f937cc188813ee2e3eba0df308953d2acdb4f3","datavalue":{"value":{"text":"Quantitative continuous domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1811032$B9F469D0-48F3-41FC-9A27-3F29180CC6DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eea5a1a2102ad0add4223b8fe2e0903a4785316","datavalue":{"value":"1030.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$D74EEC99-FCE2-49D3-877D-FBE03A325A6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9daed0c67c9d8e0032ae3230ef2c3a4423d8a771","datavalue":{"value":"10.1023/A:1023012924892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$FC24F294-4AAF-49AD-918E-FDE0CEDDE944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f616bca6a150eb25dfb5663aa7286d07690a80e","datavalue":{"value":{"entity-type":"item","numeric-id":276491,"id":"Q276491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811032$97DBF073-B986-4322-BAF9-8DFD661EC57E","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":"Q1811032$76FCC4D4-FBDA-4C92-A2BB-602B03B670D2","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":"Q1811032$D5E86A77-2B8C-475E-A4C3-C0934DA86CE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35de761fd2997383cf4edcb2f4fa1fd5cbe75a80","datavalue":{"value":"In this paper the author relates two basic notions from what has come to be called quantitative domain theory: partial metrics and measurements. The author defines stable partial metrics and weakly modular measurements and shows that each gives rise to the other under dually inverse constructions. It is further shown that every \\(\\omega\\)-algebraic domain admits a partial metric whose associated measurement takes the value \\(0\\) precisely on the maximal elements. A partial metric gives rise in a standard way to a metric and results containing the completeness of this metric are also obtained. The results are delineated and illustrated with a variety of examples and counterexamples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$8B9D7591-E6D0-472C-A9A7-890CC01ACCCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$C60765E1-B4EF-441F-B851-5AFB5499A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$0EF23412-E8A7-459D-9BF6-A67C2100F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$CD9E662F-3B71-4249-B64A-9ED92BEF7B3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efc335ffc84cb4fbb147634230ad14eac4a2ce08","datavalue":{"value":"1925061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$D2E74D2E-25AF-473D-962B-82940D6E67B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564ab799f795a506128c19c4f59f7d1f80d25fcc","datavalue":{"value":"partial metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$295A20D7-FCD4-4E84-8251-EE971140A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d70d804f4048910d48bf32989795240a1211eb","datavalue":{"value":"quantitative domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$DA2200E1-67D3-41E4-9290-072A97C21C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5052c3f6c62873eabc44cf2905cf1b33029c221c","datavalue":{"value":"maximal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$BE9F1B50-2D1A-4F40-8C47-A79F877E13F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$5CCA02D3-6CC5-4DB2-8DB1-87FE2665C84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda41adc453c45a375111b646597f1154ba456d5","datavalue":{"value":"metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$EB71967A-56A7-4F41-8688-9C091CA55A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5d058725d46bb5fdaa270a55d77d3715ffd5b2","datavalue":{"value":"measurement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811032$BAB8580A-F172-4C89-A94D-F3655B0912BD","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":"Q1811032$BE1FEF5D-B1F3-4FDD-B26A-021EBD4BD5BD","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":"Q1811032$16F3126B-E1F3-45DA-9FF5-AE9056D6D4E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d9adefbee9528c18ce087c55844664c93e97f2c","datavalue":{"value":"https://doi.org/10.1023/a:1023012924892","type":"string"},"datatype":"url"},"type":"statement","id":"Q1811032$0A073EC6-2DF7-4E61-ACC6-77F890200E5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1499cb3de4521c2ef2cfb36c8a66d55e7ce3061b","datavalue":{"value":"W123643795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811032$929C8D05-9ABC-48CF-AB1B-C80FEE94C61F","rank":"normal"}],"P1643":[{"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":"7bb0c310ea07ce37144b1d4887ef6cf151db231f","datavalue":{"value":{"amount":"+0.8689345717430115","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":"Q1811032$981C7FD7-8614-4243-B5D5-EBE510F1C308","rank":"normal"},{"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":"b0b12f78653e1b9ae2e7af091e4bb3eac9ef0666","datavalue":{"value":{"amount":"+0.8446518778800964","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":"Q1811032$B31B9629-61E6-43EF-9B92-2177FD66411B","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":"e9872a425c1a781544284f6df53f82c636617f76","datavalue":{"value":{"amount":"+0.8186498284339905","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":"Q1811032$B00A1546-0AA0-475C-9B4B-3F4858B3379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c06a1b33d6cbeac2bd59ceb25edb9566c215534","datavalue":{"value":{"entity-type":"item","numeric-id":5492940,"id":"Q5492940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2555e1442857028380fc00e53fef1befc8ba45","datavalue":{"value":{"amount":"+0.8088506460189819","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":"Q1811032$5F74D5BF-7A34-44BE-80A3-6D6CB37F4B3D","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":"9a17cd391e03a6e741e9f5499785744b1c21bafe","datavalue":{"value":{"amount":"+0.8065564036369324","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":"Q1811032$ABDA813A-ED88-45C3-A114-10AB5797C6F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative continuous domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_continuous_domains"}}}}}