{"type":"rich","version":1.0,"title":"Re: [FI] [logic] \"substitution instance\" and \"uniform substitution instance\" (2019-11-30)","width":1179,"html":"<a href=\"https://asciinema.org/a/284557\" target=\"_blank\"><img alt=\"Re: [FI] [logic] &quot;substitution instance&quot; and &quot;uniform substitution instance&quot; (2019-11-30)\" src=\"https://asciinema.org/a/284557.png\" width=\"1179\"></a>","height":792,"author_name":"petrogradphilos","author_url":"https://asciinema.org/~petrogradphilos","provider_url":"https://asciinema.org/","thumbnail_url":"https://asciinema.org/a/284557.png","thumbnail_width":1179,"thumbnail_height":792,"provider_name":"asciinema"}