English ⇄ Lithuanian Russian +

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