WN

06647960-n

Portuguese_3.0

Synset:: demonstração
Gloss:: prova de um teorema lógico

Catalan_3.0

Synset:: demostració

English_3.0

Synset:: logical_proof
Gloss:: proof of a logical theorem

Basque_3.0

Synset:: frogapen

Spanish_3.0

Synset:: demostraciÃ³n, prueba_lÃ³gica
Gloss:: prueba de un teorema lÃ³gico

Relações

inv-has_hyponym: 06647614-n
inv-rgloss: 06647614-n
inv-rgloss: 06752293-n