{"entities":{"Q580332":{"pageid":582099,"ns":120,"title":"Item:Q580332","lastrevid":62921937,"modified":"2026-04-11T09:00:25Z","type":"item","id":"Q580332","labels":{"en":{"language":"en","value":"Turing complexity of the ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016883"}},"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":"Q580332$83516502-A6B6-4DEA-9629-632E80998B2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33f247ce81aea97d9c060ec00156c7bf0173b5e5","datavalue":{"value":{"text":"Turing complexity of the ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580332$1B2B0A0B-15BA-4C19-964E-BFEB9EDCC17D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6bd5cbefff1242ef7450fb6b5452936f99d19e","datavalue":{"value":"0626.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$F18E3961-AAB4-4E4F-B3C6-6A80D0D82A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ecc2ca61473c55a066de92c8ecbd38e3b983ae","datavalue":{"value":"10.1016/0020-0190(86)90130-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$E345F3F0-A4E5-4D14-8A7F-5758A13AEAE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580332$A0DF9976-8B4A-4D77-A51F-9C683BC32FA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580332$2AF7D822-4497-4D8B-BB5A-B8CE19672BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q580332$9CC91058-2F20-41CA-A9EE-E89BBF4F76A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28ffe89b695d0bc2b0bdda92d8a2b29e11ea2753","datavalue":{"value":"Countable ordinals are identified with mappings from \\(N\\times N\\) to \\(\\{\\) 0,1\\(\\}\\). A countable ordinal belongs to the complexity class \\({\\mathcal C}\\) if there exists an underlying mapping in \\({\\mathcal C}\\). Under this definition it is shown that every recursive ordinal is in DTIME(n).","type":"string"},"datatype":"string"},"type":"statement","id":"Q580332$4CF45EE9-39C5-473D-AD01-76849CF3DA0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$8E1FE86F-DE7A-4CFF-88B8-F763D8074C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$45E6740E-AA0E-4ED0-A0D6-9FD328BFFFDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aabfdddb2e3994b9d12d5237f4fd0b0106764dd","datavalue":{"value":"4016883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$C4BF2568-5C5F-46D9-B9FD-AFD87BEF853B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q580332$09E381C5-2AA4-4652-B4FD-F64CE80DFDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca770f47422fd391d4479b40c43b2fe4849f3ef1","datavalue":{"value":"Countable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q580332$C2FD1FEE-4751-4D02-BD01-9F569A1E4DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6384c9a3e443bfb7ba0f294a1c40a15678e59e33","datavalue":{"value":"recursive ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q580332$A4949DB4-E2E8-490E-BB62-0B34405DA94D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580332$6A8AC08D-F33C-45D5-B497-32413924F0EE","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":"Q580332$8594FDA5-BB05-407C-8A78-059F6CA8AD5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edbafb4aa53d533c604c1772c843c101873f65ed","datavalue":{"value":"https://doi.org/10.1016/0020-0190(86)90130-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q580332$63CCB89C-9061-4D5F-B31D-3BFE8F3BE3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2948ce053d443559f1c59443f923cbfbdff0157","datavalue":{"value":"W2030306339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580332$09A1C83F-4733-4C5C-B61A-97BE819171B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580332$872C0161-2BF5-4E46-A8FE-3FF289F2DC8C","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":"Q580332$F474EE3F-7C8A-4950-BD7B-71406E2FF51B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7384e640dc17b4acb76e1e6e1991699350fa4e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3489983,"id":"Q3489983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9e85dc0966eef9d2f3f184c7cbaf172f8f5a1a","datavalue":{"value":{"amount":"+0.7820215225219727","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":"Q580332$AD407CE6-008F-4D85-A861-87B4C058DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ab3241e5e79f43c55c0a104720725a73eca364","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f713522932285dc70a624c473e15073f3758ab74","datavalue":{"value":{"amount":"+0.7448285818099976","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":"Q580332$D11FC0B0-3DFD-4468-B107-FB91A2A17237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56c87c724173faa59e71c8e711d9af6d27f454d","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa175a58df53ffe0c667059516fda111ee17279","datavalue":{"value":{"amount":"+0.7405683398246765","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":"Q580332$631B0116-C522-41A5-95BC-26752F32281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d97f8e17acecfeebf63b6741b41e28ec7abe6d","datavalue":{"value":{"entity-type":"item","numeric-id":499081,"id":"Q499081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e01476ea82f054ca990288cc37c073f475c14e2","datavalue":{"value":{"amount":"+0.7400501370429993","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":"Q580332$EE673A7C-EE2C-4E65-B153-C6E7D2354B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1277eba31dcca820daace8251e17a46df15db3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5425351,"id":"Q5425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0ab642751bd529c12dbad7b8a524dc2ea558bd","datavalue":{"value":{"amount":"+0.7348519563674927","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":"Q580332$87F9047B-ADC2-4C02-B9F2-51A6B3C4BB06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turing complexity of the ordinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Turing_complexity_of_the_ordinals"}}}}}