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