isSmallestNontrivialSteinerSystemWith t 5
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Steiner_system_S(5,8,24) | true |