PanLinx
čeština
ces-000
prahová logika
English
eng-000
threshold logic
PanLex