{"entities":{"Q1346911":{"pageid":1357650,"ns":120,"title":"Item:Q1346911","lastrevid":67669860,"modified":"2026-04-12T19:15:26Z","type":"item","id":"Q1346911","labels":{"en":{"language":"en","value":"Generalized computations with binary oracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738959"}},"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":"Q1346911$0A9E4069-561B-40BD-B72C-12D0BB96DA87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"651f1418a13e3a557550fa1f90e905a6b488868d","datavalue":{"value":{"text":"Generalized computations with binary oracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346911$AD7D1BF8-DCF6-475C-963B-80E448EAB6BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9951231f2d4163d279427012a33e907b41938758","datavalue":{"value":"0852.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$6547CE8D-8002-4318-84B6-E6FD5AB4A7F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d231bbfaa679d659c7fc9b41307e2b6268b8c345","datavalue":{"value":"10.1007/BF02261706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$28C97FEE-379E-4000-9314-A90EA12AD0FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80220c8d4dd1954393b5f7547eba29195c2affe1","datavalue":{"value":{"entity-type":"item","numeric-id":1284385,"id":"Q1284385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$EE555B03-EA99-4F13-9E5E-97C4F63DD6ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$FB9209FC-85EF-4395-8B2C-EF48D33E2CF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346911$D1FE9446-C46F-4488-8B61-537F82B73917","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8769b1b311aa523b4d1d7a39b940e82ed79fc0b0","datavalue":{"value":"The author discusses a special kind of Turing machines with oracles -- Turing machines with binary oracles. Usually, an oracle used by a machine is unary. That means we can consider it as a unary function. But the oracles used in the model of this paper are binary functions with certain consistent restrictions. Such machines can be used for modeling hyperarithmetic computability iterated to the first constructive inaccessible ordinal. Usually, a binary oracle is not total. If a computation asks an oracle a question and the answer is undefined, then we have several methods to treat it. In some models, we treat it as an answer of a special kind; in some other models, we come to a deadlock. In this paper, the author considers properties of a model which interprets the first \\(n\\) such answers as special kind answers and the \\(n+1\\)st answer as deadlock.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346911$D84FD28A-5769-4F71-811A-F579F3615E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$9AF56028-5502-41EA-8BA0-286A11F6AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$5540CC6F-543F-490F-B2BC-D689DC5DC9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"243a19e7402b9f0df92d46702d356856a3fbd624","datavalue":{"value":"738959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$30D1E43F-F4C0-4367-8C2B-93995FFAD710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9a7c191817da9316c37527b0a944c61ffdf434","datavalue":{"value":"Turing machines with binary oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346911$0D585732-9AD0-422D-AE09-68C40D001858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acbafeaeaf4d7a2a25309aef50b3e957bfbf000b","datavalue":{"value":"hyperarithmetic computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346911$8EC1D9A2-DCCE-4D32-BDBB-38D8BB6571AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2593bf416d166930cb1a96ed0c51e8cbe6cd34","datavalue":{"value":{"entity-type":"item","numeric-id":685057,"id":"Q685057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$741D5422-CCF5-43EA-AA78-2261ADD713BB","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":"Q1346911$37C0C8A4-0B6A-470E-9AE3-CE72F587CB9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb00bee83857a2b493bc462d24faeb1fd7845b88","datavalue":{"value":{"entity-type":"item","numeric-id":4087153,"id":"Q4087153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$636493A5-8372-4AE7-88C6-405C3D4242EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dedac925d7813a42ab8642f70e88a61bbdbba8","datavalue":{"value":{"entity-type":"item","numeric-id":4109663,"id":"Q4109663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$AC6B6757-572E-4A41-928E-F69369CCBCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f25d267d7f3c97895a7725a294cb5cd65135fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4303550,"id":"Q4303550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$68856B70-F210-4753-A3A0-032392C26702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346911$1CEF2711-DC53-408B-93ED-30550AC1AA48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488e091f3762f8ac99788c75fd12ff1f1eeb64c9","datavalue":{"value":"https://doi.org/10.1007/bf02261706","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346911$59573AB5-F7D9-4A14-AE33-5FD2D069270C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51339cb31f525faa8f222de77eaf8ebbeb1d06fc","datavalue":{"value":"W2069474428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346911$1F59AC1D-6AA2-4191-9610-1852B47311F0","rank":"normal"}],"P1643":[{"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":"9ed5defe70cec286b3a0078d6befed5adc6de26e","datavalue":{"value":{"amount":"+0.807740330696106","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":"Q1346911$9456729C-061F-4976-A4E4-99DEDB37F530","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":"fb732675db2c9913d174be1ffd445a12c06022a5","datavalue":{"value":{"amount":"+0.8061737418174744","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":"Q1346911$10FD1429-C367-4050-B115-A8F03931A3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa4c755b3868fbfe3333f9cc034326a192dba9a","datavalue":{"value":{"entity-type":"item","numeric-id":5269247,"id":"Q5269247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee7e31152bfbc39252f60e7fd5f3e675e96f168","datavalue":{"value":{"amount":"+0.7905669808387756","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":"Q1346911$4A21BC33-1FA1-4D04-A60C-E00FC5A509AE","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":"8cf76b015b61d45cdc555f14ed2aa0a11b54faf3","datavalue":{"value":{"amount":"+0.7877030968666077","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":"Q1346911$11A10BC1-BF05-402C-867B-E953EA4F21EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc78b6e905d2cac1f65e730279b9e31adcacd16","datavalue":{"value":{"entity-type":"item","numeric-id":1920828,"id":"Q1920828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b3e605e842c0416bc716c3c2cc6fc99e45ada8","datavalue":{"value":{"amount":"+0.78177809715271","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":"Q1346911$F82D178F-3FE1-49BF-86BE-8F6555AAC765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized computations with binary oracles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_computations_with_binary_oracles"}}}}}