{"entities":{"Q1060011":{"pageid":1061859,"ns":120,"title":"Item:Q1060011","lastrevid":66056388,"modified":"2026-04-12T07:14:44Z","type":"item","id":"Q1060011","labels":{"en":{"language":"en","value":"On the Herbrand-Kleene universe for nondeterministic computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3905843"}},"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":"Q1060011$F256EB5C-577A-4E40-9D36-5D5D0BCFA373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d10f19517e1bdb71606cd21eae4c0a121845450","datavalue":{"value":{"text":"On the Herbrand-Kleene universe for nondeterministic computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060011$425F2D97-1BC8-4B9B-9AD2-0DCA92171D6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e580cc7b3d6da7850b2f0bab858538844d5bc0","datavalue":{"value":"0567.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$CFE73422-A18D-49EC-A0A6-177CF30AB4EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feb0356fbff14d2233adc456af6141a5ee6bedc2","datavalue":{"value":"10.1016/0304-3975(85)90027-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$0F539BA2-E336-4CE6-A9DC-A61DB8EC3F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$93C17140-650F-46B2-8570-1EC77F774951","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":"Q1060011$21552143-FAF0-4B2C-B8B3-D0D0C7ADF9A6","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":"Q1060011$732E4DE9-0906-4E84-A954-9CEC50644526","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bad6b773829fe86d359e80aef4075c40b9888aff","datavalue":{"value":"For nondeterministic recursive equations over an arbitrary signature of function symbols including the nondeterministic choice operator ''or'' the interpretation is factorized according to the techniques developed earlier by the author. It is shown that one can either associate an infinite tree with the equations, then interpret the function symbol ''or'' as a nondeterministic choice operator and so mapping the tree onto a set of infinite trees and then interpret these trees. Or one can interpret the recursive equation directly yielding a set-valued function. Both possibilities lead to the same result, i.e., one obtains a communication diagram. However, one has to use more refined techniques than just powerdomains. This explains and solves a problem posed by \\textit{M. Nivat} [Information processing, Proc. IFIP Congr., Tokyo and Melbourne 1980, 17- 28 (1980; Zbl 0444.68011)]. Basically, the construction gives a generalization of the powerdomain approach applicable to arbitrary nonflat (nondiscrete) algebraic domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$898E0C4C-6AE1-418C-A792-EAF4F6338589","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$B0548B10-22C7-4D20-9A5A-C1797176CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$5C0E2947-513A-486B-AED9-6E614ACBC498","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c4617b134071960e7c83423aa8d8ead688c7157","datavalue":{"value":"3905843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$6EA3F342-2A05-477E-AAA2-9CBB2F1D8B21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$AF01D5EC-4BA0-4C3B-8440-E240ED39317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$6572D7E3-1BEB-4668-B8F3-592E25A77DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"451c134293678e5e7af1c2a77de7d561b8297156","datavalue":{"value":"Herbrand-Kleene interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$09813BC4-488A-4094-90C7-565FE57AB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39762ec8c8f3b76cc2f7106a98af71effebee7b","datavalue":{"value":"nondeterministic recursive equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$FE356F3D-FE62-4841-BABF-9FA8B7486B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad61f9590398fc2db6e7641806f7b6de35d4b650","datavalue":{"value":"nondeterministic choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$5CF778B6-DA29-4C76-BD01-C463230BFB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"451bf48617dd761bd3e7bbc910b12b7cb9c6b92b","datavalue":{"value":"infinite tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$6B8BF644-EB55-4C37-BA05-F25FC0693C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b2e5005c4df8e95bd2ab7bc1e6461517d3ea00","datavalue":{"value":"set-valued function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$3D9F5434-FFC6-42DD-97E2-DA52A54B6A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6842f74f78667c39bd0dd8bec804c837686bab3b","datavalue":{"value":"communication diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$797BC089-F5DD-4CA6-98F7-CBCCBC95EEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80be77a43f042a2524ccf8391fc9477b11388cc9","datavalue":{"value":"powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$CA0E1717-96CF-47BD-8EF1-5F64728155C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f11e6dd4fc2178492ed1585787db229487ad68","datavalue":{"value":"algebraic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060011$23DE3CD6-F32F-4135-A566-CBE61E123D4C","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":"Q1060011$1633CB2C-5186-4F2A-AAB0-8868AC741950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14bd7dc0961c3a083e8b86ad7631c95c0e42c30e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90027-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060011$9D7FE02D-CF23-4E23-9FB5-2A462B009A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eec3e4e9e4e53575b6c07c93a85bbbbac469c8a","datavalue":{"value":"W2087183363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060011$81CDBCE0-D8B4-497A-AA12-50BA6BB0EB85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe2b4510b62eb6f7da558d828a5cce371d51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3657421,"id":"Q3657421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$7B9E384B-CE03-477D-A304-1A6E448ACAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$9468A402-5BFA-4DB6-B757-C3DD4125EA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$5CDB125F-F94F-45C4-B1E3-C5D02BAAD079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62329ea6dfc1bcd7f928f88d3b29f0d4ff3319d4","datavalue":{"value":{"entity-type":"item","numeric-id":3888505,"id":"Q3888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$AFE78DA8-9B8A-4CF8-A8A8-43AB995E8807","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":"Q1060011$15D0F09C-A8D4-4E12-BC58-51A2BC710A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060011$76CF175D-DEB5-4DCC-A236-B9AA1E3E8DAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f938c0911d64bcaf966ae4212f81214d5f9a2ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3216137,"id":"Q3216137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490e61503a4a294d0ee2ee0b481a3c12a8c157d9","datavalue":{"value":{"amount":"+0.99884295","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":"Q1060011$2E72EF9A-9A90-44C7-9818-9E6D6951DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1e93a54b2f3fccebf4009faae2b8573c236bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9705f88f195572c3104bb06a1b7b697ab772a05","datavalue":{"value":{"amount":"+0.8867471","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":"Q1060011$027B6E70-7095-40C0-8D1E-8AA7B09CF9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf20cb48de8bc9507de68a6790a06ae9afe65983","datavalue":{"value":{"entity-type":"item","numeric-id":864513,"id":"Q864513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c28f705317e694d46f16a4ed5c50fbf012b918","datavalue":{"value":{"amount":"+0.8807988","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":"Q1060011$5C69D5D0-371D-4137-9AB3-BF4D0FF7235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe10ee19c20485616a9c0fcb8e81c01fcf1c7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3766854,"id":"Q3766854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80375cdb247f46fab49e6294e9529f80070ce8ad","datavalue":{"value":{"amount":"+0.87992996","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":"Q1060011$9ACB4CF0-4B20-48BA-AC75-74A104B29648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b30f1d4fb2b7b0bf502328b2fca5ceeed6781a","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb2d193beee9be496b34e0433b280ab64e9f93a","datavalue":{"value":{"amount":"+0.87401855","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":"Q1060011$C47FFAEA-401A-4AD8-8402-9E71815629D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dee7c397d8da6ae52bc3d1fa366e899f0680b72","datavalue":{"value":{"entity-type":"item","numeric-id":3392968,"id":"Q3392968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69fb55cbcb911787890d6a9bddc7e2d38bd47dd","datavalue":{"value":{"amount":"+0.8737866","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":"Q1060011$7A55D46A-DDCD-42B9-AF2D-4651B4340D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6cb7780f88bb5529ff95469f6dea377a991f8c","datavalue":{"value":{"amount":"+0.8708589","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":"Q1060011$4C34D73F-76B2-40FE-8376-26E97C34133E","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":"3d927bc396f34b25bfc89d34d0d79cbaca597477","datavalue":{"value":{"amount":"+0.86868405","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":"Q1060011$57AE46EA-B469-4B6F-A35B-4315D335818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65a3546fe31f40c4167bc71e66fc4a54335a937","datavalue":{"value":{"entity-type":"item","numeric-id":3809783,"id":"Q3809783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e63d832ea11252cdc2d8109a155af4535fc827c","datavalue":{"value":{"amount":"+0.8679888","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":"Q1060011$AFC41398-E5EF-4146-A55D-A4DA3A768B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d275a2c024a142002dac853fb01f7720d66afd6","datavalue":{"value":{"amount":"+0.86617565","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":"Q1060011$FFFB3B5C-F4A5-4D13-B429-0F0ED6A394F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Herbrand-Kleene universe for nondeterministic computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Herbrand-Kleene_universe_for_nondeterministic_computations"}}}}}