{"entities":{"Q4527919":{"pageid":6557511,"ns":120,"title":"Item:Q4527919","lastrevid":47566252,"modified":"2026-01-02T02:31:58Z","type":"item","id":"Q4527919","labels":{"en":{"language":"en","value":"Eventually infinite time Turing machine degrees: infinite time decidable reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558180"}},"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":"Q4527919$4C306B68-6984-4545-B572-82527E25419F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3dba83eef94441a2465f3c9229e01c5dea482a","datavalue":{"value":{"text":"Eventually infinite time Turing machine degrees: infinite time decidable reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527919$EAF232E1-92CE-450F-9DD6-30167B155791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7d17170dc284e18214ce5d60f3c8c9e91002ca8","datavalue":{"value":"0959.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$087AC385-FD88-4E54-88C4-4B1EB8112BE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdbac3911ae9b70ded9b5ffb7cafd93608385b3a","datavalue":{"value":"10.2307/2586695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$C96B0D6C-3227-4B2D-A154-76AD035B58BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527919$4F3998C7-701E-4AA7-A646-F0FD7DF32ED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4527919$011512B2-DEA6-49F1-8226-7A107C3CF947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$8992F88D-BF8E-4644-91DC-8C9B7FAF9B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$16A2C760-DD94-4590-BAED-3B13B36B4571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$E2E36B94-DA77-4082-9B0F-E74FFFA55A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$D57E48A8-87B0-490A-8725-8BF100EC921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$D6030D58-8331-4FCC-8CCE-B56D438E8BAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75b4d24ad612903f4e0f3bc4336932ada0c7cad2","datavalue":{"value":"1558180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$E64EF562-8CE0-4072-9D8D-7CA655558E09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6606fea1cb72f5180aad212d0ebabb2e020466b0","datavalue":{"value":"eventual jump hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$C1BE66B6-B9F1-4F1E-B9E5-F55E49EB1C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebe0df415a195e995ec11838e7b0c6b29c229b7","datavalue":{"value":"decidable predicates on integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$7B9FF464-8176-4F95-8B31-102834FEDB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569ab5cde5c25dcbfbed5b373d7e07e1d4960487","datavalue":{"value":"infinite time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$678F6E59-17F7-4C42-9962-46D1571846C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fba3c22e2dff61d6b1dc2f692303e5a7b6b6b88","datavalue":{"value":"admissibility theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$E41BC775-79C5-41E3-92A8-EABDDF6B9FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d6e710213cdbb7e0397bc78b0e0097cd00bc70","datavalue":{"value":"constructible hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$998B7C62-12C5-4043-8D47-0B04F4E08461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"031573deb93a9074044951d3cf738f71e27a5eca","datavalue":{"value":"infinite time Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$EE0AC16E-3AE8-43B4-BE33-35B27C0E1212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0249355a8cdf1f888808e13250c420c84fb4c63f","datavalue":{"value":"jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527919$C92425AE-226C-4FEE-BE2F-376B3BAE4D60","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":"Q4527919$EA030377-8FD3-4AB9-BE62-23FAE47E6EB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d37131b6355d9cb6f4275d54df71568698922c","datavalue":{"value":"https://doi.org/10.2307/2586695","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527919$83D54C86-ADEA-479C-8B3A-F9BB39280434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3d91fa51a5692afc2bf92b5612efc97ac434c04","datavalue":{"value":"W2060434897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527919$BF159AB9-94FD-483A-91A5-97E714D81696","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527919$3317F7F8-98A8-4CE0-972D-1B5E09E3D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b130d57ab2ae2dd7c506a60e145c54cba9f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527919$17EC05ED-B01A-46A1-9F55-B2A36A8093F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e695efcc5cb56bf35051374e9cfd6ece09c711c3","datavalue":{"value":{"amount":"+0.8283125162124634","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":"Q4527919$9F47B5DC-9E43-4335-A566-BED738118162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2146f2ba218b31da8f1d8ce62be7671351e18a31","datavalue":{"value":{"entity-type":"item","numeric-id":4487651,"id":"Q4487651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298d302ed485135c412f131f5eda39bf86c69d16","datavalue":{"value":{"amount":"+0.8193959593772888","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":"Q4527919$C2239B9B-FB77-4566-81F2-0FA48D37BCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eeb60db0e676ae325ced7fb17d53e7ef51173a5","datavalue":{"value":{"entity-type":"item","numeric-id":3464656,"id":"Q3464656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbf7ea89e42b74570f3a6e421a4afa8de78af5b","datavalue":{"value":{"amount":"+0.8091234564781189","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":"Q4527919$77938C82-0526-4571-86C1-C6D1CB898304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca517b2a3c837e9ed46f4d59a17df7078ed89872","datavalue":{"value":{"entity-type":"item","numeric-id":3608469,"id":"Q3608469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742933798551a9e3791b621dc13002361a52b9d6","datavalue":{"value":{"amount":"+0.8086748719215393","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":"Q4527919$04603AD8-5FFA-4CFE-BF38-06341B321913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583a65f690d94d82238d7e866b9c1316991f294b","datavalue":{"value":{"entity-type":"item","numeric-id":1031833,"id":"Q1031833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2230e369b18fe84e40790655f20c6d52c8d2dddd","datavalue":{"value":{"amount":"+0.8076497912406921","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":"Q4527919$66A57AA8-F51C-4680-88BF-3ED8C19AC4A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527919"}}}}}