A member of the Herbrand base is called atom in automatic theorem proving.

• 在自动定理证明中,海尔勃朗基的成员也称为原子。