English ⇄ German +

backward pruning
AI.	Rückwärtsbeschneiden n; Rückwärtsabschneiden n; Rückwärtsstutzen n; retrospektives Beschneiden (Reduzierung des Suchbaumes durch Nichtuntersuchen von Möglichkeiten)