Random triples
| Subject | Object |
|---|---|
| gptkb:projective_line_over_GF(7) | {[1:0], [0:1], [1:1], [1:2], [1:3], [1:4], [1:5], [1:6]} |
| gptkb:real_projective_line | all lines through the origin in R^2 |
| gptkb:finite_projective_spaces | finite set |
| gptkb:classical_projective_plane | n^2 + n + 1 |