/
English

Interface language

Sign inCreate account
Public concept · 2f8dc293-8ca4-4729-9dfc-b61da8383fb0

many-sorted predicate calculus

English

en

many-sorted predicate calculusUnrated

Chinese

zh

多种类谓词演算Unrated
多種類謂詞演算Unrated