English ⇄ Lithuanian Russian +

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