Random triples
| Subject | Object |
|---|---|
| gptkb:SL(2,_R) | gptkb:KAK_decomposition |
| gptkb:SL_2(R) | true |
| gptkb:E_6(-14) | e_6(-14) = k + p |
| gptkb:E_{6(-14)} | true |
| gptkb:SL(2,R) | gptkb:KAK_decomposition |
| gptkb:E_{7(-25)} | e_{7(-25)} = e_6 + so(2) + 27 + 27̄ |
| gptkb:SL(2,_ℝ) | yes |