Special cases and substitutes for rigid E-unification

From MaRDI portal
(Redirected from Publication:1961709)
Special cases and substitutes for rigid \(E\)-unification


DOI10.1007/S002000050001MaRDI QIDQ1961709zbMATH OpenOpenAlexFDO

Authors David A. Plaisted

Publication date 5 March 2000

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002000050001


zbMATH Keywords

decidabilitydecidable versionfirst-order logicHorn clausessimultaneous rigid \(E\)-unificationtableauxtheorem proving with equalityundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)




Recommendations



Cited in
(14)








This page was built for publication: Special cases and substitutes for rigid \(E\)-unification

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Special_cases_and_substitutes_for_rigid_%5C(E%5C)-unification&oldid=82170929"
Powered by MediaWiki