Premodifier: logicalHead noun: system
Same concepts |
---|
http://dbpedia.org/resource/Formal_system |
Broader concepts
label | provenance | confidence |
---|
Narrower concepts
label | provenance | confidence |
---|---|---|
mathematics | isap:145180064 | 0.615103 |
modal logic | isap:155985095 | 0.560247 |
pa | isap:108550949 | 0.359704 |
math | isap:311064197 | 0.290277 |