Recording and analysing knowledge-based distributed deduction processes
From MaRDI portal
Publication:2365126
DOI10.1006/jsco.1996.0029zbMath0863.68103MaRDI QIDQ2365126
Stephan Schulz, Jörg Denzinger
Publication date: 22 January 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/eef6db1118de74cbd2af888589e08e4e130b4717
Related Items
Learning-assisted theorem proving with millions of lemmas, Proofs as schemas and their heuristic use, Automatic acquisition of search control knowledge from multiple proof attempts., Twee: an equational theorem prover, Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving