isUniqueUpToIsomorphism
7
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Projective_plane_of_order_2 | true |
| gptkb:projective_plane_of_order_2 | true |
| gptkb:finite_field_F | true |
| gptkb:Rado_graph | true |
| gptkb:standard_model_of_natural_numbers | true |
| gptkb:Trivial_group | true |
| gptkb:Steiner_system_S(2,3,7) | true |