scientific article; zbMATH DE number 4164175

MaRDI QIDQ3490993zbMATH OpenFDO

Authors Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

Publication date 1989

zbMATH Keywords

resolution by unification and equality

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4072435
• scientific article; zbMATH DE number 3988746
• Completeness issues in RUE-NRF deduction: The undecidability of viability
• AND/OR graph heuristic search methods
• scientific article; zbMATH DE number 1762830

Cited in

(4)

• Completeness issues in RUE-NRF deduction: The undecidability of viability
• The rue theorem-proving system: The complete set of LIM+ challenge problems
• scientific article; zbMATH DE number 4072435 (Why is no real title available?)
• scientific article; zbMATH DE number 1762830 (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 Q3490993)