PanLinx
עברית
heb-000
בר הוכחה
русский
rus-000
доказуемый
PanLex
