英语 ⇄ 俄语 立陶宛语 +

tree form proof 强调
信息技术	ветвящееся доказательство; доказательство в форме дерева
数学	доказательство в виде дерева
tree-form proof
Gruzovik, 数学	ветвящееся доказательство