{"entities":{"Q2482464":{"pageid":2493207,"ns":120,"title":"Item:Q2482464","lastrevid":44175456,"modified":"2025-11-20T14:33:50Z","type":"item","id":"Q2482464","labels":{"en":{"language":"en","value":"Bounding lemmata for non-deterministic halting times of transfinite Turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264866"}},"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":"Q2482464$C25EA302-0FCE-44DA-B713-FB2FEA834405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b81f491bf1130c6fbd0dcd9735706b2881c89c23","datavalue":{"value":{"text":"Bounding lemmata for non-deterministic halting times of transfinite Turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482464$01A2929B-B94C-41F5-87CF-FB0ECFDE9618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"401397e5ed12704af38f1a004e571243589c7e77","datavalue":{"value":"1136.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$14DD0FCC-F518-42BE-AD8F-6D6E1444564C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$EA91E1E7-9A4A-4134-B7A0-77AD0CD286F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482464$3DA94964-42D5-40BA-94E8-540A8FCCA517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$19E2C517-7F28-4934-9B1B-4A09FE9F958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$C89DFA90-DE6D-46BC-8552-7035A7C4B240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$5A17FA9C-579A-4E5A-85D6-1C1A665CF07C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac4dce4457427135e1f6384e7139a506572628df","datavalue":{"value":"5264866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$3C25CE03-A49A-47C6-92AC-754F4742DA36","rank":"normal"}],"P16":[{"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":"Q2482464$3E2CD508-9D6F-4FB5-B3D0-482353E74951","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":"Q2482464$8BE12450-F18B-49B5-8AA6-718282DA3D24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ddb17d8dc7917a2bc0deddc3794c00cdd67cfcb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482464$491C1437-D4AD-4E19-82A7-09AC3A307C61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d71a05d6efb2357f6a1e4c58df67fb001a24441","datavalue":{"value":"W2138885481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$C257C3B8-049E-4B40-8EBA-4E518C96A815","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f8ece97e6a084658e6f2b7dfd11d328cc87f9b3f","datavalue":{"value":"Q124817136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$0CB94F3D-845F-4E47-8023-88441AA92439","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":"Q2482464$DC8E425C-B9D1-4951-A627-A8E0C863C408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f804b9a67f657cf94f866d926b5baff3c0de6130","datavalue":{"value":{"entity-type":"item","numeric-id":3374094,"id":"Q3374094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$C6BD1CE7-E955-450D-A73C-5BE1C345A189","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":"Q2482464$0F26CE4D-1E30-469B-96BA-1A89A8513D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$9CB12B82-7BA5-4878-B547-040B27152D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$97DDDC0A-1E89-4616-97E1-B1AA78C4DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a825d2dbf52ce6c4160ff38184e0a1a02ba46c18","datavalue":{"value":{"entity-type":"item","numeric-id":1142207,"id":"Q1142207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$9BBDC9D9-1F25-43BF-88DD-FE343F91CDC2","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":"Q2482464$E1A5FFAF-EA93-4DD6-B4AE-903B4DD57A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69258ea1fa41abe076500c287e2b4d366a14557","datavalue":{"value":{"entity-type":"item","numeric-id":1408507,"id":"Q1408507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482464$6F304998-47B9-46AD-8E4D-4902EB1606FF","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":"Q2482464$3E36FC03-12FD-456F-80B3-78693F5C7FBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fffb40981af3111ab8334119aa6d1c44728368f8","datavalue":{"value":"10.1016/J.TCS.2007.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482464$18603CF7-F326-4655-A12A-AD40BB921587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ca1accf3dff8a0c6d66179a1ecbd16b7d35753","datavalue":{"value":{"entity-type":"item","numeric-id":5898853,"id":"Q5898853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aad0263648321eca48c1d71d3859f14952cca8d","datavalue":{"value":{"amount":"+0.89680374","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":"Q2482464$974F7223-DC95-411E-9FC6-BD203BCE254D","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":"7424913116332321c0033cc817364627d56730ce","datavalue":{"value":{"amount":"+0.8778307","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":"Q2482464$F6EF6443-3ECB-4D39-927A-1C64C8AA1157","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":"40f5e1b81ccd856cc6e0288c37c7936162e046ab","datavalue":{"value":{"amount":"+0.8720079","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":"Q2482464$100869E2-0F02-416A-B2E1-2A4A72A88033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d34812835bfe6d7cc00b60436053c0f796db88","datavalue":{"value":{"entity-type":"item","numeric-id":4284259,"id":"Q4284259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ece501bb4592f36673b76cae58f85c7afa17949","datavalue":{"value":{"amount":"+0.85913926","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":"Q2482464$389F8F45-7DA8-4968-8A4D-12BF68F25497","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":"dd8bf388f1edbfaf1ae886bd6ca92e073b98b088","datavalue":{"value":{"amount":"+0.85771865","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":"Q2482464$2BC52CA1-B35C-4D50-B8F3-C8D406347720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d080844e7036ba55d485c0897d356eb79088bd70","datavalue":{"value":{"entity-type":"item","numeric-id":6040662,"id":"Q6040662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7110805d3bb56b7bc3a42e7ed7293a5af4d38251","datavalue":{"value":{"amount":"+0.85649836","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":"Q2482464$67A438A2-B5C9-48CE-AE61-888218B18FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa8e117fc161808cbeb783fa43f9e3b78989347","datavalue":{"value":{"entity-type":"item","numeric-id":5096346,"id":"Q5096346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9742d483c7c65ca4c09fdb89e6f75bc031c524a","datavalue":{"value":{"amount":"+0.853901","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":"Q2482464$DA567A20-94C0-466F-9423-F70F00628629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab0541cbfc4db70aaa8898d9ff10ceb43630429","datavalue":{"value":{"entity-type":"item","numeric-id":2398210,"id":"Q2398210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a2560b396e08f447564dff32f791ecfbf1f88a","datavalue":{"value":{"amount":"+0.85383594","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":"Q2482464$A7CBF002-476B-40BD-9379-2C47C39023B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932a62ed8a68cf52967f103d504afa0d5d5aa108","datavalue":{"value":{"entity-type":"item","numeric-id":4723712,"id":"Q4723712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4e21eaf42963165564aa9ff0ff114cb228b6b1","datavalue":{"value":{"amount":"+0.8530197","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":"Q2482464$93229270-2C4C-47F5-B1C2-5B057A9A1836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f298ad9da5b44b8a210dde912ee2df7d96554e90","datavalue":{"value":{"entity-type":"item","numeric-id":3748273,"id":"Q3748273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8ff882a7ea3a61ced13dff53177a4c7fbed197","datavalue":{"value":{"amount":"+0.85240746","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":"Q2482464$56F6AE6C-F96E-4EA8-8D9C-F555BF070EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482464"}}}}}