Premodifier: mathematicalHead noun: logic
| Same concepts |
|---|
| http://dbpedia.org/resource/Mathematical_logic |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| topic | isap:366890269 | 0.794034 |
| area of modern mathematics | isap:195538813 | 0.747932 |
| area of mathematics | isap:195538804 | 0.719671 |
| subject | isap:225324178 | 0.609091 |
| branch of mathematics | isap:165299505 | 0.568168 |
| field | isap:371852041 | 0.542069 |
| formal language | isap:291600676 | 0.518397 |
| foundation of mathematics | isap:261147719 | 0.511539 |
| logic | isap:365561404 | 0.469769 |
| mathematics | isap:207024521 | 0.353918 |
| area | isap:195538812 | 0.303205 |
| course | isap:161693860 | 0.234613 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| set theory | isap:117614116 | 0.378546 |
| model theory | isap:117614115 | 0.331775 |
| proof | isap:375457675 | 0.217597 |
| incompleteness | isap:131462383 | 0.188261 |
| mathematics | isap:415592705 | 0.132557 |