The weak completion semantics and equality
From MaRDI portal
Publication:5222964
Recommendations
Cited in
(5)- Completion of first-order clauses with equality by strict superposition
- Conditional Reasoning and Relevance
- A core method for the weak completion semantics with skeptical abduction
- Do humans reason with \(\mathcal{E} \)-matchers?
- scientific article; zbMATH DE number 7695589 (Why is no real title available?)
This page was built for publication: The weak completion semantics and equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222964)