Anglais ⇄ Allemand +

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