Anglais ⇄ Lituanien Russe +

tree form proof contraintes
informat.	ветвящееся доказательство; доказательство в форме дерева
math.	доказательство в виде дерева
tree-form proof
Gruzovik, math.	ветвящееся доказательство