Premodifier: infiniteHead noun: numberPostmodifier: of prime
| Same concepts |
|---|
Broader concepts
| label | provenance | confidence |
|---|
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| there | isap:161004928 | 0.232165 |
| proof | isap:154564118 | 0.217766 |
| theorem | isap:274493162 | 0.210051 |
| example | isap:272681231 | 0.199852 |