PanLinx
עברית
heb-000
כריעות
English
eng-000
decidability
PanLex
