Fallbasiertes Schließen zur Komplexitätsreduktion