אנגלית ⇄ גרמנית סינית רוסית +

refutation tree
.בינה	Widerlegungsbaum m (repräsentiert eine Widerlegung durch Resolution)