PanLinx
日本語
jpn-000
整合論理式
English
eng-000
WFF
English
eng-000
well-formed formula
PanLex