PanLinx
français
fra-000
axiomatisable
English
eng-000
axiomatisable
English
eng-000
axiomatizable
PanLex
