PanLinx
slovenčina
slk-000
axiomatizace
čeština
ces-000
axiomatizace
PanLex
