This paper is concerned with the problem of existence and uniqueness of weak and classical solutions for a fourth-order semilinear boundary value problem. The existence and uniqueness for weak solutions follows from standard variational methods, while similar uniqueness results for classical solutions are derived using maximum principles.