Teksaurus 2.0
Algusesse
(current)
Abi
EKRK
Hüperonüümid:
abstraheerimine
1(n)
, järeldamine
1(n)
, loogiline mõtlemine
1(n)
deduktsioon
1(n)
, dedutseerimine
1(n)
üksiku v. erilise tuletamine üldisest, järeldamine konkreetse üksikjuhu kohta üldise põhjal
Hüponüümid
1
Hüponüümid:
automaattõestamine
1(n)
Teised suhted
2/2
domain_topic
matemaatika
1(n)
is_caused_by
dedutseerija
1(n)