Steht die Leistungspflicht des Schuldners gemäss dem definitiven Rechtsöffnungstitel unter einer auflösenden Bedingung, ist grundsätzlich Rechtsöffnung zu erteilen. Die Rechtsöffnung ist indes zu verweigern, wenn der Schuldner den Eintritt der Resolutivbedingung durch Urkunden zweifelsfrei nachweist, wobei das Erfordernis des Urkundenbeweises wegfällt, wenn der Gläubiger den Eintritt der Bedingung vorbehaltlos anerkennt oder wenn dieser notorisch ist (BGE 144 III 193 E. 2.2, mit Hinweis auf BGE 143 III 564).