Premodifier: deductiveHead noun: system
| Same concepts |
|---|
| http://dbpedia.org/resource/Formal_system |
Broader concepts
| label | provenance | confidence |
|---|
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| mathematics | isap:145180068 | 0.477894 |
| math | isap:311064196 | 0.401258 |