On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method (Q2365125)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method |
scientific article |
Statements
On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method (English)
0 references
20 February 1997
0 references
modified clause-diffusion
0 references
distributed theorem proving
0 references
