Intelligent backtracking in deduction systems by means of extended unification graphs

DOI10.1007/BF00246022zbMath0642.68153OpenAlexW2015933292MaRDI QIDQ1101246

Agnes Janson, Werner Dilger

Publication date: 1986

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

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

zbMATH Keywords

theorem provingbacktrackingdeduction plansunification graphs

Mathematics Subject Classification ID

This page was built for publication: Intelligent backtracking in deduction systems by means of extended unification graphs