Errata to: ``Z-match: An inference rule for incrementally elaborating set instantiations

From MaRDI portal

(Redirected from Publication:1340969)
Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations''

Jump to:navigation, search

DOI10.1007/BF00885769MaRDI QIDQ1340969zbMATH OpenFDO

Authors Sidney C. Bailin, Dave Barker-Plummer

Publication date 21 December 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoning inference rule instantiations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Errata_to:_%60%60%5C(Z%5C)-match:_An_inference_rule_for_incrementally_elaborating_set_instantiations%27%27&oldid=68506692"