{"entities":{"Q1067409":{"pageid":1078161,"ns":120,"title":"Item:Q1067409","lastrevid":66200463,"modified":"2026-04-12T08:13:17Z","type":"item","id":"Q1067409","labels":{"en":{"language":"en","value":"On powerdomains and modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928337"}},"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":"Q1067409$C8AD25CE-B28F-4BB7-BF86-B443BDDDC1E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0fc5a745093bd8ba266732363a79d7c86081d6f","datavalue":{"value":{"text":"On powerdomains and modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067409$ABD66EE4-6361-4A88-A5BF-A3030B7EA792","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36f19e2d332d0a38767400d830ca7f947b5375ed","datavalue":{"value":"0579.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$8272C2A2-4F71-44C0-AF0E-633C0AB1A777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b393f6f0f7e44b113ef0f2f38ae52626b5a4af2d","datavalue":{"value":"10.1016/0304-3975(85)90037-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$79DBD737-6CC3-4AD4-B98F-A141C2EAC047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$0C65B9EF-F943-478F-B8B6-FED3623407E5","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":"Q1067409$AD27A566-9CA6-4809-A1A9-A8A5CA313EAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1067409$898709A8-653C-4F60-8B64-44EC52BB62E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f52f768ef813fbc8c77fe1fa373a895467984840","datavalue":{"value":"Powerdomains of different kinds on the complete partial ordering (D,\\(\\subseteq)\\) are results of certain algebraic constructions used to give denotational semantics of non-deterministic computations. The author presents a reformulation in terms of modal formulas. A (non- deterministic) D-computation is a finitely branching tree T with nodes t labelled by elements val(t) from D respecting \\(\\subseteq\\). Branches of D are to be understood as computations beginning at its root with labels showing progress of the computation. Atomic sentences are isolated elements of D. The sentences of the language \\(L_ 0\\) are constructed by means of \\(\\square\\), \\(\\vee\\), that of \\(L_ 1\\) by means of \\(\\diamond\\), and that of \\(L_ 2\\) by means of \\(\\square\\), \\(\\diamond\\), \\(\\vee\\). The satisfaction relation \\(t\\vDash A\\) for sentences A and nodes t of a fixed D-computation T is defined by letting \\(t\\vDash a\\Leftrightarrow a\\subseteq val(t)\\) for atomic a and interpreting \\(\\diamond\\) as ''true at this or some latter node'' and \\(\\square\\) as ''inevitability'', i.e. \\(t\\vDash \\square A\\Leftrightarrow (t\\vDash A\\) or \\(t'\\vDash \\square A\\) for all t' immediately following t). Let \\(\\vDash A\\) mean: \\(t\\vDash A\\) for the root t of T. Define \\(V_ i(T)=\\{\\square S\\in L_ i:\\) \\(\\vDash \\square S\\}\\) for \\(i=0,2\\); \\(V_ 1(T)=\\{\\diamond S\\in L_ 1:\\) \\(\\vDash \\diamond S\\}\\). The 3 types of powerdomains (which the author names after Symth, Hoare and Plotkin) over given D are isomorphic respectively to the sets \\(\\{V_ i(T):\\) T is D-computation\\(\\}\\) ordered by inclusion. In fact it is possible to restrict \\(L_ 0\\) to sentences \\(\\square (a_ 1\\vee...\\vee a_ n)\\) for atomic \\(a_ i\\), to restrict \\(L_ 1\\) to sentences \\(\\diamond a\\) (or expand it to include arbitrary \\(\\diamond\\), \\(\\vee)\\), and to restrict \\(L_ 2\\) to \\(\\diamond a\\), \\(\\square (a_ 0\\vee...\\vee a_ n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067409$59CBB940-64B0-451B-BD7B-20F5E611545C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$2FAAE0C3-25A7-4358-880D-E1CED009659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$1ADD31A3-EDCA-40EE-A780-FD59FC3A8BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$F85F767B-3E8B-4950-BD20-A9964A710C75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e0290dfa2e35941bcba837e674f5ab48a0ca3f0","datavalue":{"value":"3928337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$9195F86A-D0C5-4CCD-8ECE-FA3049FC8A08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067409$0C2D8C7E-F46E-4ED6-904D-A0394D029F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3f9e25f6612372a2718782519f0f4a67b18b3f","datavalue":{"value":"denotational semantics of non-deterministic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067409$49A1CB2E-333B-47EF-9FF2-AF55C2A5A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda46e5d8310141a155042b17c3f052b5315a764","datavalue":{"value":"branching tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067409$72775305-CECB-49FE-85B7-C9D4A050A296","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$F214AB54-9E86-46F2-BFE3-A08E8D2FAE91","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":"Q1067409$E2A1A150-B46A-4FCD-B9CC-89830F3DA013","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c65d1000ff68f8e2a7a72e07260b7d4ef37f38d3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90037-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067409$E467EC44-74DD-4B22-807D-8AA306C9ADAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"097d6cc700d2ca8e8d76634b46dd31805074ef47","datavalue":{"value":"W1968606491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067409$B4D6FCFE-56BB-4149-86A3-1D5B8B419BCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$25AE0763-9898-49CF-ADC0-FC520B4F416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$5AF69034-4217-4B6C-AAA4-3B9BBF4C08B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$F2201B0E-1BE3-407A-A3D3-06E5A0A778E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$4E75D92F-32F9-4E87-A810-196218ECE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89a80ba258b88ead3c75bcb3d478f088a6b8919","datavalue":{"value":{"entity-type":"item","numeric-id":3662610,"id":"Q3662610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$824DD0A6-C808-4F49-94E6-A61199C7A337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$00BAA48D-8C5E-4789-B65E-BB7617CFA69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$54E029FC-33E2-4D97-A5CE-87A727451FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$F2AE0521-BC22-49E2-B1A0-A9A3309B6DCD","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":"Q1067409$E1953D8B-FA87-43B3-A9F7-6C3BA3FD36AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$E0671AF2-F4B7-4FC3-8FBB-8823F242BDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$AE3088B3-885F-4BDB-A599-9FF8C267AFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067409$87652230-2238-4660-839B-9FFC61C162FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf7dd79df4e02ce91f4b662bde3132e6be69901","datavalue":{"value":{"entity-type":"item","numeric-id":3313252,"id":"Q3313252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594cf4db7cc3f3030f95049f56a18ab2a9697ef3","datavalue":{"value":{"amount":"+0.8938086032867432","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":"Q1067409$477BB4F2-956A-4506-AF34-11077CC7DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2183fcae3d288a21639ec603e3b42fda0bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3691052,"id":"Q3691052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43648712c6596a56aab60e75ca49bc4f8113cb77","datavalue":{"value":{"amount":"+0.828811764717102","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":"Q1067409$7CBE304C-E9C6-475A-81E3-ECFD8F336395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb2bfc806260d4713b38886839cb72b0661ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":3988855,"id":"Q3988855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b8cbd68eee228a23aa1d153a0f7f3e0c2e63c8","datavalue":{"value":{"amount":"+0.8205471038818359","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":"Q1067409$5BDE78D0-693C-4453-934C-19972691D14B","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":"3fcb1c70cc7114d16cd3223406aa5dc686c5d5ac","datavalue":{"value":{"amount":"+0.813778817653656","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":"Q1067409$BE1E6C10-0152-47D8-AEE4-6A9E7A69D5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed97b49e12e3645c672fa641bd159ca9cbcc4c8","datavalue":{"value":{"entity-type":"item","numeric-id":3723678,"id":"Q3723678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdef72abd48443f6d07222ae906ae1b27d38b377","datavalue":{"value":{"amount":"+0.805188000202179","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":"Q1067409$B8BC3595-9238-487D-873B-34CAFCF0CE5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On powerdomains and modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_powerdomains_and_modality"}}}}}