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