{"entities":{"Q2493897":{"pageid":2504640,"ns":120,"title":"Item:Q2493897","lastrevid":49856758,"modified":"2026-01-11T08:51:33Z","type":"item","id":"Q2493897","labels":{"en":{"language":"en","value":"Continuity of posets via Scott topology and sobrification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5033418"}},"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":"Q2493897$8B648473-9AF1-47DD-A389-3FBA6B1E528F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d869639c686905237c4cc54296eb0e050cdda22b","datavalue":{"value":{"text":"Continuity of posets via Scott topology and sobrification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2493897$2224D8E7-9074-4720-8338-4FE10BDE7F9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a62f0df53f945902b5fca7add6e12ddc3fddeae","datavalue":{"value":"1104.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$DB896E1E-DF57-47D7-8F87-143F7CFBB30B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9fe92a06efb137ba268d44b69fcc91a245bc71","datavalue":{"value":{"entity-type":"item","numeric-id":221087,"id":"Q221087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$F117E0CE-0296-4343-979E-521AD128BE14","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":"Q2493897$41400C52-AB87-408C-ABB4-957EE4B1DCB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9867ede6d48380dfdfaea44fb9becad3e353add","datavalue":{"value":{"time":"+2006-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2493897$CD6F7026-F077-4119-9C6A-423E30CF6CFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4dbc03fb0f8359d453caec5de0cb66f38d9b6f6d","datavalue":{"value":"The author shows that a poset is a continuous poset if and only if its lattice of Scott-open sets is completely distributive. This generalizes the older version of this theorem proved independently by R.-E. Hoffmann and the reviewer for the case that the poset is a dcpo. (The two results are related since the sobrification of a continuous poset equipped with the Scott topology is a continuous dcpo equipped with the Scott topology.) The author also introduces the concept of an embedded basis and shows that a poset is continuous if and only if it is order isomorphic to an embedded basis of some domain, i.e., continuous dcpo.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$EC601B3F-DEA5-4618-ADC4-F3C45A4AF5DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$0461CF96-1B80-4334-A548-FBC0527DF026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$AFE247C3-400D-4271-92D4-7AE366867958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe26fcf5dbf78028c0aa5fbe161ef60c0a1a7ec","datavalue":{"value":"54H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$EDF73BD3-F75B-437B-BCF2-A261103D8BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac3581b7730a113670559af976d02921c0d1aaf9","datavalue":{"value":"5033418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$F0267F5A-796F-4A25-AA9D-336368C62545","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c469f203bd5434efc40c3d9a4d11a5d9e8d47cd","datavalue":{"value":"continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$9AD58F20-2B32-4D95-BF82-6B6C02299B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$952E3615-9531-4B00-9ECB-BF38114118E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34312af5d2406130986e4d2dcbe3e87313e811d5","datavalue":{"value":"specialization order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$20060F18-7B84-4AB9-8AB5-0F09717675D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6f14b4b6220fa683a7c9ab34c90814123e169d","datavalue":{"value":"sobrification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$FC039831-1FBE-4613-942B-56AA5AD7408A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493897$98FCAC44-E60C-44FE-82C4-7C8DFD0C89B5","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":"Q2493897$17C3B6F1-5B94-4481-8D2C-B28384DC31C1","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":"Q2493897$D2078A9D-85F0-4742-88C9-F725FC627239","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0461e0e65d487180420796e3da467c2d5b5be023","datavalue":{"value":"https://doi.org/10.1016/j.topol.2004.02.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2493897$167CE08D-0DA8-4994-8715-B96A1F3BADDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33345dc4765b40a5aa496eac53ff327e52288dea","datavalue":{"value":"W2028102003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$310FFBB7-6A7E-4EE1-90EB-8CF7F6160115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$705441AB-C9C8-47FE-A41F-767713844B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$18940BBE-FC17-4FDE-84B8-AA22D1EFE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$21079108-6444-4826-B127-6075C12FB1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd51f456c10a53c261e43bf0966ba17ad5e28839","datavalue":{"value":{"entity-type":"item","numeric-id":4500940,"id":"Q4500940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$76081688-2648-4960-9716-F0075723F324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e392df506e5e21eb59f9eba2d7172375a20b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1873745,"id":"Q1873745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$07005256-B90D-42C3-B7F3-F2BB1653156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$A85F2A60-F76A-4F33-90BD-575E05F4EF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93aa06264fd98b1b73d652690f22c8dca0cb5a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2367896,"id":"Q2367896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$BA26A9A0-2588-4016-9B4E-CA84A1BD7E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c26ab9bd04f51d45b38311ff31acd48baab033d","datavalue":{"value":{"entity-type":"item","numeric-id":1099835,"id":"Q1099835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493897$6AC98C30-4F17-48E6-9210-29A16E0F7E9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4706d9c35f31b34ad1d742a0a0b2a45a8242df19","datavalue":{"value":"10.1016/J.TOPOL.2004.02.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493897$21BB12DA-D55D-4657-AC62-C06DB67D22F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4701dfd40c10fdb51e723f140402867a1d50e9","datavalue":{"value":{"entity-type":"item","numeric-id":878153,"id":"Q878153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa5d148d84473e455cbc4b6704698169ee5efec","datavalue":{"value":{"amount":"+0.8647253513336182","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":"Q2493897$EB9793CD-5C06-42E4-96F8-6A1067A4FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1bc8c6b121ac43e243ce5c8561bafaa4bfb6239","datavalue":{"value":{"entity-type":"item","numeric-id":5319000,"id":"Q5319000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22aa8ace0d1b6a80519ce2384a68bfb0a40a3bc8","datavalue":{"value":{"amount":"+0.8574787974357605","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":"Q2493897$D4303DCF-9176-4386-BB56-2495D2591489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d30428b02ab3a796d9deab1face788aa4cc041","datavalue":{"value":{"entity-type":"item","numeric-id":4285716,"id":"Q4285716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b1b791b32c33a1abb46b8e9b38259e64966f6d","datavalue":{"value":{"amount":"+0.8186867237091064","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":"Q2493897$2035B1A0-E809-4D14-84E4-9AE15A4AB4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cead69ef8be86453ca31b960197b8728194b9dd","datavalue":{"value":{"entity-type":"item","numeric-id":932355,"id":"Q932355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbda789939915e9c27986b00baf98b5490b04932","datavalue":{"value":{"amount":"+0.8014170527458191","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":"Q2493897$B7FFB497-09F7-41F2-A419-5141F4979AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c145f16f9dcb5790f1612ecb5db3b9277577be94","datavalue":{"value":{"entity-type":"item","numeric-id":938481,"id":"Q938481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e01cdd17c1712220aa39a7739014534f0a98aba","datavalue":{"value":{"amount":"+0.8006300330162048","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":"Q2493897$59D07F91-FFA5-4751-8E07-FE697C0133FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2493897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2493897"}}}}}