Statements (10)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
recursively enumerable sets
|
| gptkbp:describes |
properties of partial computable functions
|
| gptkbp:field |
computability theory
|
| gptkbp:namedAfter |
gptkb:G._E._Hutchinson
gptkb:H._G._Rice |
| gptkbp:relatedTo |
gptkb:Rice's_theorem
|
| gptkbp:bfsParent |
gptkb:John_W._Hutchinson
|
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hutchinson–Rice criterion
|