{"entities":{"Q2367896":{"pageid":2378639,"ns":120,"title":"Item:Q2367896","lastrevid":43964961,"modified":"2025-11-18T14:12:24Z","type":"item","id":"Q2367896","labels":{"en":{"language":"en","value":"A note on continuous partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 270002"}},"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":"Q2367896$1AE5E502-9274-4048-AD19-C135DE22A0FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c994bb7ce1da9f72e9853cc316cd198d563a9399","datavalue":{"value":{"text":"A note on continuous partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367896$CE583C54-DC49-4D95-8432-BA8CC1E05DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09073e89520cba4a30ed6b811e831e8ea22b68c1","datavalue":{"value":"0777.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367896$C48861FA-5D51-4A5F-AFC0-0ADBDBEBAB1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eaef586d81dcfe3db0dacc4732b62bb99d3b7f3","datavalue":{"value":"10.1007/BF02573745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367896$1985B01E-598B-4B41-8AD2-AB723D537588","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"762c452a627ad4e5c9d0410123a67f415de9badf","datavalue":{"value":{"entity-type":"item","numeric-id":324383,"id":"Q324383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$D59C89D6-2EC9-4198-BC5E-C3ACB4C96A06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$9C59F854-5BB6-4F65-929C-6F81679A6970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367896$19E51911-BD9F-4565-B5E3-8F196FE4FDB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfa512fddb65bced9bf04dabeeb01747f06c06f0","datavalue":{"value":"https://eudml.org/doc/135258","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367896$ADD179C6-6844-49EA-AC27-6562EA5C556F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc2d3e10417677d8618110f58f2fe08ac071fbb9","datavalue":{"value":"The notion of a continuous lattice as a model for the semantics of programming languages was introduced by D. Scott. Later, a more general notion of a continuous dcpo was introduced. In this note, our work is based on an even more general notion of a continuous poset, which is called a precontinuous poset and defined by \\textit{K. Hrbacek} [Algebra Univers. 28, 230-244 (1991; Zbl 0747.06005)].   The purpose of this note is to show that a known necessary condition for a partially ordered set to be continuous is actually sufficient. In so doing, we introduce the notion of weak local compactness for a poset, and show, by an example, that the class of locally compact posets is proper in the class of weakly locally compact posets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367896$CDBA28FC-8746-46E4-B7FE-3FA5F6AFEA7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367896$0E1C7DB6-E3AA-4E54-B4B5-CD9D072E90AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ab093af7ad16c4b38be5509b2a9b7148771b5f0","datavalue":{"value":"270002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367896$CA4B4ADE-64FB-4A1C-9F98-E3F06B593F04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c469f203bd5434efc40c3d9a4d11a5d9e8d47cd","datavalue":{"value":"continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367896$D40AFF91-64A9-4295-85E3-B477DDAA063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc57887a7e44efaefcb2884e56c756e5c4b6e9f","datavalue":{"value":"precontinuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367896$1440A4D1-474C-42E0-9218-734BC5576D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895f9d1d74b28bc9eeb3c98f71dd36ea08cbdd57","datavalue":{"value":"weak local compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367896$6FFFA1C4-3BF4-47F5-A6C7-8DA691B600D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90ce85193a0f6b6e6cb727eeea1d3652adbc354","datavalue":{"value":"locally compact posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367896$3902EC3B-2F3A-459C-AD81-9D7632B8D419","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":"Q2367896$9215F831-447F-4744-96EF-77F4B87D83B2","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":"Q2367896$ED11C22F-6BAA-4202-B6A5-F4BAEEB38993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec280e1c9cf3011186c57ffd31700d6c42688087","datavalue":{"value":{"entity-type":"item","numeric-id":1175931,"id":"Q1175931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$DF278F68-2DD1-43AE-B1D8-F7A91F5B0235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8704d06c1649afb522f1aa88d4e2f7421bf5112","datavalue":{"value":{"entity-type":"item","numeric-id":3922730,"id":"Q3922730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$396A46FA-3B40-41D3-9871-0149000D2EFF","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":"Q2367896$80560CD2-C4F4-4E45-9CF0-D41645B32706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd429f261eefdc6ca8ec98f0c5569a0148b6f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3975029,"id":"Q3975029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$0F79F63E-3E86-4D04-AB21-DD3A24947676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367896$B21FA113-07F5-440D-90E6-54159A4671FF","rank":"normal"}],"P1643":[{"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":"39f086c16ad87470e8f5d1d6ade91ebe4fa6b640","datavalue":{"value":{"amount":"+0.9422665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$B3C13EA0-DBA6-44A3-93A8-A99D165A9339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e56252dfb4fea0ebcd6e9650ce3478acf1fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":4852941,"id":"Q4852941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dc712fc6d995c39cbf4962811c807d493d89e5","datavalue":{"value":{"amount":"+0.91834563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$DB15A30E-ED91-4FBC-91AF-1469E23C2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36c3a128c6a9065c8ff46d0b23d0080600c8966","datavalue":{"value":{"entity-type":"item","numeric-id":793761,"id":"Q793761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef58e5a4a7450b819dcff140d0794038b785312","datavalue":{"value":{"amount":"+0.9110778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$BFA7FE22-6245-4427-9D63-1987CE123CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3c23a4bfb3b324edf12559e099f01c84fa9560","datavalue":{"value":{"entity-type":"item","numeric-id":3715160,"id":"Q3715160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234328b6a6e3e2e5befbe48095462c8bb559cd46","datavalue":{"value":{"amount":"+0.9109202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$285C40C8-3DBB-4AAF-9732-D3E165902BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f1312c272951cba2ea0d006c74c760f91b0755","datavalue":{"value":{"entity-type":"item","numeric-id":5392475,"id":"Q5392475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727aeaca48234ab6e406d63b4dfaac6ab412c2df","datavalue":{"value":{"amount":"+0.91024065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$83B82950-D5B7-4FDB-9C6E-D268B56092DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd11dc613690f755290fa48768d075480a6fe96","datavalue":{"value":{"entity-type":"item","numeric-id":3203700,"id":"Q3203700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4882f454364fbea45befec5a0862bd8c9f27fb","datavalue":{"value":{"amount":"+0.90817535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$550183BD-6ED6-4283-92E3-6A3910023967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ba4bf88ec72b9f264fc38fd750f6927de99493","datavalue":{"value":{"entity-type":"item","numeric-id":3314558,"id":"Q3314558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ab1306985769a996d0c05f0b8da43738883096","datavalue":{"value":{"amount":"+0.90782857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$CCC6CD40-C70C-40DD-ACD7-34120F138CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19397eb9c8866f4e8defb6cebb21e1302aa90f2","datavalue":{"value":{"entity-type":"item","numeric-id":1985617,"id":"Q1985617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b3cd9524b36a6eff799b44f396c788dd79ca16","datavalue":{"value":{"amount":"+0.9071265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$8E0D1D29-DC03-43BE-BA40-9745E03A83E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673bec6028e158c6ca6def86a7665165c97788e9","datavalue":{"value":{"entity-type":"item","numeric-id":3719483,"id":"Q3719483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17934945d160e8b944d61672e5f64c7b9ffb731","datavalue":{"value":{"amount":"+0.90475285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$623487B1-220F-4F18-BCE5-DD031A21A334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e97873324547240c03a9e0a8d207034eb0ea3f","datavalue":{"value":{"entity-type":"item","numeric-id":5563365,"id":"Q5563365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a47603352871002077af2e77ee46c91aab0afb","datavalue":{"value":{"amount":"+0.9036133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2367896$2B096201-697D-4A34-A287-D5BC0C8C6FAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367896"}}}}}