Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 author "D. Wilkins".
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 isCitedBy Resolution_(logic).
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 publisher "Univ. of Essex, England".
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 title "QUEST — A Non-Clausal Theorem Proving System".
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 type "Master's Thesis".
- f7a031888a8bf56817b84fe845da823487ae5c14f5efd1190de47b992f711be8 year "1973".