Aplikasi Data Mining Pada Analisis Financial Distress Model Altman z-score Untuk Memprediksi Potensi Kebrangkutan Pada Industri Properti Go-Public Di Indonesia