{"entities":{"Q1574741":{"pageid":1585481,"ns":120,"title":"Item:Q1574741","lastrevid":72228732,"modified":"2026-04-14T03:29:16Z","type":"item","id":"Q1574741","labels":{"en":{"language":"en","value":"Defining the Turing jump"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1489520"}},"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":"Q1574741$BF88324E-D6B0-4FEF-B020-0BD831CA32F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cc932376ce37833b4c190aa09ab4ad64498d8e0","datavalue":{"value":{"text":"Defining the Turing jump","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574741$A6B56B3D-E3E9-4650-8F41-8F6965FDA398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3a33285364fc6a76946c5336f913d0b534ce94","datavalue":{"value":"0958.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574741$B00B8EAA-A067-4E98-A7D7-B684162D8697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574741$182609E5-61CC-450C-AFF6-9F12DA80006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574741$5964D905-9316-4211-98D0-E62F4A06EAA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574741$1973485C-A49A-4FA3-A9AE-9094082DB38B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e860b5f64d3c861d84ef4e070486fc2e63f2c53","datavalue":{"value":{"time":"+2000-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574741$CAB9C00E-4F02-4E46-95C0-D026B5E6DD44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0170c54b2808c23f9e31727add3e1ebca18a8d9","datavalue":{"value":"Starting from the notion of effective computability in terms of a Turing machine, the authors use the notion of (Turing) degree of the arithmetic sets for the definition of the (Turing) jump operators. Some results on Turing degrees are presented and also the authors' proof answering a question posed by Jockusch and Shore.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574741$1A997ED3-9B2A-4608-8A53-5B038FE5688D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574741$5EA24A91-3579-4EC2-8037-4AE0D35517ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574741$9CFE62DA-FA6C-4BC2-9BB9-B8129B9AD293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01aca45f39cb7cec7464182a328cec86f07bc561","datavalue":{"value":"1489520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574741$4127D379-2BEF-4428-B538-E5FCBA7B4898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60f74c328ecfe628d9c4a73477cf40d9a56019e","datavalue":{"value":"Turing degree structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574741$B2B84401-B84C-4522-B1AC-FC1858ABD01A","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":"Q1574741$CD9B8AFF-D0D5-45FD-B449-A7D0E36504CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a38b848f324719b7230bf2552d71a9053bc7f1d6","datavalue":{"value":"Q55894375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574741$366692CC-65B0-4D9D-B525-FAF3D0ED607B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c8ad99f3cc0c8b164c9ef75a91dd24fca0e5ae0","datavalue":{"value":"10.4310/MRL.1999.V6.N6.A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574741$7FD9D535-4170-4B37-9C87-A334AEBB7B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46411e482fe7557062ceea980053753d87b3db3","datavalue":{"value":{"entity-type":"item","numeric-id":3521600,"id":"Q3521600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2166b9f8260c6da339dbcfee62ae8e850766f915","datavalue":{"value":{"amount":"+0.867851197719574","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":"Q1574741$97E8D7FC-4035-4DB0-8573-AEBBA8F5D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c03d92efcc7437b943b3de01277169ebb3c2b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5316382,"id":"Q5316382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e033477c2a3554d47308aa79cf00816bdebf629c","datavalue":{"value":{"amount":"+0.841648519039154","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":"Q1574741$DB44FD27-67D1-4271-A55D-049DE9E7B36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c65a1c68cf7d478c0d76ce9ae7e2df14efa40d","datavalue":{"value":{"entity-type":"item","numeric-id":3491536,"id":"Q3491536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de3958247a63e448e6399e02f2ec5bbd68196bd","datavalue":{"value":{"amount":"+0.8037400245666504","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":"Q1574741$DD904A0C-2976-4006-96AF-60DDE31694A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60901ad0d984995ab44928195bb34943a26b13b","datavalue":{"value":{"entity-type":"item","numeric-id":4683152,"id":"Q4683152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd3f898604808fc14edd7f71a57baf376b774e7","datavalue":{"value":{"amount":"+0.7825459241867065","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":"Q1574741$731CD909-A57A-41EF-A6FA-E6A28A40E47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0118af342830a3fe8c5415da24b3fff6a369d43","datavalue":{"value":{"entity-type":"item","numeric-id":4281250,"id":"Q4281250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b37324b75b59269fe55c8fd3e58072739470ad","datavalue":{"value":{"amount":"+0.7808316946029663","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":"Q1574741$059E821C-971D-484A-8306-A578ADBA3E7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining the Turing jump","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Defining_the_Turing_jump"}}}}}