PanLinx
català
cat-000
axiomatizació
English
eng-000
axiomatisation
PanLex