givesNecessaryAndSufficientConditionFor
P148128
predicate
Indicates that one entity provides a condition or set of conditions that are both required and alone adequate for another entity, concept, or statement to hold or be true.
Observed surface forms (1)
- hasNecessaryAndSufficientCondition ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Erdős–Gallai theorem | a sequence to be graphical ⓘ |
| Legendre's three-square theorem | an integer to be a sum of three squares ⓘ |
| Eulerian digraph | strongly connected after removing zero-degree vertices and in-degree(v)=out-degree(v) for all v via predicate surface "hasNecessaryAndSufficientCondition" ⓘ |