{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"0524-徐天一：类型论与自动定理证明 第三讲\" src=\"https://tube.yangruizhi.cyou/videos/embed/vFZh8yfkt8NHNUbT2PwFSp\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"0524-徐天一：类型论与自动定理证明 第三讲","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/bbb98a58-7e5f-4f98-904e-81a304f1fa9c.jpg","thumbnail_width":1280,"thumbnail_height":720}