Third-person singular simple present indicative form of imbathe

A surname.

(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system.

A surname from Russian.