scientific article; zbMATH DE number 3860436

MaRDI QIDQ3327748zbMATH OpenFDO

Authors Da-Fa Li

Publication date 1984

zbMATH Keywords

paramodulation for equalitysemantic resolution for Horn sets

Mathematics Subject Classification ID

Cited in

(1)

• scientific article; zbMATH DE number 19146 (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 Q3327748)