w(2;3,21) = 416, settled with LPM (Large Proof Model)

Nahmias, Eitan

DOI: 10.5281/zenodo.23776306

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.