Statements (7)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:field | gptkb:combinatorics gptkb:mathematics | 
| gptkbp:namedAfter | F.C.R. Spieksma | 
| gptkbp:bfsParent | gptkb:Gerrit_Spijksma | 
| gptkbp:bfsLayer | 8 | 
| https://www.w3.org/2000/01/rdf-schema#label | Spieksma's theorem |