Hierarchic Superposition with Weak Abstraction

DOI10.1007/978-3-642-38574-2_3zbMath1381.03017OpenAlexW1481689110MaRDI QIDQ4928427

Could not fetch data.

Publication date: 14 June 2013

Published in: (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0024-03A8-0

Mathematics Subject Classification ID

Could not fetch data.