hasSolutionUnderAssumption
P195479
predicate
Indicates that a problem or statement has a valid solution when a specified assumption or set of assumptions is taken to hold.
Sample triples (2)
| Subject | Object |
|---|---|
| Naimark problem | diamond principle ⓘ |
| Naimark problem | continuum hypothesis ⓘ |