hasDecisionProcedure
P194660
predicate
Indicates that there exists a systematic, effective method for determining, for any given input, whether the predicate or problem in question holds or has a solution.
Sample triples (7)
| Subject | Object |
|---|---|
| Single Council of the European Communities | intergovernmental decision-making ⓘ |
| Single Council of the European Communities | voting by member state representatives ⓘ |
| Senate | plenary sessions ⓘ |
| Senate | committee system ⓘ |
| Senate | voting on bills ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
automata-theoretic model checking ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
parity game solving ⓘ |