"decidable" - related articles and key terms