GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
has lines
URI:
https://gptkb.org/prop/has_lines
2
triples
GPTKB property
Random triples
Subject
Object
gptkb:finite_projective_spaces
finite set
gptkb:classical_projective_plane
n^2 + n + 1