The noun paramodulation can be countable or uncountable.
The singular form of paramodulation is also paramodulation.