{"entities":{"Q897978":{"pageid":899826,"ns":120,"title":"Item:Q897978","lastrevid":52409897,"modified":"2026-01-22T14:19:46Z","type":"item","id":"Q897978","labels":{"en":{"language":"en","value":"QC-continuity of posets and the Hoare powerdomain of QFS-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517544"}},"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":"Q897978$B55E047B-6B55-4402-A103-858AAAE88042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa75b38cb7a5ce7a4ef604353ea0da4768bc4f16","datavalue":{"value":{"text":"QC-continuity of posets and the Hoare powerdomain of QFS-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897978$668BF286-2752-4BB1-A69A-1941BA1F09F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91a141f4dfe5ed8e407c54fac3098134e56aa98e","datavalue":{"value":"1329.54035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$04CACFD1-1102-4D13-865C-F474F43D2ECE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfddd60213efcf46742455705f9ab0f22ee9ce4","datavalue":{"value":{"entity-type":"item","numeric-id":271688,"id":"Q271688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$1D16BAB1-5F7D-46E6-B0D9-569AD3242D5F","rank":"normal"},{"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":"Q897978$EE0C759A-033A-43D8-B650-00F762EC250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d02c5ea3f4aff99d801cf49ae929e30144c1ee5","datavalue":{"value":{"entity-type":"item","numeric-id":433033,"id":"Q433033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$8FE8BD17-D691-499A-92DD-6F1249B6D620","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":"Q897978$1DCC8051-2E5C-4BB2-9A58-ECDD853968B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55afd84e834d230d3852aaa2c2d1c30ae006c32","datavalue":{"value":{"time":"+2015-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897978$3492580A-C2B4-4462-8D98-DA11DF775719","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54989724f2cb15abad54bec24c0ef3af8964bac0","datavalue":{"value":"The authors prove that a dcpo is quasicontinuous iff its Hoare powerdomain is, and the Hoare powerdomain of a QFS-domain is also a QFS-domain. Along the way they treat and use various generalizations of the way below relation and resulting notions of continuity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$A6D75DE2-AF24-45C4-A011-49124EDA61B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$8F2301DA-DBD6-4B41-9307-5D5220BDCFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$2F41CF39-38A1-421C-9B3D-7FDBC356BA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$FD7A4843-3B14-4555-92F5-0F06CEE5B793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$6DDDAA97-BBBD-422E-B537-BB8BE2FD9DBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c33cc93e91bf6e2ee2cf1e816110d74e7a34ab9","datavalue":{"value":"6517544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$D520533A-4B28-471E-9F30-1CFD10DA6604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101edf4c01b6f9635c8a2888cef93c690ca6c7bd","datavalue":{"value":"quasicontinuous domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$5D738F48-1E13-49DD-90F4-C2BB9A76E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338148f5241c2e522f6e544f5746340a013cef1f","datavalue":{"value":"QFS-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$DC061616-F720-4408-8842-2FB19C2A3A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1089bb3e9fc7a2ebadabcee08f415f7617988b","datavalue":{"value":"GCD lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$0FE0D2AB-6D0B-499C-8032-241C8F68D852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f15ad5793c550bdf9e162860c6932b1e8ec236b","datavalue":{"value":"QC-continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$41F3EC99-414C-47DE-9DA6-E280A9377292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$642D94E9-5F44-4156-809B-D401C1BBF840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6408bdcfee2480f092b57c28fd9d4d9bdf67d85","datavalue":{"value":"Hoare powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q897978$2E0D9CDA-360F-4AFA-AD72-2710622F22E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$0105A50C-A93A-4A1D-8CDB-773B3C005C6D","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":"Q897978$8FB754FD-92DB-43C5-9671-0D9B257F607E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cc6f1cc41e527c56ff389799dc32478c665ae8f","datavalue":{"value":"https://doi.org/10.1016/j.topol.2015.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q897978$29640262-BE87-40B2-A44E-5EEBCF202349","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f1e11c9b7545d620ef9de73e17e645d2edc5cd6","datavalue":{"value":"W2146578052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$817378BF-637E-48FB-9BFD-6EB67AAEE2E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$84ADFE6F-323E-4665-83CC-82A50A57C638","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":"Q897978$14E04B92-02CB-4D8A-8E98-A7A13E466362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b1f75c05f4a5f34bc64d5f9b51e060ad87ad09","datavalue":{"value":{"entity-type":"item","numeric-id":3310666,"id":"Q3310666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$D1DC8CB5-5C83-411A-9703-56FC683126B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d1a9054eff3b9184698bf176bf8ed12f78a89","datavalue":{"value":{"entity-type":"item","numeric-id":2881081,"id":"Q2881081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$525E6D24-BF87-4F58-8F1D-4EFE7D45E9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435d30d02d83d2e00f0406314cde56c73a75aed5","datavalue":{"value":{"entity-type":"item","numeric-id":283758,"id":"Q283758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$BA1D7F06-6E9A-4500-9E64-751723B1AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c1f0d20fc73ac81eb962b0fcc2d0176b63f505","datavalue":{"value":{"entity-type":"item","numeric-id":1183553,"id":"Q1183553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$A3242131-4ABE-44B8-9EE8-5EA7FF426D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df55d7260f6635a9eb8f700b574404e9c4499644","datavalue":{"value":{"entity-type":"item","numeric-id":265813,"id":"Q265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$031B3BDE-2AD7-4B6F-9EBB-3E25EF039E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f9a86bdce90ab2f020ed1bf1785a72b28ee4a2","datavalue":{"value":{"entity-type":"item","numeric-id":3057284,"id":"Q3057284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$3249A8D8-04B1-4DB2-8C90-C7FFC60D35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cf6cc2a787811b4d97ab2a8f76f9ddeaf39d90","datavalue":{"value":{"entity-type":"item","numeric-id":4104974,"id":"Q4104974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$F6452385-7BFE-4525-A2FB-34EAA7910676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$29079A4E-0A33-4A00-8CC2-37C7B25EA41C","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":"Q897978$7704B515-4A70-4A2A-9D15-443C808BE4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71afc0b8c24385dd8262d56f2209d13519473807","datavalue":{"value":{"entity-type":"item","numeric-id":2351719,"id":"Q2351719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$69D95B3D-61B3-4C5C-8AC8-D42C88813043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fd446770b7d4fee675d950930e144aea5dba58","datavalue":{"value":{"entity-type":"item","numeric-id":1943689,"id":"Q1943689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$302B7779-244B-4580-8573-605FB916C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc1a59b6cdab3923951233498fbd35696cddf5e","datavalue":{"value":{"entity-type":"item","numeric-id":878153,"id":"Q878153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$6D69478A-13E9-4DD9-8FF0-71E9E6C96098","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":"Q897978$28A21343-B8BA-4B79-A539-1A0B668CFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd09e263a4ff96094a828bada47dcb345a81f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5824707,"id":"Q5824707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$DA1EA9AD-5198-46A2-899D-50F2E172EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f6504587fed616f872f873f14190333098b9b4","datavalue":{"value":{"entity-type":"item","numeric-id":2641323,"id":"Q2641323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$DA0F41DA-69FF-46A8-9C29-80ADBD34FF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f02547babeec0cc4b59710846f5a7e79346444","datavalue":{"value":{"entity-type":"item","numeric-id":607459,"id":"Q607459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$66BE0664-2E03-4E15-A9F3-BE7101180B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e89414ededcdad9ed1ce605b591ac680578566","datavalue":{"value":{"entity-type":"item","numeric-id":5062781,"id":"Q5062781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$6B7F6DF1-CD4D-4138-A45E-1F5C9BCF50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c47a21dbecba2c0bd99d43948df6153b4736efa","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897978$C34BD13E-ED2E-4656-A99B-1CB401682E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"315dbcaca1df1ade2a8cecb5d659605d3a30ff40","datavalue":{"value":"10.1016/J.TOPOL.2015.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897978$7BC63E12-59B0-4D85-9D47-E0577163FB17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6202d21d2e2aee24bda468747d8c1acff863bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1676530,"id":"Q1676530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a113feca7dc31d79799914daffb20a2a2902d73","datavalue":{"value":{"amount":"+0.8043481111526489","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":"Q897978$105884C7-1BDE-4D31-879C-DFD7EAFC63CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d390590d79e9667327371a190a989d7f228a9e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2351719,"id":"Q2351719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1bfd85c724f12f174a649667f0f3b086754b21","datavalue":{"value":{"amount":"+0.7954368591308594","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":"Q897978$E846236F-6DB4-4253-9F38-42FF355D0334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca815afe6f75cd2c39462e9eb53ca74f6819c27","datavalue":{"value":{"entity-type":"item","numeric-id":4926056,"id":"Q4926056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845a278693c0662fa3776660aa4b47d724cb3226","datavalue":{"value":{"amount":"+0.7905575037002563","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":"Q897978$3C7E7EB8-5A43-411F-A525-983816D48F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df544c550ec0ebb5c9c7c7e47d4eeb423883b41","datavalue":{"value":{"entity-type":"item","numeric-id":2355457,"id":"Q2355457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b44684e1f51c357d53031a69dcf2048d2243e1a","datavalue":{"value":{"amount":"+0.7902262210845947","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":"Q897978$579889D3-DD67-4A7B-A09A-DD585894AAE5","rank":"normal"},{"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":"461e12bb32592c7d58313bc17f3b4c18b7a4b8f2","datavalue":{"value":{"amount":"+0.7818382978439331","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":"Q897978$839EFBD5-1F41-4EEA-B6A6-55BEC9B1623C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897978"}}}}}