Theoretical Approach to Reduced Q-Matrix for Cognition Diagnosis