knownToHoldFor
P166638
predicate
Indicates that a certain condition, property, or relation is confirmed to be valid or applicable for the specified entity or context.
Sample triples (5)
| Subject | Object |
|---|---|
| Tate Conjecture | abelian varieties over finite fields in many cases ⓘ |
| Tate Conjecture | divisors on abelian varieties over finite fields ⓘ |
| Tate Conjecture | K3 surfaces in some cases ⓘ |
| Gel'fand–Kirillov conjecture | finite-dimensional nilpotent Lie algebras ⓘ |
| Gel'fand–Kirillov conjecture | finite-dimensional solvable Lie algebras of certain types ⓘ |