Compatible multivalued mappings satisfying an implicit relation (Q874858)

A common coincidence point theorem is proved for a quadruple \((A,B,S,T)\) of compatible multivalued mappings in a complete metric space and a continuous map \(P\), under an implicit relation given by some additional function \(\phi\). Here by a coincidence point one means a point \(z\in X\) with \(Pz\in Az\cap Bz\cap Sz\cap Tz\).