Random triples
| Subject | Object |
|---|---|
| gptkb:CP^1 | [z0:z1] |
| gptkb:projective_space_(all_weights_1) | yes |
| gptkb:PG(2,_K) | yes |
| gptkb:projective_line_over_C | [z0:z1] |
| gptkb:Complex_projective_line | [z0:z1] |
| gptkb:projective_line_P^1 | [x:y] |
| gptkb:complex_projective_space_CP^{n-1} | [z_1:...:z_n] |
| gptkb:projective_plane_P^2 | (x:y:z) |
| gptkb:SE(3) | used |