oh15.wc

From MaRDI portal
Dataset:6033129