{"entities":{"Q2905563":{"pageid":2916288,"ns":120,"title":"Item:Q2905563","lastrevid":84945209,"modified":"2026-06-03T05:16:49Z","type":"item","id":"Q2905563","labels":{"en":{"language":"en","value":"Partial information systems and the Smyth powerdomain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072854"}},"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":"Q2905563$36952A7C-A4CF-42C5-80A9-50A104E813EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"500ee55a011e06464779a61d6f171f44ec794ebf","datavalue":{"value":{"text":"Partial information systems and the Smyth powerdomain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2905563$5AB90020-861B-46D8-84D4-40C27AB8332A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a59d41f46e721f8f9d8ace0a103b8e3a5ff1b1c4","datavalue":{"value":"1274.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$9D6F82F6-358B-45E3-8471-4A258E0B54F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905563$BB1DA035-48FE-42B6-82F0-03B435C6FD2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c15f9d9ffa5d90dfb7532c722f8908246dba3d07","datavalue":{"value":{"time":"+2012-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2905563$83C7340D-D386-4D55-BB04-84C2C9DF6CD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$364D2A3C-2210-47D3-A23A-09504CCEFC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$7F1D7B6D-699B-4290-8E6C-4B95E0B1F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$25D09884-5C9C-4185-8939-04684E30D0E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c8dd85593177e11852f5df8379d13c90365a708","datavalue":{"value":"6072854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$16969FB9-2B70-4136-8CA8-AE3C42217D9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80be77a43f042a2524ccf8391fc9477b11388cc9","datavalue":{"value":"powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905563$5B2DD3DC-3902-4CC4-B06B-932BF24CAE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9dfab2bcc04ca1c983f7a7cdce855d719a6a5f0","datavalue":{"value":"information system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905563$385779C3-71FF-4439-8932-00F37D781173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa7f72505b2ce18245591d6ee85475d4b2f9fdf","datavalue":{"value":"programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905563$EA74D3F2-68BB-4EA6-B015-CC5925170180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905563$C488A092-CA79-41E5-806D-4E6E480841EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b7899d39cbffcf8f380af456a461ea72ebd055","datavalue":{"value":{"entity-type":"item","numeric-id":1035654,"id":"Q1035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905563$595777E8-452F-4BA8-90C6-9F8CF2C6EBCC","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":"Q2905563$7221DA6D-8086-4B6D-A75B-CAE3F3E5624F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0db1081dd571b027ed1a634d97c01c450ced4e4","datavalue":{"value":"https://doi.org/10.2478/s12175-012-0035-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2905563$160AC0C9-3B97-446B-B7B1-C3D2FC8296D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"343ffb6595b8f1c290f8dcd4cf693aaa09e767a0","datavalue":{"value":"W2090359977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$8531FF43-0AC9-4E0B-845E-C479EF5D6153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07fd2b593f14b44ff5b2ec115a56fad4e615a4df","datavalue":{"value":"10.2478/S12175-012-0035-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905563$E74B14B3-AE4B-4A5B-8C61-26DFEE086E8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df0a474790ca7fbb890c53c7966fb7f3786601c7","datavalue":{"value":"The primary goal of this paper is to provide a representation of the Smyth powerdomain in terms of order-convex substructures in its underlying information system. To accomplish this goal, the author introduces \\textit{partial information systems} as a variation on the well-known concept of information system. In this variation, the author recasts the notion of entailment as a preorder and introduces the concept of a \\textit{frontier} within the consistency predicate. Partial information systems are intended to represent ``incomplete'' knowledge of the consistency predicate within an information system, and the frontier represents the ``limit'' of knowledge. The author uses this concept to provide a semantic understanding of upper sets in the consistency predicate of a ``complete'' information system -- these sets are identified with \\textit{saturated} (order-convex) partial sub-information systems whose frontiers in turn serve as generators for the upper set. The author concludes the paper by proving that the join semilattice of saturated partial sub-information systems having finite frontiers in an information system is order-isomorphic to the poset of nonempty, compact Scott-open subsets of the corresponding domain. The desired representation is then a consequence of a known result providing a dual order-isomorphism between this poset and the Smyth powerdomain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905563$A984D345-57AD-4933-B88D-40AB72317613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef5acb7f4deb13020da9ca70b9737924adb6cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4880142,"id":"Q4880142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bebff600d7d9c9d271a094eef59e47e9f64246a","datavalue":{"value":{"amount":"+0.8332439661026001","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":"Q2905563$F4370731-E598-4A92-B5A3-240CCFF23D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776fa620206c0ed71e7191a356f15101312f7bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4610092,"id":"Q4610092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb59f7c67474f0c830855b31372bfc72e9b80cf","datavalue":{"value":{"amount":"+0.820963978767395","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":"Q2905563$092A538A-58E6-44B1-ACA7-0FF78FF5E492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa9f1a979459ce3452b4697ce20a59bfdf3a642","datavalue":{"value":{"entity-type":"item","numeric-id":896923,"id":"Q896923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cfcf7b3e415a54376cf0102a47cd4069e70265","datavalue":{"value":{"amount":"+0.8138816356658936","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":"Q2905563$3202F5DE-D9EC-42B3-B02E-85DE9AE8B73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0173c7cc0106099ba53f538c5a912e5bf603e808","datavalue":{"value":{"entity-type":"item","numeric-id":4222906,"id":"Q4222906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3eb3af863c01fc88cf0cd3fa6c2863798cf593","datavalue":{"value":{"amount":"+0.804158627986908","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":"Q2905563$7F3C322E-18C3-487C-878B-997082953B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68c606cd6155a42de6fb755c9c87f67c06c536b","datavalue":{"value":{"entity-type":"item","numeric-id":3818365,"id":"Q3818365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67d4b973e19397d131e3d320bb3fc53206213c0","datavalue":{"value":{"amount":"+0.8016103506088257","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":"Q2905563$E6B79D1F-515A-4338-82C0-546614BEE800","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905563$F29D332E-A898-451D-AE55-74CD0878367C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial information systems and the Smyth powerdomain","badges":[]}}}}}