Kripke models (English, noun)
expansion: Kripke models
Senses:
glosses: plural of Kripke model
tags: form-of
plural
Forms: