T-10 heavy tank
... that the Soviet Red Army's T-10 heavy tank was originally named IS-10 for Iosif Stalin (Joseph Stalin), but was renamed in the climate of de-Stalinization?
... that the <a class="mw-redirect" href="./Soviet" id="mwkw" rel="mw:WikiLink" title="Soviet">Soviet</a> <a href="./Red_Army" id="mwlA" rel="mw:WikiLink" title="Red Army">Red Army's</a> <b id="mwlQ"><a class="mw-redirect mw-disambig" href="./T-10" id="mwlg" rel="mw:WikiLink" title="T-10">T-10 heavy tank</a></b> was originally named IS-10 for <i id="mwlw">Iosif Stalin</i> (<a href="./Joseph_Stalin" id="mwmA" rel="mw:WikiLink" title="Joseph Stalin">Joseph Stalin</a>), but was renamed in the climate of <a class="mw-redirect" href="./History_of_the_Soviet_Union_(1953-1985)" id="mwmQ" rel="mw:WikiLink" title="History of the Soviet Union (1953-1985)">de-Stalinization</a>?