{"entities":{"Q1031833":{"pageid":1033681,"ns":120,"title":"Item:Q1031833","lastrevid":56850159,"modified":"2026-03-23T19:34:33Z","type":"item","id":"Q1031833","labels":{"en":{"language":"en","value":"Infinite time extensions of Kleene's \\({\\mathcal O}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620102"}},"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":"Q1031833$65488933-64B9-4652-85A9-1996C1E5BEDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01670c30205584eebf70d5aeb4605d6f8f84a1f","datavalue":{"value":{"text":"Infinite time extensions of Kleene's \\({\\mathcal O}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1031833$CB9610DA-74B7-4D9D-B2D1-9DD3610CD2A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c891b562d301ead656df325b9bb1515355c6ce8","datavalue":{"value":"1178.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$FD0B64DC-D2B5-4E62-9037-48C78921CEDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea49f3754ba3caed4877f3d426d661d94ebec11","datavalue":{"value":{"entity-type":"item","numeric-id":1031832,"id":"Q1031832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$66667EDC-40B3-45CD-99EC-9C21956AB129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$93B407FD-083B-415E-968B-3CA838296237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d1036c74b68c1dd1600021badf709b3b4af93e7","datavalue":{"value":{"time":"+2009-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1031833$4BB3609C-A520-4F6F-957F-6BF1883BD5CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$6320D3C4-133B-42E0-9E08-A1F6CD01DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$5B6D47BA-2031-4311-A0BA-68F469641049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$491667F7-BABD-4770-AE69-5A973CA98683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0bcab6ebbac47f6f63cd8a08570bb101b52f80","datavalue":{"value":"5620102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$510C000B-C0AE-4B86-8A4B-9C8B6492BC07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7168af7aab22b7bf9deb998f14a06fd7220ace75","datavalue":{"value":"ordinal notation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031833$69FE3DAC-F6A8-47E6-A924-038C49E310BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80d150f6948e4c96309e0f37cae2fe25d492fb0","datavalue":{"value":"infinite-time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031833$B0885CDC-BAB2-4E6D-A5A0-A19D2F6BC1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16f92734bdaa614f4821c32a207051b7a2672663","datavalue":{"value":"infinite-time Turing computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031833$20443A93-F623-420F-8853-82340E41568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031833$955C753F-17E8-4A6B-9A0C-1FB3D86F2102","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":"Q1031833$61B6C19F-2F0C-41DC-9BA2-84963CAF4E5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00347e9c1bdf5c92549bce48684b7a3d719d1b4d","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0146-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1031833$A971E1A7-4971-4CED-A3AC-82D5C87E31DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ba6909ea06ec764805eef9441c233444a77d7da","datavalue":{"value":"W2155844974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$727C21D3-28B9-40A6-8DB8-2606F27F3DA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aa2e0a706aa54bd437b818c446f9fdf252a068","datavalue":{"value":{"entity-type":"item","numeric-id":3772173,"id":"Q3772173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$86B47E35-4F22-48F9-B288-ED73E5C7CFF9","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":"Q1031833$835EF12E-9CE0-4CFC-ABE5-98594E4E5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b747a9e066b30a62b417be6c975f11940e2b52e","datavalue":{"value":{"entity-type":"item","numeric-id":1407554,"id":"Q1407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$DBAC3E1C-CABD-4DAC-B187-D13DF74E6E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$E15841EE-4217-4E48-99D7-F2589249DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$E3AD93A5-2245-4D58-891E-373C34A0F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5185c8315c6026acba5306889b8114bf5505bd","datavalue":{"value":{"entity-type":"item","numeric-id":2651884,"id":"Q2651884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$3AA1337C-51B8-4C1B-8821-F1FF68C61F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$EE199ED7-16A7-4185-B05D-7AC568A76BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453f8a79df3d183d0b1ce6ebed18dba7a8e4ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3227571,"id":"Q3227571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$7CA0461B-C214-4A40-B0D3-65CAF9BF536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8335243ed3eb334f2f74bcd30d94e64a56ee8a69","datavalue":{"value":{"entity-type":"item","numeric-id":5724782,"id":"Q5724782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$705EAEE1-F84B-4A4B-9F98-A5068365DC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2def56313d79b728d0af8750c12db8dc304b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4527919,"id":"Q4527919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$C4000E2D-0F18-4D07-B91B-6B593D5B8297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87abf9f21a078a5d04782683d51495f43bb5cd21","datavalue":{"value":{"entity-type":"item","numeric-id":4487651,"id":"Q4487651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$C4239ECC-14F0-4134-8CDC-6268BD91AF36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bde6db6852f52370f1652056f68095581b838c5","datavalue":{"value":"10.1007/S00153-009-0146-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031833$D8867671-51A2-48B6-BFD4-4BB1C3ACD3E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7deb788af19bd5060a4fba43887b81e00215308d","datavalue":{"value":{"entity-type":"item","numeric-id":1318685,"id":"Q1318685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2c63510b81daf6c35d11c2dd54d6daf85ad0db","datavalue":{"value":{"amount":"+0.8940666","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":"Q1031833$C20D2448-AEDB-4BC8-AFA8-D37AD1DC174C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff6bba3158b4f5aa6e4286de5b9ce7ce7462d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3576045,"id":"Q3576045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79fc10bb99d62f7ea692bb03ac37005df3d2e60","datavalue":{"value":{"amount":"+0.87726414","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":"Q1031833$637CC027-84BB-4E86-B0F1-6F3468483166","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":"415476c7663e604ba8882b1d234484c8c8c38b5f","datavalue":{"value":{"amount":"+0.8709334","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":"Q1031833$D4DC02EB-06E8-464F-A9B7-ED9233F7CB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71005a81c2aaa49e42ed5d27eea25cd309f26f70","datavalue":{"value":{"entity-type":"item","numeric-id":2234420,"id":"Q2234420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b340c465b54f9256b1cd97873a31f6d8ea0bdfb2","datavalue":{"value":{"amount":"+0.8706228","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":"Q1031833$E32E72F3-AE17-4B39-A2AB-0435898AE835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5223dd9677f3501866a0003e3fdc9d7b2760f67","datavalue":{"value":{"entity-type":"item","numeric-id":1374209,"id":"Q1374209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae2e79cbca92c4f4f2c9aaf685798601c6862a7","datavalue":{"value":{"amount":"+0.87061536","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":"Q1031833$9F25F476-F523-4ABA-85D6-CB84D559CB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7534aba1cc186c10a1f6d25013955ede27820593","datavalue":{"value":{"entity-type":"item","numeric-id":5384986,"id":"Q5384986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5b05b09cb2a226d4950a80b849ad928924ce8b","datavalue":{"value":{"amount":"+0.8697065","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":"Q1031833$054397DA-12AB-4A74-BABB-CA8088234E5B","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":"6ba0b40898c7f1e15471aae17db19054ada2a8bf","datavalue":{"value":{"amount":"+0.8663625","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":"Q1031833$44F8C579-52BF-40CB-A556-FB320D07286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716e91928dbe0d9bd5d0bd1db92aaa86f9993345","datavalue":{"value":{"entity-type":"item","numeric-id":6353405,"id":"Q6353405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d4b2f3de99e0ff51fc62c016c9fa351eff60b3","datavalue":{"value":{"amount":"+0.8607922","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":"Q1031833$F35A7660-0F73-4B9E-BA2A-005F7C5E09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694dc07b6af80f9dd3d8dce3f115cd459b0738d","datavalue":{"value":{"entity-type":"item","numeric-id":5717037,"id":"Q5717037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679110bde0d1a00871e77f361a4905cdb63d7d28","datavalue":{"value":{"amount":"+0.85963506","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":"Q1031833$361694A6-8EEE-4056-AA0C-79BA0DDE903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bc0484d1ccf31f586520d007406ccff3b87b82","datavalue":{"value":{"entity-type":"item","numeric-id":5140310,"id":"Q5140310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e11f704a1a09032b0f32c4b5318bf9bb2d2bc06","datavalue":{"value":{"amount":"+0.85944027","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":"Q1031833$9AF48D8F-DA49-4958-A7C2-1FAAC76D61FB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031833$A9E2657E-10CB-4321-9F85-73E8E69340B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1031833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1031833"}}}}}