{"entities":{"Q1082808":{"pageid":1093560,"ns":120,"title":"Item:Q1082808","lastrevid":66098442,"modified":"2026-04-12T07:32:06Z","type":"item","id":"Q1082808","labels":{"en":{"language":"en","value":"While-programs with nondeterministic assignments and the logic ALNA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974281"}},"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":"Q1082808$1CCD1B1D-62DC-4C49-9B80-8BD3C94D4404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a5b3a3549d43d523ecde92d85e7e6c4544dbbe","datavalue":{"value":{"text":"While-programs with nondeterministic assignments and the logic ALNA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082808$1B578FC4-9C51-4B2B-BC2F-10B1858F63C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c83393b5c42d4e45ac6153eee53d628c8cb9e8ed","datavalue":{"value":"0603.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$0012FFA5-3821-43A1-9D43-D249E4282C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f3b144a61b09d4323144191cdd7dffccec3c682","datavalue":{"value":"10.1016/0304-3975(85)90167-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$C9B8A378-5004-4136-AFE8-35C5FD45C2A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06360562ef9e33664d52e6a9de6f5215a8e4744b","datavalue":{"value":{"entity-type":"item","numeric-id":1082807,"id":"Q1082807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$8A156A21-A9B5-4A7F-909A-1253E07F2CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43082865ac286defa1400cfb80fbddfaad145b2","datavalue":{"value":{"entity-type":"item","numeric-id":792993,"id":"Q792993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$2313A933-0653-4643-B56E-ECCFCE893763","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":"Q1082808$2FD059F3-0C9E-4191-91F4-EACCFFBE599C","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":"Q1082808$886F9FD9-C6CD-4FCF-ACF9-1DAB1EA7B5C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0475ad455e679f78e21831dc90507dc782b6d70","datavalue":{"value":"In this paper, unbounded countable nondeterminism, allowed by adding nondeterministic assignments to while-programs, is studied. First, their semantical properties that are expressible in the language of ALNA (Algorithmic Logic for while-programs with Nondeterministic Assignments) are considered. Wellfoundedness as well as bounded and unbounded nondeterminism for the considered class of programs are shown to be expressible in the language of ALNA. A characterization of the wellfounded while computation trees is obtained via a notion of approximation by computation trees of suitable if-then-else-programs. No use of ordinals has been necessary to that aim. The logic ALNA is proved to be sound and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082808$5E650A71-8E3F-4889-9E25-27F94C59253D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$DFD7FFEF-EC72-444B-9516-E1645D718C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$A7136005-4F30-4A92-B739-3AC9850647A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$A8FB3B55-C2E3-4E40-BD92-72CB9D86B136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"185d026d005e35af815150f6ff72c8fe8aec1dec","datavalue":{"value":"3974281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$D2FDC83D-1F87-4B44-B0D3-9EE446C5DCF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4ad887850d4e2fa199d887b467a98e8f364855","datavalue":{"value":"unbounded countable nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082808$16C455AC-6123-429B-BEA0-CAA962FFA9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e784cb46b07aba0ef1c15ed18c92607dd39f460","datavalue":{"value":"Algorithmic Logic for while-programs with Nondeterministic Assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082808$D0EF7327-8A76-4363-8505-A655354E9322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5dae99a3ae6b2075e1742c6fef4c37befceef1","datavalue":{"value":"wellfounded while computation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082808$3ABB1CB5-FFA1-4B9F-9409-92CB8353D749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf8d36ae4e9f29d75565fa96b7cd9b1063e640c","datavalue":{"value":"if-then-else-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082808$4158ECBA-6600-4C29-9272-5D4783A1147D","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":"Q1082808$D3A502ED-06B4-44A1-A3EC-57BE665359D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7858c89ea19a36e03813181ffd22a76533e4534","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90167-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082808$6058FB4D-FA90-417E-872B-3004B6670B97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abbde91d48b63084272e914eb4f31412e3e37c62","datavalue":{"value":"W2029054266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082808$ED2A5E1C-3572-4DBF-808F-AD9119B695AB","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":"Q1082808$28F5B9BC-75E8-4287-A650-DCD237A640BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$FAFDF45D-2C4B-41F1-8072-7EE9415B77CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84df54bdd3dcb6dfaabd38a474d6c94135af91a","datavalue":{"value":{"entity-type":"item","numeric-id":3939210,"id":"Q3939210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$887FD110-A4EB-46CC-ABDF-BF2027F7A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e707d4bae687b7a2d018b22ef15d22342b7b2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1155605,"id":"Q1155605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$BAD457A5-09C7-4406-ADC0-24926CB20CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb3e26760d87c71a363189dcbfed536d99889b2","datavalue":{"value":{"entity-type":"item","numeric-id":3954796,"id":"Q3954796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$893E82B8-DDC7-46BC-B07A-54C24433F3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da60b1cbb0bdce1839789e5e6577b231b8d2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3871894,"id":"Q3871894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$55D2D3EE-B7E4-4ABA-A874-4CC5EF8B6CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$1FD3526A-4CC3-4739-8E4E-973C9D00CC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08561bfc6258842127f4e8c5203d55d8c8a9d289","datavalue":{"value":{"entity-type":"item","numeric-id":3735075,"id":"Q3735075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$54C9E51C-5D8F-444C-BF06-0B21C8C2A9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddb4455e7cfda46f508237aa8760acaf2133498","datavalue":{"value":{"entity-type":"item","numeric-id":3881900,"id":"Q3881900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$E758B3A6-13BA-4594-8D67-DFE85DB521C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98303962c5d0df53d7b0da3efe47e756e2d60e72","datavalue":{"value":{"entity-type":"item","numeric-id":3957925,"id":"Q3957925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$BEB711D9-0FA2-4AAD-9598-195972CD9A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787dda4193518e7e08ce776dc0f71ccfa80f6aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3728882,"id":"Q3728882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$DB38DD25-940C-45C3-A3CB-9607EBD8CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082808$C6F9C798-226B-4B32-B13A-613751CCA534","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a09c0be4d7a4a92c2e796fa551f9f1e4acd8a75","datavalue":{"value":{"entity-type":"item","numeric-id":3735075,"id":"Q3735075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef8ecbc2d15373c87708265d5f512d2d188da24","datavalue":{"value":{"amount":"+0.95405674","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":"Q1082808$82D91D7F-3BED-4FEA-90D3-C5B6DC7E248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27c1830b6e7e0f309302592c2849c315d657aba","datavalue":{"value":{"entity-type":"item","numeric-id":4029613,"id":"Q4029613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9199ccd10a493f844f8d2a37a87fe6de6c3fd248","datavalue":{"value":{"amount":"+0.90783036","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":"Q1082808$34B608AE-79EA-4177-AE03-172A63D4E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a57c590b0006b7e4503b6dabf7a22259baefd3","datavalue":{"value":{"amount":"+0.87987566","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":"Q1082808$47E09C00-C513-4A46-9075-943FFE4EF213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd818c6bcc47e6f6c78a58480a34bfbc0a85526","datavalue":{"value":{"amount":"+0.8796795","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":"Q1082808$419FE9F1-51E2-45C8-AC1C-FED4AE08B378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf352adcfd842a4a5c4fab97d20766f7c190285","datavalue":{"value":{"entity-type":"item","numeric-id":3216134,"id":"Q3216134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84efb4627335213d6b8dff165985846c6252e962","datavalue":{"value":{"amount":"+0.8794158","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":"Q1082808$2299E2C5-F06C-4B0A-BB57-31E707634AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7ea60ef65329947961318a77b7191223afb7be","datavalue":{"value":{"amount":"+0.8772089","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":"Q1082808$278CE576-D5D8-40AC-A4AD-4027E01972AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8b6cbbf2365260b44b2d79bc2d3d823ba56056","datavalue":{"value":{"entity-type":"item","numeric-id":5046723,"id":"Q5046723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb4b9dccf331c146c63a8712a0a8cf864d91428","datavalue":{"value":{"amount":"+0.87333053","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":"Q1082808$951AFBD5-04B4-4857-AA44-4B13C7513F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3631f452966398c4fd0ee80df6824638d931703","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa03df85977ee54a97ae02be6efb1630e6eb9400","datavalue":{"value":{"amount":"+0.87037504","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":"Q1082808$2408D0F3-7A76-490B-977B-1FD090401861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f2203811f135838207bc277e09b30b696bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3726088,"id":"Q3726088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5756ea18de3ad410074cb35d6ff2a6de199163ba","datavalue":{"value":{"amount":"+0.86871654","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":"Q1082808$E652388F-5854-46D5-BF36-7E8D953E9F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1149cdeaa21918d36e4f0ccd78506a0a4dfc3518","datavalue":{"value":{"amount":"+0.86576986","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":"Q1082808$7A86CF8D-91F7-45B1-81D2-FB0AEAF38866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"While-programs with nondeterministic assignments and the logic ALNA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/While-programs_with_nondeterministic_assignments_and_the_logic_ALNA"}}}}}