Hyperonyms
(has_hyperonym)
|
00664788-v:
establish the validity of something, as by an example, explanation or experiment
|
Domain
(category)
|
06000644-n:
a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
|
Glosses
(gloss)
|
00186366-r:
in a formal manner
|
Glosses
(gloss)
|
00664788-v:
establish the validity of something, as by an example, explanation or experiment
|
Glosses
(gloss)
|
01430628-a:
logically deductive
|
Glosses
(gloss)
|
06647864-n:
proof of a mathematical theorem
|
Glosses
(rgloss)
|
00873381-n:
drawing a figure satisfying certain conditions as part of solving a problem or proving a theorem
|
Glosses
(rgloss)
|
06648046-n:
proof by a process of argument or a series of proposition proving an asserted conclusion
|
Glosses
(rgloss)
|
11250056-n:
Greek philosopher and mathematician who proved the Pythagorean theorem; considered to be the first true mathematician (circa 580-500 BC)
|
