{"entities":{"Q1114406":{"pageid":1125155,"ns":120,"title":"Item:Q1114406","lastrevid":42885087,"modified":"2025-07-15T17:24:32Z","type":"item","id":"Q1114406","labels":{"en":{"language":"en","value":"A mathematical theory of randomized computation. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4082985"}},"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":"Q1114406$6752081B-DF2C-4180-886B-D775BBFEF1B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2af0cf22e7c84842440972c3bf1215363cdb9cff","datavalue":{"value":{"text":"A mathematical theory of randomized computation. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114406$CC65860B-4C23-4829-8B7D-2E651D77B480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302d2ab292e5f02949e265d9d7a0583a7e020832","datavalue":{"value":"0662.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$CCFB445A-36CD-4C33-95C4-1BEDCCBFC0CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f80331450cc21b08a3087aba2a488fb859454e0e","datavalue":{"value":{"entity-type":"item","numeric-id":1111026,"id":"Q1111026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$922771D9-E564-4FD2-86EA-D8CCD88A58D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$3D975440-C1EE-448A-A217-D602940B4C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1114406$E931AE6F-04A3-4824-A5C6-D75F541D1BB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0dba18cfb3446e12c328c10a706bea86978772e2","datavalue":{"value":"In previous work [ibid. 64, No.4, 115-118 (1988; Zbl 0657.68061)] a randomized program was considered as a linear operator mapping an input probability measure to the output subprobability measure. In the present article the identity between the order topology on a randomized domain and the Scott topology is shown. Some respective properties of Banach lattices are deduced. Further, the author states that the set of regular operators T: \\(V\\to W\\), where V, W are Banach lattices, coincides with the set of order continuous operators. The product and exponent of randomized domains are defined. The first is defined coordinatewise and is a KB- space if both factors are KB-spaces.    One of the main results states that a randomized domain is the positive unit hemisphere of a KB-space and mappings between randomized domains are positive operators. Modification of Daniell's integral for Banach lattices is considered, too. If \\({\\mathcal R}\\) is any randomized domain with positive order continuous operator, then the fixed point theorem states that T: \\({\\mathcal R}\\to {\\mathcal R}\\) has a fixed point, and there exists such Fix: [\\({\\mathcal R}\\to {\\mathcal R}]\\to {\\mathcal R}\\) that Fix(T) is the least fixed point of T.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$220FE10A-E5AE-4DE6-9D8B-A3FB5C4BFFD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$E893D73F-FADD-437E-B985-C596EFFAAF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4eb8275dfd0c10092beaea6b114c9491d6dee40","datavalue":{"value":"46B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$9BE8D976-CDA0-46AF-BAAA-8B3D054BF422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68cc4155d2917dd1c4226f85d9cb66872255c31","datavalue":{"value":"60B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$4CDE72CF-5716-4E68-B610-88508BB4D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$C58CA6D5-B828-451E-8E57-22FABF7E1F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$73B468D4-393A-4525-92D9-7DB9060DE78B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"432bbc13cd25f5f6255f5c452594041e7e8ec895","datavalue":{"value":"4082985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$020B9565-AAF0-4A28-820F-920B3F19E198","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2855e518f22b2d4c55c6faf4de9052e8d3c21fc","datavalue":{"value":"randomized computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$1793BD2A-309A-4A35-BF52-343E9CAE7746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$DDF0A6D8-8210-4617-8440-0235219A56C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$828C4AF4-53D1-4D9B-B45B-520EF1235683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$F0518601-FA7C-4598-BAB7-D86968B988BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$3AEC3251-D661-4556-840A-D8211D600FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cfd894b183b3a5246899ae223e1b6a3a1ec0f4","datavalue":{"value":"order topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$F56053F6-6A95-42F5-B619-82A3CFF474B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$2EDDF664-A937-4698-A9C8-E9DD0CD7A50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5c7bdfd648e22922127874b4ecff65e586dc75","datavalue":{"value":"Banach lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$A1826A0E-80D1-4A58-8E95-0F80DCFD6917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dba8efd60bcb4b091dde6c1e38ff7d961839ab4","datavalue":{"value":"least fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114406$35134F1C-1977-45B0-98E7-DD4637835FCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"662e63976093e87bee0c7b742a38c0736d5bb1f0","datavalue":{"value":{"entity-type":"item","numeric-id":591449,"id":"Q591449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$EFA9798E-8B01-4F3D-A65F-D85AB8200554","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":"Q1114406$0B0A919C-6CCA-48CF-93D5-E7095C4D2D10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b9f72d39f6331be5844417c33f68a02346ef8f","datavalue":{"value":"https://doi.org/10.3792/pjaa.64.155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114406$5A69DC8E-6A4A-4126-BC57-9F26157DB78D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1758fbc2284f109213adb966cedaa9f6b06b1914","datavalue":{"value":"W4244159943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$68FFE95C-CBBC-47EB-8DC2-548120E7E2B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"834cb457432bc8189bf80bd63005b5098d0aba2b","datavalue":{"value":{"entity-type":"item","numeric-id":5789847,"id":"Q5789847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$C272CAA8-485E-4E42-A4F9-5765FA219DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0335db6ed5fb4772b1739a6b355760d750bb757a","datavalue":{"value":{"entity-type":"item","numeric-id":5791281,"id":"Q5791281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$735F5942-EDA6-41D8-8DC3-1682CA95A8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815d08ba3c9112784a01f8ccc4cf8ea6af7c4aa4","datavalue":{"value":{"entity-type":"item","numeric-id":5580575,"id":"Q5580575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$CA5D1930-1BAA-4322-A767-2C843F5DE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2306ca3bc219860f3e1c64334eafd49a860884","datavalue":{"value":{"entity-type":"item","numeric-id":1111027,"id":"Q1111027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114406$F5765FAB-2DDB-4CC7-8ECA-8125A4199808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d489e705d667f457cc44301b7fc086cc184dac","datavalue":{"value":"10.3792/PJAA.64.155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114406$6FDE85AC-9338-43B6-AC09-41AC694F2671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c096c1c0809741e7988a5d29f430022199c8fba","datavalue":{"value":{"entity-type":"item","numeric-id":1111027,"id":"Q1111027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ab331df01bf1a816a0713c2f9d1d89c506f95f","datavalue":{"value":{"amount":"+0.7515416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$7AA0C4A6-8D73-4EC4-896D-DB5522DEEB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582d7fef73fe191991283b45bc2ba90f9c8967ef","datavalue":{"value":{"entity-type":"item","numeric-id":4729388,"id":"Q4729388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a48e1bc66e8e4635a298b8951147e9b1dc323d","datavalue":{"value":{"amount":"+0.7019889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$AF0117A1-4CC5-497C-9A75-7F5695C7ABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b1be53f9d55f5ad844d13c55d36b6ee0ce1385","datavalue":{"value":{"entity-type":"item","numeric-id":4393939,"id":"Q4393939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77512e94640a749b94823492cfdb44d402bee4d4","datavalue":{"value":{"amount":"+0.6769335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$42B28782-793B-42F1-972B-F22258BE6552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b569b2142283be69a874dd5a969b8669ab1491","datavalue":{"value":{"entity-type":"item","numeric-id":3473917,"id":"Q3473917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c08da97682fb0cb9fe6eee48b2de3bf5021e0a","datavalue":{"value":{"amount":"+0.67460984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$099AA6C0-B5CB-4212-BEEF-FF5FCA886EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44a3168c266015ed2d62cfbf4c8f2e97e6fa8b8","datavalue":{"value":{"entity-type":"item","numeric-id":623535,"id":"Q623535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dddcaed761995fe56a3bf98e02c4fab5ae4f97","datavalue":{"value":{"amount":"+0.67006695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$41FAF018-056A-4B60-87AB-00E52E62F063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c6b85af8907678dfc3257df03d88f31d9483a5","datavalue":{"value":{"entity-type":"item","numeric-id":4667299,"id":"Q4667299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552f8c5a3106871d5f163ca75780085bc69fbebb","datavalue":{"value":{"amount":"+0.6693326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$D3D07099-61BA-43BC-A4BA-29693560AB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002be57a3296b582b374c96b4f5222f6c0c59af0","datavalue":{"value":{"entity-type":"item","numeric-id":3313052,"id":"Q3313052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074e8e5c751d080b652a0d75422d157411404e1b","datavalue":{"value":{"amount":"+0.660704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$963D3CAA-2DF9-405C-8873-C5A0448D6685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27a7da23694e48fd065a229df662151c61be9e2","datavalue":{"value":{"entity-type":"item","numeric-id":935673,"id":"Q935673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc65feb88528ecbc3ab3841d1a8d287f5b865ef5","datavalue":{"value":{"amount":"+0.6600482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$C61C7DFC-AAF5-4A90-9CE3-5711E63593F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd4e1cdc606666f2d4c6679f635c82391a67da2","datavalue":{"value":{"entity-type":"item","numeric-id":2659571,"id":"Q2659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280d0b48219839c871fa819ff5dcd3d06d7f4abc","datavalue":{"value":{"amount":"+0.6590649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$59B18A1E-99AF-4596-9C58-36EB985FA796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8efee56c1255a0e5baceee1c24a02e2d9b2d724","datavalue":{"value":{"entity-type":"item","numeric-id":1723330,"id":"Q1723330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff20715645addfe8896871308b13be975d4d5ad","datavalue":{"value":{"amount":"+0.6561097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114406$60ADE545-0E81-4240-89FB-6408E1EDD901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114406"}}}}}