Adding equality to semantic tableaux

DOI10.1007/BF00243790zbMath0639.68096OpenAlexW1975054206MaRDI QIDQ1099967

S. V. Reeves

Publication date: 1987

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

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

zbMATH Keywords

theorem provingsemantic tableauxfirst-order logic with equalitypartial unification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

A novel approach to equality

This page was built for publication: Adding equality to semantic tableaux