Definition, synonyms and related words
A question in some formal system with a yes-or-no answer, depending on the values of input parameters.