{"batchcomplete":"","continue":{"lecontinue":"20260504140646|1463","continue":"-||"},"query":{"logevents":[{"logid":1473,"ns":6,"title":"File:Phi strict.pdf","pageid":837,"logpage":837,"revid":7499,"params":{},"type":"create","action":"create","user":"DrDisentangle","timestamp":"2026-05-10T08:28:52Z","comment":"Text writeup of a Lean proof"},{"logid":1472,"ns":6,"title":"File:Phi strict.pdf","pageid":837,"logpage":837,"revid":7499,"params":{"img_sha1":"7nln898jzd8qciccqtrslf17vuq9ire","img_timestamp":"2026-05-10T08:28:52Z"},"type":"upload","action":"upload","user":"DrDisentangle","timestamp":"2026-05-10T08:28:52Z","comment":"Text writeup of a Lean proof"},{"logid":1471,"ns":2,"title":"User:BadDisplayName","pageid":0,"logpage":0,"params":{"userid":228},"type":"newusers","action":"create","user":"BadDisplayName","timestamp":"2026-05-10T07:36:13Z","comment":""},{"logid":1470,"ns":0,"title":"Busy Beaver for SKI calculus","pageid":836,"logpage":680,"revid":7492,"params":{"target_ns":0,"target_title":"SKI Calculus"},"type":"move","action":"move","user":"ADucharme","timestamp":"2026-05-09T23:04:50Z","comment":"standardization"},{"logid":1469,"ns":0,"title":"De Bruijn index","pageid":835,"logpage":835,"revid":7490,"params":{},"type":"create","action":"create","user":"ADucharme","timestamp":"2026-05-09T23:01:00Z","comment":"creation of page by taking section from lambda calculus page"},{"logid":1468,"ns":0,"title":"Busy Beaver for lambda calculus","pageid":834,"logpage":372,"revid":7486,"params":{"target_ns":0,"target_title":"Lambda Calculus"},"type":"move","action":"move_redir","user":"ADucharme","timestamp":"2026-05-09T22:31:42Z","comment":"standardization pf titles"},{"logid":1467,"ns":0,"title":"Lambda Calculus","pageid":372,"logpage":832,"params":{},"type":"delete","action":"delete_redir","user":"ADucharme","timestamp":"2026-05-09T22:31:42Z","comment":"Deleted to make way for move from \"[[Busy Beaver for lambda calculus]]\""},{"logid":1466,"ns":2,"title":"User:\u0394\u2075","pageid":0,"logpage":0,"params":{"userid":227},"type":"newusers","action":"create","user":"\u0394\u2075","timestamp":"2026-05-07T03:28:52Z","comment":""},{"logid":1465,"ns":1,"title":"Talk:Introduction to the Busy Beaver Function","pageid":833,"logpage":833,"revid":7453,"params":{},"type":"create","action":"create","user":"Panaro","timestamp":"2026-05-06T10:04:48Z","comment":"left/right/status"},{"logid":1464,"ns":2,"title":"User:Panaro","pageid":0,"logpage":0,"params":{"userid":226},"type":"newusers","action":"create","user":"Panaro","timestamp":"2026-05-06T10:02:35Z","comment":""}]}}