{"entities":{"Q688516":{"pageid":690365,"ns":120,"title":"Item:Q688516","lastrevid":63731706,"modified":"2026-04-11T15:10:07Z","type":"item","id":"Q688516","labels":{"en":{"language":"en","value":"Busy beaver competition and Collatz-like problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444901"}},"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":"Q688516$12D6D3D6-8999-47D9-BF52-14C18E2AAAD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4da7fb0d5b6f6ff4b0289c07d08e9b45d172d4a","datavalue":{"value":{"text":"Busy beaver competition and Collatz-like problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688516$DD696BA1-E735-48F3-B862-D568F9FE6CB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad3f8f0c871000876dcf02a4a56b1c7fb60473b","datavalue":{"value":"0779.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$F94795D7-EF75-41B8-BB17-8E0A2357BB04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"386b2056ac5709071ab1ba0c190d65489c36024c","datavalue":{"value":"10.1007/BF01409968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$4375489A-856D-4496-88D2-DCDF49D10759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf8dc75668fbe01557231ec0e2459242b9425887","datavalue":{"value":{"entity-type":"item","numeric-id":688515,"id":"Q688515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$0BF87A99-ED1D-4D56-B0C2-EB5CC90DED13","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":"Q688516$3D3ABBCC-97EA-4DC2-9DF8-3D5E0E2E1CB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688516$617D5B34-F50D-4F48-A76C-28DF2657E34F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbbc922628c04a70141eb8f896b846a59377a7fc","datavalue":{"value":"The Busy Beaver Competition is held by Turing machines. The better ones halt taking much time or leaving many marks, when starting from a blank tape. In order to understand the behavior of some Turing machines that were once record holders in the five-state Busy Beaver Competition, we analyze their halting problem on all inputs. We prove that the halting problem for these machines amounts to a well-known problem of number theory, that of the behavior of the repeated iteration of Collatz-like functions, that is functions defined by cases according to congruence classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688516$972FF7B1-F1C1-4862-AAC0-440F836908D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"507a1d86e61d7ceb30c2ff7d858323684defde55","datavalue":{"value":{"entity-type":"item","numeric-id":295027,"id":"Q295027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$7EE1FC58-9769-4768-B40D-60270E748E71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$B7A7D1C1-5E98-4F4E-8C14-06E10FA6424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$1E1B1907-2C1F-494D-AA0D-A44DD150ECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e821df6326b3ec031e2707c7393053b1c25d6776","datavalue":{"value":"11B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$5073A323-13BC-49D5-8AF7-E88A3CCF8E5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d99bd5aa5163be68382a0dd71c168826e07cc4","datavalue":{"value":"444901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688516$E9F59586-61F8-48F3-90FC-1841703A522A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1b6e477c72532ee22a69d98784f6811224f9e6","datavalue":{"value":"Busy Beaver Competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q688516$6702F51B-12A3-4067-87F2-CCE77D10C8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q688516$C65D45E0-47B4-463F-91A8-2EE2DAC16C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q688516$EC87DF31-7DF0-42CF-95B9-67DFA04651A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53faca145f2972a0a6da39938ffc59e01e1efb3","datavalue":{"value":"repeated iteration of Collatz-like functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q688516$7FAF7617-455D-4045-8925-7C8516E6ABAA","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":"Q688516$890296B2-4E36-4CCD-A130-1F5C6F7BCC7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0e5d5a166cddb60e5d7dd11f708e3e297f9e45","datavalue":{"value":{"entity-type":"item","numeric-id":3666832,"id":"Q3666832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$664D23F4-C918-4F48-994B-C76208A9B80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef44af44ea7e21a32ebd605ccde2dc54f1e8bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":4203822,"id":"Q4203822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$DC083882-D4C3-4AB7-8B34-8C4E932899B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6632cfb65b9357532810a836d4ece74f3f566683","datavalue":{"value":{"entity-type":"item","numeric-id":4103618,"id":"Q4103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$00F8B57C-02B3-476F-9090-C00559DDD7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$996C8A83-8041-46AE-8F12-2049FCA2F386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d209315c4d3e50a930d2c08bd8b6d13760b965a","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$2FA4AD24-2933-408A-8AF2-E31FC29CAF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ab87ca2e841c175288fb0b9848ffaae841d763","datavalue":{"value":{"entity-type":"item","numeric-id":5509686,"id":"Q5509686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$AA39444D-793B-4CD2-B44D-7F564194EF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e094d35efa4a9debae9f75bf50112b4811a6339","datavalue":{"value":{"entity-type":"item","numeric-id":5537789,"id":"Q5537789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$1DC14D1C-9338-40EC-8212-7E31E4181372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ed0687476a829f27c6535b996f6400447bbeec","datavalue":{"value":{"entity-type":"item","numeric-id":3971350,"id":"Q3971350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$9D822EEA-0637-4A96-849E-392110DB7C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25151b11256f6cd57a3b0fe6238173228e9b644","datavalue":{"value":{"entity-type":"item","numeric-id":1103615,"id":"Q1103615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$DC8A19C6-9D77-4724-A1A6-1981DDBA89B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7db96df829ee2087c340553f9da0f0b80fda98","datavalue":{"value":{"entity-type":"item","numeric-id":1844660,"id":"Q1844660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$C9E1A360-E5EF-4EC9-9626-E4B4F44D4890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d581ae0a13794d18ab422922b257a359364b3","datavalue":{"value":{"entity-type":"item","numeric-id":4006815,"id":"Q4006815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$C8EE551F-706A-4B1D-A2DC-7AB302113E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df40cdbdd9abdf3e75dc4dadcfe08ce93c395fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3661558,"id":"Q3661558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688516$FDAF7913-9F80-4B4C-A885-2DA0A143345D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9988c4dc5a7d610adf654251a187ea4ec2f65759","datavalue":{"value":{"entity-type":"item","numeric-id":3188257,"id":"Q3188257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b47c6f7b9ec8b76dee3c16c3cca7fef67dbe767","datavalue":{"value":{"amount":"+0.88562924","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":"Q688516$615DA331-8083-447D-900E-31ABC1D4043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcccfd92b43c279f620fe844b86b89e51a92900","datavalue":{"value":{"entity-type":"item","numeric-id":3637636,"id":"Q3637636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5859114a493470da193224c80cbdef3cb426a7dc","datavalue":{"value":{"amount":"+0.84430814","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":"Q688516$87B070A5-0104-4E68-B24D-0F13B53A5757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57205ddcd2f14c824fcad87d77172a855c43898a","datavalue":{"value":{"entity-type":"item","numeric-id":703533,"id":"Q703533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcc2a7452599b6479360736025ce3cdafa2e145","datavalue":{"value":{"amount":"+0.83365834","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":"Q688516$66BDC12E-8BA1-4175-B63F-10305A3D5CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97839c02cc9161e0070e9b1a0b945d11a41343d9","datavalue":{"value":{"entity-type":"item","numeric-id":696693,"id":"Q696693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5da057bb34776bc8604e8ecff591a11a66cec79","datavalue":{"value":{"amount":"+0.8308232","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":"Q688516$6C2638E6-688D-4BDB-A171-E388E34E3CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916f5dc710f4e5ccfa8e693ada10803a797d9eca","datavalue":{"value":{"entity-type":"item","numeric-id":1059095,"id":"Q1059095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2da7e7123a559ba1a275415afd3c5fbe8224565","datavalue":{"value":{"amount":"+0.8301714","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":"Q688516$AFF8CF16-4502-4FB7-AFCA-552E7EB4F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bfcf1f2a1f3347cf9116bb67d39a5c767a41f2","datavalue":{"value":{"entity-type":"item","numeric-id":3460412,"id":"Q3460412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dc37c015e96d35a08f16312b67445467ed7a3f","datavalue":{"value":{"amount":"+0.8258594","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":"Q688516$F975CF1A-C618-403B-A870-4CECBB1F42B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd70130a15ec079c73d69de5bef35ca4d9146547","datavalue":{"value":{"entity-type":"item","numeric-id":1587305,"id":"Q1587305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b5af81561922c22fd44ef843e536aa30e601cd","datavalue":{"value":{"amount":"+0.8176181","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":"Q688516$E562E72E-7F69-4A2F-926D-D0FCDA048ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a06c72be3ccb558c063341a42c239e3994c7e7","datavalue":{"value":{"entity-type":"item","numeric-id":465962,"id":"Q465962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73da356501b801086cd1d50bd226fcd8293c1ba4","datavalue":{"value":{"amount":"+0.8144099","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":"Q688516$80C4C779-6A2F-4BE5-91FF-5E428D9E277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738f51af6b64d8b488e5e1e239073601de619996","datavalue":{"value":{"entity-type":"item","numeric-id":2794472,"id":"Q2794472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0717ab8ed25810910877dee4e875c1e11fa3df","datavalue":{"value":{"amount":"+0.80093765","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":"Q688516$ADFB9B45-D671-44A3-8F21-BF13E807F544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Busy beaver competition and Collatz-like problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Busy_beaver_competition_and_Collatz-like_problems"}}}}}