A general clause theorem prover
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a general clause theorem prover }}
- [[]]
bibtex
{{#vardefine:pagename|A general clause theorem prover }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
