Английский ⇄ Китайский Русский +

implication graph ударения
мат.	граф вывода; граф импликаций (в задаче 2-выполнимости (2SAT) sas_proz); импликационный граф
эл.	вводящий граф