Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 first "Stephan".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 isCitedBy E_theorem_prover.
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 issue "2/3".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 journal "Journal of AI Communications".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 last "Schulz".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 pages "111–126".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 title "E - A Brainiac Theorem Prover".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 volume "15".
- db7163d8eb183c11d3f8238dfe5f498e2f8a04508065217bb1bfee2b861e90f4 year "2002".