{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"自動定理証明器 ACL2 の入門向けに L-99 の1問目を解きました\" src=\"https://fedimovie.com/videos/embed/5PRAZB7BSLnnWDf2V6oxpu\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"自動定理証明器 ACL2 の入門向けに L-99 の1問目を解きました","author_name":"TojoQKチャンネル","author_url":"https://fedimovie.com/video-channels/tojoqk_channel","provider_name":"PeerTube","provider_url":"https://fedimovie.com","thumbnail_url":"https://fedimovie.com/lazy-static/thumbnails/a42a3d1b-4611-4fd4-9820-31cb2c78b6d8.jpg","thumbnail_width":850,"thumbnail_height":480}