ili-30-06647864-n CILI: i71413 |
|
|
|
|
Explore the terminological domain with [Termonet]
|
|
|
|
|
|
CA
|
Variants
|
-
comprovació
-
demostració
-
verificació
|
|
|
|
EU
|
Variants
|
-
egiaztapen
-
frogaketa
-
frogantza
-
frogatze
|
|
|
|
ES
|
Variants
|
-
comprobación
-
prueba_matemática
-
verificación
|
|
|
|
Gloss
|
prueba de un matemático teorema
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lexical relations in WordNet via ILI (5)
-
Show
/
Hide
graph:
|
|
|
Hyperonyms
(has_hyperonym)
|
06647614-n:
a formal series of statements showing that if one thing is true something else necessarily follows from it
|
Glosses
(gloss)
|
02937876-a:
of or pertaining to or of the nature of mathematics
|
Glosses
(gloss)
|
06647614-n:
a formal series of statements showing that if one thing is true something else necessarily follows from it
|
Glosses
(gloss)
|
06752293-n:
a proposition deducible from basic postulates
|
Glosses
(rgloss)
|
00665630-v:
prove formally; demonstrate by a mathematical, formal proof
|
|
|
|
| |
