decidable wff
Related entries include:
decidibility
;