generalization of (P815)
From MaRDI portal
statement logically implied by the subject or a similar algorithm/function whose domain is a subset of the subject's domain
- has special case
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | generalization of |
statement logically implied by the subject or a similar algorithm/function whose domain is a subset of the subject's domain |
|
Data type
Item
Statements
typically used to state that the object is a special case of the subject if certain assumptions hold (expressed via qualifier "assumes")
0 references
