PanLinx
English
eng-000
well-formed formula
普通话
cmn-000
命题逻辑式
English
eng-000
WFF
English
eng-000
wff
Esperanto
epo-000
bff
Esperanto
epo-000
bonforma formulo
日本語
jpn-000
整合論理式
日本語
jpn-000
整式
русский
rus-000
правильно построенная формула
PanLex