Английский ⇄ Литовский Русский +

tree-form proof ударения
Gruzovik, мат.	ветвящееся доказательство
tree form proof
ИТ.	ветвящееся доказательство; доказательство в форме дерева
мат.	доказательство в виде дерева