Recording and analysing knowledge-based distributed deduction processes
From MaRDI portal
Publication:2365126
DOI10.1006/jsco.1996.0029zbMath0863.68103OpenAlexW2059651327MaRDI 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Learning-assisted theorem proving with millions of lemmas ⋮ Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving ⋮ Twee: an equational theorem prover ⋮ Proofs as schemas and their heuristic use ⋮ Automatic acquisition of search control knowledge from multiple proof attempts.
This page was built for publication: Recording and analysing knowledge-based distributed deduction processes
