PanLinx
Deutsch
deu-000
endlich erzeugt
English
eng-000
finitely generated
PanLex