{"entities":{"Q2277251":{"pageid":2287994,"ns":120,"title":"Item:Q2277251","lastrevid":43806171,"modified":"2025-11-14T15:51:53Z","type":"item","id":"Q2277251","labels":{"en":{"language":"en","value":"Computations with oracles: Generalized selection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195922"}},"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":"Q2277251$41EBBE38-3AFC-4768-8180-EEA5D0FBC621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d1fde44cb9ee943858c2173e7746cf5ae45535e","datavalue":{"value":{"text":"Computations with oracles: Generalized selection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277251$253EED3D-669D-453A-AD07-669AD32B7D37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bfce22c84668e0d0e5bf2b7901aee0220921779","datavalue":{"value":"0725.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$917CB7DF-F4CA-49B7-A171-E72489E3F3B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b7b7af3c730a5101a7151ca49ce4baba5166547","datavalue":{"value":"10.1007/BF00970643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$2A9F988C-331C-46C1-B43C-7668AF2E841A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be84bf9e7790a1cbebd0281d4477d4d3722262bd","datavalue":{"value":{"entity-type":"item","numeric-id":793019,"id":"Q793019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277251$2D96779D-15BD-49AB-94C0-C8F7223FE05D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277251$90ADFEAF-4B24-4021-8DD0-6FFEB9206607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277251$9955B9FA-B1D6-46B3-99FD-30EEA7003CCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc81ce9ed31aa8bc44411e25c10262d7eda25329","datavalue":{"value":"The class of Turing machines with an oracle is studied in this paper. An oracle is a partial one-place integer function. A function which is computed by the Turing machine with an oracle \\({\\mathcal F}\\) is denoted as \\(\\{z\\}^{{\\mathcal F}}\\). B(\\({\\mathcal F})=\\{<z,x>:\\{z\\}^{{\\mathcal F}}(x)\\) is defined\\(\\}\\). A set C is called \\({\\mathcal F}\\)-denumerable if it is the domain of definition of an \\({\\mathcal F}\\)-computing function.    An integer set A is adapted to the oracle \\({\\mathcal F}\\) if B(\\({\\mathcal F})\\leq_ mA\\) and the following condition holds true (conjugate election principle on A): \\(\\{\\) x,y\\(\\}\\cap A\\neq \\emptyset \\to \\{V_ A\\}^{{\\mathcal F}}(x,y)\\in \\{x,y\\}\\cap A\\) for some \\(V_ A\\); the function \\(\\{V_ A\\}^{{\\mathcal F}}\\) is called selecting. If B(\\({\\mathcal F})\\) is adapted to \\({\\mathcal F}\\), then \\({\\mathcal F}\\) is called a regular oracle.    The following statements hold true for regular oracles:   1. The union of finite or \\({\\mathcal F}\\)-denumerable families of \\({\\mathcal F}\\)- denumerable sets is \\({\\mathcal F}\\)-denumerable.    2. The projection of an \\({\\mathcal F}\\)-denumerable set is \\({\\mathcal F}\\)- denumerable.    3. A function of an \\({\\mathcal F}\\)-denumerable set is \\({\\mathcal F}\\)-denumerable.    4. If a set and its addition are \\({\\mathcal F}\\)-denumerable, then this set is \\({\\mathcal F}\\)-decidable.    The article is devoted to the question to what extent the selection properties on B(\\({\\mathcal F})\\) listed above could be generalized to any set A adapted to \\({\\mathcal F}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277251$06B30F7C-726D-48FC-9F03-8CA5203EAE8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$10665120-544D-4FE9-8A75-DBDF9F652897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$5164E3C6-590B-4C69-A5D7-8409C05BDC4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b46515ce88910347cc55b5fae8642ca2ab57e5a5","datavalue":{"value":"4195922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$50C21148-1446-474B-8B6A-8F59F1969330","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f7c470a24dcc4551f6c5f35b042643962a0165","datavalue":{"value":"Turing machines with an oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277251$E08BCFB4-FE37-48A7-99F8-C990DD19EE9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"377196f0936f14c5f40316c205cbb7535714207a","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277251$2F6BEB7E-346A-4885-A7E6-A50E088C2B71","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":"Q2277251$0D2AFB01-CF64-4A66-BA98-CB4507B4AA9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b6a89f6ec229e5310d17d7d4b44ccaf30c6a327","datavalue":{"value":"https://doi.org/10.1007/bf00970643","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277251$73C59012-DC4A-4D33-A680-F1C414176421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceba6c67c72830cb6c5eece84e1a440d5aa631e9","datavalue":{"value":"W2074356247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277251$F9A35662-138F-40FD-9304-39D2B370C034","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9650c01859cc53fd32ceb972b66649cda4571afc","datavalue":{"value":{"entity-type":"item","numeric-id":1119570,"id":"Q1119570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a934371a7f1d3bdcedab02adef419a2734ff55b4","datavalue":{"value":{"amount":"+0.91583765","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":"Q2277251$C3BAD906-171D-4288-87C9-8715ACE975DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf62e7887061fc215f2c5110e8f620aa26d253","datavalue":{"value":{"entity-type":"item","numeric-id":3809784,"id":"Q3809784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a934371a7f1d3bdcedab02adef419a2734ff55b4","datavalue":{"value":{"amount":"+0.91583765","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":"Q2277251$78F532E1-612F-46D2-A8F7-3EFFB415A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1f397e37dfc977721571e85242ddf816255f20","datavalue":{"value":{"entity-type":"item","numeric-id":1068816,"id":"Q1068816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eef9e1c116b67b084b97d8a166041023f5a95b8","datavalue":{"value":{"amount":"+0.88460696","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":"Q2277251$8888C1AD-CE5F-4AE8-B10D-CFF3EBDE886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f4e064537a348eccf57c8ea304f1b616a4753c","datavalue":{"value":{"entity-type":"item","numeric-id":1346911,"id":"Q1346911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8bb30448ee93c7ed5b2ddcef1c1961ef7c80b9","datavalue":{"value":{"amount":"+0.8806385","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":"Q2277251$4CC0331D-0CA8-4A6A-96C2-0B507EAC5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5be42a2716057809b564d0ab85e194f8a484b3","datavalue":{"value":{"entity-type":"item","numeric-id":1951973,"id":"Q1951973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1ac59fe878ac94faa0223ba6d2208bec1cd50a","datavalue":{"value":{"amount":"+0.87769866","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":"Q2277251$5569D35F-D174-4DA1-AA7E-84A6E77697F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144edcdda5c88adf8be3bc343af343044c0c4bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4294748,"id":"Q4294748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24398f78c8764efa122c71e2082aba5dc8b6c73a","datavalue":{"value":{"amount":"+0.8541515","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":"Q2277251$194A06A0-3D65-4352-B8E7-7D9F9BE96B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697b863d3c3e3aee3ff2efbc7de3894d629d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":1735899,"id":"Q1735899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176ac52ffd7142a4b9967234eb70f53da6024604","datavalue":{"value":{"amount":"+0.8521249","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":"Q2277251$B9C3FD57-5D6C-44E2-BCA6-2B888E32DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d6895661eaf0df7c642b39a7f2ada9bd12b2e1","datavalue":{"value":{"entity-type":"item","numeric-id":1920128,"id":"Q1920128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02797bf172adbccc163cd85ecfedb657218e5a4a","datavalue":{"value":{"amount":"+0.8472568","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":"Q2277251$14491410-709D-43BE-9D04-6E02B7316D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27429ad297dd1a69b539d8ba69ceab17f4c9d7b","datavalue":{"value":{"entity-type":"item","numeric-id":4205078,"id":"Q4205078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8692570b99e4b7de2cc439797b50258869b1d","datavalue":{"value":{"amount":"+0.8422642","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":"Q2277251$64AD7415-61F2-4249-B3F6-422DD91C1D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b9c71b3a68c618bd189e383ffd8b8cee0c0e63","datavalue":{"value":{"entity-type":"item","numeric-id":5269245,"id":"Q5269245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374748dcf147580323ab8ace03a27aa7d78dab4b","datavalue":{"value":{"amount":"+0.8367956","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":"Q2277251$022FE852-88E4-46F7-AEB8-EFB7CFF0DA8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277251"}}}}}