English Dictionary
◊ DERIVABLE
derivable
adj : capable of being derived
English Computing Dictionary
◊ DID YOU MEAN DECIDABLE?
decidable
{decidability}