assumptionWeakenedTo
P189549
predicate
Indicates that an original assumption has been relaxed or made less strict, resulting in a weaker form of that assumption.
Sample triples (1)
| Subject | Object |
|---|---|
| Rosser sentence | mere consistency ⓘ |