As she is employed for 20 hours per week I assume her employer is paying a class A contribution on her behalf therefore she has the same entitlement to pension as any full time worker.
She can always check that on her P60 each year where it shows the number of insurable weeks, the number of contributions made, and the Class of those contributions.
Pension entitlement is based on the total number of PRSI payments made divided by the total number of years from starting work to age 65/66, to give a yearly average. (This is the basic simplified version and there are other factors)