{"entities":{"Q6214428":{"pageid":13351215,"ns":120,"title":"Item:Q6214428","lastrevid":58781040,"modified":"2026-04-06T16:43:12Z","type":"item","id":"Q6214428","labels":{"en":{"language":"en","value":"The Busy Beaver Competition: a historical survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900498064"}},"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":"Q6214428$06C168CF-8B7F-4697-979A-8E4E03576821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d157dacba10f41e518b37906be93e705c448996d","datavalue":{"value":{"time":"+2009-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6214428$4A72D990-2EF9-4083-A9D4-F6E205B492F9","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":"Q6214428$AAC0CE9D-F121-4B4D-9802-DB8196342CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"850cfbba3e23ea0a9cdba0bd09e1182850908a6c","datavalue":{"value":"900498064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6214428$264347F4-DC70-4C86-B5F5-EC33E0187895","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":"Q6214428$BAB73543-0363-485F-80DA-5AC454620C28","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"78a4b4661028f7bb71668334f40a4fd43fb7bc31","datavalue":{"value":"https://github.com/ccz181078/coq-bb5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6214428$B1352AFF-59EA-4DDB-B8CB-33C3F30226D0","rank":"normal","references":[{"hash":"fa7312e7e14261834563e18c16095654bec4dd4e","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"2c473996a6f743798b9cf7262ba4a2a06e110b65","datavalue":{"value":"https://paperswithcode.com/paper/the-busy-beaver-competition-a-historical","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6214428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6214428"}}}}}