{"entities":{"Q2153830":{"pageid":2164573,"ns":120,"title":"Item:Q2153830","lastrevid":55414888,"modified":"2026-02-17T15:53:05Z","type":"item","id":"Q2153830","labels":{"en":{"language":"en","value":"Decision times of infinite computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556131"}},"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":"Q2153830$1451C41C-8B36-4D80-B4F9-DFF95E42FE38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dec318a67f1cc70ab2784b75f7309e97e13cf049","datavalue":{"value":{"text":"Decision times of infinite computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2153830$CD8D4830-EE23-4AF3-88CD-A72F69BD95F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c829d4583278a7615021db5965c78f33803cd55","datavalue":{"value":"10.1215/00294527-2022-0012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2153830$3A239B5B-E8C2-457F-9322-E1A39D69D25E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$7FFE2C69-889E-4031-9FAE-F4325E53659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f3d0638dc5ddfb0045590699465214b72aa8e9","datavalue":{"value":{"entity-type":"item","numeric-id":264573,"id":"Q264573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$57E951AC-8BB6-4F2A-AC8B-92B73B3551E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df54aaacafa183ee62fe8c75514fc862fac34be2","datavalue":{"value":{"entity-type":"item","numeric-id":221561,"id":"Q221561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$CB1029E6-48BB-448B-85C8-E3C4BD5B3074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$BEA97797-B0DE-4DAA-9207-D80BC32BF4E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-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":"Q2153830$ED7946D8-F8E3-4EE3-823B-FBA540C0A297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8874c36e38e4743567def74ebbdf5dcf975fc08","datavalue":{"value":"https://arxiv.org/abs/2011.04942","type":"string"},"datatype":"url"},"type":"statement","id":"Q2153830$FF2AAD67-58B1-43BA-BF05-4F23C6BA5F9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2153830$52EAE28B-5F09-45EC-BCC2-35F66F170275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2153830$24E630E5-1610-4615-AA59-CE673EDAE1E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f7573f82dbc01216571f9341d1cfb4521d58461","datavalue":{"value":"7556131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2153830$B64FB571-9E5F-4344-A1DF-79B256B71F98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2153830$DF5C96FE-A630-4877-81AB-0DE789716927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc68d0d7c8460b9e7f4ce4ba3e782511f41a8b","datavalue":{"value":"halting times","type":"string"},"datatype":"string"},"type":"statement","id":"Q2153830$887FEAB0-E671-4DDD-8392-7D98EF0DA09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569ab5cde5c25dcbfbed5b373d7e07e1d4960487","datavalue":{"value":"infinite time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2153830$1FCF3F99-A409-4C1D-9F3C-427401CD6ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128d8c0b6838cba1bd718b0197a3dae589030551","datavalue":{"value":"stable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2153830$1F203DAC-34E7-48A9-B097-3F02CE86A8E5","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":"Q2153830$9F7B8D5F-80E4-4BC0-957B-E3BFDB29B503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fed2e503bba65eaca12b0835be62c9070b5b02c0","datavalue":{"value":"W3104510769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2153830$AFE552F8-35D2-4F5E-AA7F-7CC6287982F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$CE4C1013-3678-4F0E-BDF3-834C4CD70DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bd20004f565f87e8d5dd191bff89baf3ee25d5","datavalue":{"value":{"entity-type":"item","numeric-id":1738872,"id":"Q1738872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$C9B7E52B-AF6E-4180-9FFA-91C978CCE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6afa180fc1aea4fd6b58008ba2ace2afd47f75","datavalue":{"value":{"entity-type":"item","numeric-id":5140310,"id":"Q5140310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$9BF7510B-064D-4049-AF83-96A10605AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39639c4eb400ecf30117195f6618d519cd21ecbb","datavalue":{"value":{"entity-type":"item","numeric-id":5537368,"id":"Q5537368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$611F2CCC-21E7-4C42-83D7-22A0AE830924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$F50F2083-7F4D-4F69-90A9-40E57F85B37E","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":"Q2153830$59089B95-AA06-4F95-A5FB-25358030C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$3CE14245-CEF6-4B82-8BC7-FBDEA9AB8EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2984e7a7da592eb882a14d340cb77feeb13d9237","datavalue":{"value":{"entity-type":"item","numeric-id":4204143,"id":"Q4204143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$A821648D-B8E8-4CC9-A5C4-2AAAD591D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d485728dd7b2d8988defd3ef36590f8e45241a48","datavalue":{"value":{"entity-type":"item","numeric-id":4983106,"id":"Q4983106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$8DDE14A2-CA94-43F5-AD38-78B9650D4EAE","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":"Q2153830$24747F8A-55F0-4500-854A-A5AC37454E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3775af1c4b634235ca04555a9c63f06aad4c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1188710,"id":"Q1188710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$0BD52C7B-57D5-456C-B710-9F720670FEAA","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":"Q2153830$B9F29C91-B974-4E9A-AC35-791A8C6790D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1c8f61c568d0a490d1355d16af10568f782fd2","datavalue":{"value":{"entity-type":"item","numeric-id":3278335,"id":"Q3278335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$099260F9-5344-4446-B671-6227383EFBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5449553c27944f597ee23083b63f5194a573b7","datavalue":{"value":{"entity-type":"item","numeric-id":5551156,"id":"Q5551156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$298DD0A6-4E80-4178-ACA2-7BD10A502393","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":"Q2153830$60CDDA0D-129F-42EE-8BF7-1258A7A4FAC2","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":"Q2153830$CCECA6CE-CA28-408A-894C-46924831D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc64cf0df02f3d06ae8346715020c7b0e0ef4b","datavalue":{"value":{"entity-type":"item","numeric-id":2482464,"id":"Q2482464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$B2FB1A88-BBE6-4402-B79D-B46105149DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e879137aedac1d1ba29042cae1b089d4721bb68","datavalue":{"value":{"entity-type":"item","numeric-id":1004086,"id":"Q1004086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2153830$BA25FD8F-AAB2-47DD-9762-25C63E32D9C2","rank":"normal"}],"P1643":[{"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":"caa619ee7c79d54f29865abd6f4a8a5c9cf66dfe","datavalue":{"value":{"amount":"+0.8039036989212036","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":"Q2153830$A1F3A03D-3045-4E0E-A8B9-1CC2D018D45D","rank":"normal"},{"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":"8817da741e94b8291082c8c2878f0041f01afef5","datavalue":{"value":{"amount":"+0.7974862456321716","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":"Q2153830$509D7F0D-0EF7-4335-A1E5-78CEDFE8BD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd2fbb13ad2529b0581ddee3f371eff29364a78","datavalue":{"value":{"entity-type":"item","numeric-id":4527919,"id":"Q4527919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a810faa809cb4009ba170127b101fd4c99fc38","datavalue":{"value":{"amount":"+0.7799057960510254","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":"Q2153830$7B0B8C90-1DFD-44EB-90E6-A9598B0AAAE5","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":"2a7a069f45d429c2f2097a47043771687e3fd383","datavalue":{"value":{"amount":"+0.7550948858261108","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":"Q2153830$CF7EC723-940A-438A-92AB-281CCFA49810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97ac1193d59f1759f29d01ecbb7a247c47203a3","datavalue":{"value":{"entity-type":"item","numeric-id":1004086,"id":"Q1004086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf60a73817b572e3be84942d74c33bfd5849af6","datavalue":{"value":{"amount":"+0.7523321509361267","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":"Q2153830$B5944D45-7892-4EF3-AC2D-6DFC493ADCC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2153830","badges":[]}}}}}