Complex sentence: Subsequently, many other undecidable problems have been described; the typical method of proving a problem to be undecidable is with the technique of "reduction".
Split into simpler sentences: Subsequently, many other undecidable problems have been described. The typical method of proving a problem to be undecidable is with the technique of "reduction".