Anglais ⇄ Lituanien Russe +

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