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

Herbrand's algorithm
.טכנול	αλγόριθμος του Herbrand; αλγόριθμος του Χέρμπραντ