decidable system
Related entries include:
decidibility
;