inferenceAlgorithm
P172061
predicate
Indicates that one entity is an algorithm or method used to draw conclusions or derive new information from data or premises about another entity.
Sample triples (2)
| Subject | Object |
|---|---|
| HM type system | Algorithm W NERFINISHED ⓘ |
| HM type system | unification-based type inference ⓘ |