Semi-Entscheidbarkeit

aus Wikipedia, der freien Enzyklopädie