satisfies Hilbert's basis theorem
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Polynomial_ring_in_finitely_many_variables_over_a_field | yes |