{"entities":{"Q3751574":{"pageid":5781480,"ns":120,"title":"Item:Q3751574","lastrevid":88719575,"modified":"2026-06-04T15:16:34Z","type":"item","id":"Q3751574","labels":{"en":{"language":"en","value":"A Connection Between Blum Speedable Sets and G\u00f6del's Speed-Up Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987271"}},"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":"Q3751574$C5FADF76-BC8C-47E6-82BD-4F0051B5BB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8640a0264f1276ab15c29e8048a6351caf5d1632","datavalue":{"value":{"text":"A Connection Between Blum Speedable Sets and G\u00f6del's Speed-Up Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3751574$F0959D9E-68A6-4522-B50D-1064E0473168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca1b85ded6baf9a996d87cd1b27e5c3480102fa6","datavalue":{"value":"0611.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$05B947A7-CC50-4F48-AD05-5D5EE63A2C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3002bdf14d2fb893ffd1ba9d52357ce202efa97d","datavalue":{"value":{"entity-type":"item","numeric-id":3197810,"id":"Q3197810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751574$0E668CE5-8B1D-4EDC-8869-C75F885E6431","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751574$424BD399-53AF-4B91-B8AB-6D90A7F1C52A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3751574$D3476825-8466-4A71-B777-9DA9B7304715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$FC751036-6F01-4302-B50E-26A18DCAE686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$895B33F6-3799-428B-B43A-8CC41A06B57A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a98d0c359707752a3dd098cde4d9a40a117da011","datavalue":{"value":"3987271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$A324F8EC-907C-448E-A91E-E93C2FC71441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$E5504E69-9816-42FD-82B0-F914B491834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a01d67b7cb20f20adc10e5ae2c4f9768e55abfe","datavalue":{"value":"speedable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$5AE6F845-2922-4D50-AB1C-EE67230F0DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76ab228f1459ac151bec4c1e1dc49c4b8c18a37","datavalue":{"value":"constructive form of G\u00f6del's speed-up theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$E5DAEC5D-C608-404D-9D0B-F689970825D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07fe192cc49910b68bb3de66ab49eba4f61397e","datavalue":{"value":"number of characters in the proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$D61D63C5-6E4B-49EB-954A-50B69030F562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aba15462cce7fabd5db5aa4cdc3721ad1800dfc0","datavalue":{"value":"theorem of Hartmanis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$5C47DECE-E1CB-4059-BCEA-B2EB24FE5704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a09e7746a124f374c1c90d73a99efa90cb9411","datavalue":{"value":"effective speedability of creative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$1F89A438-682E-4BD4-BED3-7BCEDCBF4C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249ff95fe3afcde9b98abe3725dc27ab681a70c8","datavalue":{"value":"provably recursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751574$EB396AF9-8433-49C0-ADBE-A47B7EE6B7E4","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":"Q3751574$9C6B42C9-67EC-448E-9B42-CB4D4CABBB92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b533b4bb958cf6743723d04e613e2d6bd1e09c77","datavalue":{"value":"https://doi.org/10.1002/malq.19870330505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3751574$AC56F86E-7313-4E0B-944C-40614E81A136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d2d4fa4140381b5da9c77f50121bb8005ed7471","datavalue":{"value":"W2160122737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$32697511-80E6-468F-9F4E-0D94B4B28263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2c8a0f91a0eea394ddf5a525fdf5a8f9ed4b47","datavalue":{"value":"10.1002/MALQ.19870330505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751574$0A482730-430F-4E1C-90F8-B01EF6A92917","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6330f7a6069652af1709a4f8961d6608b2cf53","datavalue":{"value":{"entity-type":"item","numeric-id":3480036,"id":"Q3480036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094b8749603d18e2a979dd64d71b634214d62aa9","datavalue":{"value":{"amount":"+0.833014726638794","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":"Q3751574$7E95E26F-F92F-422A-8538-D2789E675A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ef4019398e49b56a1ac8781f5a2b57ce11aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4304121,"id":"Q4304121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebf5d3dfa7b41344bd86b9b274673ea25bd0eef","datavalue":{"value":{"amount":"+0.8244537115097046","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":"Q3751574$A0482D51-9212-43C0-A69E-512DDD23C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736a10044a84d52aaefbdd5174574dcf63ea6862","datavalue":{"value":{"amount":"+0.8041669726371765","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":"Q3751574$8894DAE9-EA9B-48CE-B4B1-429CFD7FF9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2025b1d547da36739b8cc477d6dba51c6727995c","datavalue":{"value":{"entity-type":"item","numeric-id":1334675,"id":"Q1334675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7ddf55116ef26b09404ddfd86beb900ee517c4","datavalue":{"value":{"amount":"+0.8021883368492126","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":"Q3751574$BE8E2D8D-C3D4-4206-A879-97A97DF51278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203618a8b07f65d3adab6043a408b062858e61c0","datavalue":{"value":{"entity-type":"item","numeric-id":3197811,"id":"Q3197811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8215377f4e750128f3cd7b65c92a6a76aa76b4","datavalue":{"value":{"amount":"+0.7964630722999573","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":"Q3751574$45C31F82-676D-4E0C-9503-FEE7F8E7DA27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Connection Between Blum Speedable Sets and G\u00f6del's Speed-Up Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Connection_Between_Blum_Speedable_Sets_and_G%C3%B6del%27s_Speed-Up_Theorem"}}}}}