providesAbstraction
P59095
predicate
Indicates that one entity offers a higher-level, simplified interface or conceptual layer that hides the underlying complexity of another entity.
Observed surface forms (11)
| Surface form | Occurrences |
|---|---|
| hasAbstractionLevel | 13 |
| abstractionOver | 6 |
| providesAbstractionFor | 3 |
| hasAbstractionMechanism | 2 |
| providesAbstractionOver | 2 |
| supportsTransportAbstraction | 2 |
| abstractionFrom | 1 |
| abstractionHas | 1 |
| abstractionLayerFor | 1 |
| abstractionOf | 1 |
| coreAbstractionLibrary | 1 |
Sample triples (55)
| Subject | Object |
|---|---|
| RMS (Record Management Services) | record-level data access ⓘ |
| spi-calculus | symbolic (Dolev–Yao) cryptography via predicate surface "hasAbstractionLevel" ⓘ |
| join-calculus | high-level model of distributed computation via predicate surface "hasAbstractionLevel" ⓘ |
| TextWindow object | high-level via predicate surface "hasAbstractionLevel" ⓘ |
| Wilkes microprogramming control | below machine-language instructions via predicate surface "hasAbstractionLevel" ⓘ |