{"entities":{"Q800730":{"pageid":802578,"ns":120,"title":"Item:Q800730","lastrevid":64469160,"modified":"2026-04-11T20:04:51Z","type":"item","id":"Q800730","labels":{"en":{"language":"en","value":"Total objects of domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878365"}},"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":"Q800730$F302D36A-457B-46AC-BC3A-0DDBFE7258ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe9e74c9be65d8403f9ab64b04671d6edcece0b2","datavalue":{"value":{"text":"Total objects of domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800730$9D963F6A-E5E7-40F7-92B5-6681C056E77B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8f5a50f96b456fd0cd4b4ccac8a631fb1ede73","datavalue":{"value":"0551.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$C9DC0000-499D-403A-B423-7C8ED2651305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84c0082084347a6024daf708e66e5bbab23a77a0","datavalue":{"value":"10.1016/0304-3975(84)90055-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$EB552F05-CE36-4BEE-8F83-6E22FDF78A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2867839381c736ca55f750bfdac192f382282a5","datavalue":{"value":{"entity-type":"item","numeric-id":800728,"id":"Q800728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$5B59A9DB-A971-429A-9C97-7A9BBE767EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b9550958ac24d0ef0553bbc9cd3b8d565d4296","datavalue":{"value":{"entity-type":"item","numeric-id":800729,"id":"Q800729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$B62B9A84-5B6A-4943-94B2-E8FF419EF394","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":"Q800730$9569FCD9-2AE4-4404-A122-A1E072C786F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800730$D951B088-D7FD-44CB-B281-2E4EE0ED82AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a45ea997516ad597ac9d1342584e4b1ada0d4feb","datavalue":{"value":"The main result of this paper is a characterization of the space induced by Scott topology on the set of total objects of a bounded-complete cpo. This characterization is simple with bounded-complete algebraic cpo's where a family of clopen sets plays an essential role in the characterization. In the more general case of continuity, one can only produce distinct families of open sets and closed sets to axiomatize the essential properties of a total space. Besides the main characterization, we also discuss its relation to continuous spaces, studied in our earlier paper, and the relation between compact \\(T_ 1\\) spaces and total spaces under the lower topology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800730$B80476C8-CD87-4304-9FDB-DB14BDC8FAA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$522B177F-2619-42FB-9880-9E62E0CA43BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$221F8E0C-47EA-4269-8CA7-0E4CF5DF8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$6744704B-55B5-4FA3-A11E-030FF63DADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$3A20E783-B77E-4C7F-83DC-43B4C35D702F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9040afb991721b17f44866f5341e3a8b0c2121c6","datavalue":{"value":"3878365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$C9DE62B3-DA83-45A4-A5E7-861515ADF1C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q800730$C7DC97F0-C7CF-453B-9568-8938D4B1AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q800730$E3CFF953-F504-4391-924B-FAEA0B0A72AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2eaa7b8b6cdc803157fb7303fed1d3ddb84f3","datavalue":{"value":"total objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q800730$648722F9-21A3-42BD-8CA6-E331DFED464B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b972d198031370d3e4d5143ec26a843c755f146","datavalue":{"value":"bounded-complete cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q800730$6BA95F29-88A2-446D-9B55-1CFD0A2DA1C7","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":"Q800730$CF1F9DBE-7547-4528-B6B6-7986C7B4C046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d64ecc76f716dbdf2d90d1bd835cc14a55d41cc7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90055-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q800730$22FB77EA-1FD6-443A-8D5B-7016ADCE7D3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70443e617c1711d5f0d0a309acd6c77c4e5e8522","datavalue":{"value":"W2027362343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800730$AE6E89B1-FB69-4033-8E2C-1405FA17D62A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$54892728-EBDA-4EFE-B2B3-ADF874E2E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fbe4d57ee638c21da9a8d8dbb071257ac3948c","datavalue":{"value":{"entity-type":"item","numeric-id":5541832,"id":"Q5541832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$B864F3C5-2501-4E1D-843B-31077F885C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c99bb90ae4b95253175aca72f713646f79b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2625366,"id":"Q2625366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$87000B0B-C830-4C68-92A5-9756C4B8E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427c11ad34c2d9fe2a174ae57be7980961b497f5","datavalue":{"value":{"entity-type":"item","numeric-id":5402546,"id":"Q5402546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$802877A1-BC08-4763-8970-E1B8114E6932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b943b497557fbadd06dadccede7f3ee2e4029b37","datavalue":{"value":{"entity-type":"item","numeric-id":4766044,"id":"Q4766044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$8BFC51FB-4D6D-4FEB-82FB-8220711CA280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800730$7C927F6B-9DED-485F-997B-7708843326DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a49022c60264daad69dcd704b2465e00a7ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":3318764,"id":"Q3318764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2df572a2a16b4fad8ac58b790792c0e5cdfb48a","datavalue":{"value":{"amount":"+0.8000252842903137","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":"Q800730$96FC0CFB-0B7B-4D64-AC3A-8D7492405F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa87ea6008cd0f9998c77d12cb41e7419b1c5a73","datavalue":{"value":{"entity-type":"item","numeric-id":1210138,"id":"Q1210138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5f5406d3b2de54244eba2e1764b4876e18b763","datavalue":{"value":{"amount":"+0.7965875864028931","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":"Q800730$5003446A-CB02-4985-B25F-1FE55DB59CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ead354ba5578df16003b5a4aae3a515f1e831c6","datavalue":{"value":{"entity-type":"item","numeric-id":2743651,"id":"Q2743651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e5544904ea07c6d33f574ec003877ad5faab52","datavalue":{"value":{"amount":"+0.7586630582809448","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":"Q800730$48B7A1DC-A1EF-43C3-8D1D-F770C5E9E137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d97716211a2ee852393bd656dbc917cc0f4c99","datavalue":{"value":{"entity-type":"item","numeric-id":1814857,"id":"Q1814857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10afd7fa8215a3fbf8d01ad626ed027775720f45","datavalue":{"value":{"amount":"+0.7415612936019897","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":"Q800730$7552ABC6-74AE-4FE6-8BE3-FB44EF9AAAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874b3307fde7c1ae95e690ae31693bb931b38fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4513573,"id":"Q4513573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65ab9f7f4da9fb9c671e9fc374be89fe35df55a","datavalue":{"value":{"amount":"+0.7380127310752869","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":"Q800730$CDFFA104-60AC-4120-B34B-349299D88746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Total objects of domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Total_objects_of_domains"}}}}}