צרפתית ⇄ איטלקית אנגלית גרמנית דנית הולנדית יוונית ספרדית פינית שוודית +

algorithme de Herbrand
.טכנול	Herbrand-Algorithmus m