{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"0525-徐天一：类型论与自动定理证明 第四讲\" src=\"https://tube.yangruizhi.cyou/videos/embed/6PYV7MD2rQh8rRZd6djzN6\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"0525-徐天一：类型论与自动定理证明 第四讲","author_name":"Logic Fudan","author_url":"https://tube.yangruizhi.cyou/video-channels/logic_fudan","provider_name":"PeerTube","provider_url":"https://tube.yangruizhi.cyou","thumbnail_url":"https://tube.yangruizhi.cyou/lazy-static/thumbnails/9330b443-5638-4475-aa59-3642e7c80493.jpg","thumbnail_width":1280,"thumbnail_height":720}