Assertion list for term "decidable".
Results from Ascent++: 2
property (aspect of function) → HasProperty → decidable 0.31
logic → HasProperty → decidable 0.30