generalization of (P815): Difference between revisions
From MaRDI portal
Created claim: description (P896): typically used to state that the object is a special case of the subject if certain assumptions hold (expressed as qualifiers) |
Changed claim: description (P896): typically used to state that the object is a special case of the subject if certain assumptions hold (expressed via qualifier "assumes") |
||
| Property / description | Property / description | ||
typically used to state that the object is a special case of the subject if certain assumptions hold (expressed via qualifier "assumes") | |||
Latest revision as of 11:39, 15 January 2025
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
