scientific article; zbMATH DE number 562240

MaRDI QIDQ4290437zbMATH OpenFDO

Authors Xi An Xiao, Wujia Zhu, Dong-Mo Zhang

Publication date 5 May 1994

zbMATH Keywords

Herbrand theoremmedium logicmedium predicate calculusprenex standard formSkolem standard form

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cited in

(1)

• scientific article; zbMATH DE number 1194289 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4290437)