Predicting bankruptcy on mining companies using altman z-score model (empirical study on mining companies listed in Indonesian Stock Exchange year 2014–2015)