{"batchcomplete":"","continue":{"lecontinue":"20261015193008|3512","continue":"-||"},"query":{"logevents":[{"logid":3522,"ns":0,"title":"Principia Machina/Progress/Phase 3","pageid":1094,"logpage":1094,"revid":6897,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-21T02:45:57Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3521,"ns":0,"title":"Principia Machina/Progress/Status","pageid":1093,"logpage":1093,"revid":6827,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-16T13:47:59Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3520,"ns":0,"title":"Principia Machina/Progress/Log","pageid":1092,"logpage":1092,"revid":6826,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-16T13:47:58Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3519,"ns":0,"title":"Principia Machina/Progress/Phase 2","pageid":1091,"logpage":1091,"revid":6825,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-16T13:47:57Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3518,"ns":0,"title":"Principia Machina/Progress/Phase 1","pageid":1090,"logpage":1090,"revid":6824,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-16T13:47:56Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3517,"ns":0,"title":"Principia Machina/Progress/Phase 0","pageid":1089,"logpage":1089,"revid":6823,"params":{},"type":"create","action":"create","user":"PMA Progress","timestamp":"2026-10-16T13:47:55Z","comment":"Progress pages rendered from the Principia Machina source"},{"logid":3516,"ns":2,"title":"User:PMA Progress","pageid":0,"logpage":0,"params":{"oldgroups":[],"newgroups":["approved"],"oldmetadata":[],"newmetadata":[{"group":"approved","expiry":"infinity"}]},"type":"rights","action":"rights","user":"Alt BFP","timestamp":"2026-10-16T05:24:39Z","comment":""},{"logid":3515,"ns":2,"title":"User:PMA Progress","pageid":0,"logpage":0,"params":{"userid":17},"type":"newusers","action":"create2","user":"Alt BFP","timestamp":"2026-10-16T05:17:19Z","comment":""},{"logid":3514,"ns":10,"title":"Template:Principia Machina map","pageid":1088,"logpage":1088,"revid":6623,"params":{},"type":"create","action":"create","user":"PMA Publisher","timestamp":"2026-10-15T19:30:09Z","comment":"Published from the Principia Machina source"},{"logid":3513,"ns":10,"title":"Template:Lean theorem prover map","pageid":1087,"logpage":1087,"revid":6622,"params":{},"type":"create","action":"create","user":"PMA Publisher","timestamp":"2026-10-15T19:30:09Z","comment":"Published from the Principia Machina source"}]}}