Semantic Guidance for Saturation Provers
From MaRDI portal
Publication:5302898
DOI10.1007/11856290_4zbMath1156.68570MaRDI QIDQ5302898
Publication date: 15 January 2009
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11856290_4
Related Items
Uses Software