Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd first "Alexander".
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd isCitedBy Resolution_(logic).
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd last "Leitsch".
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd publisher Springer_Science+Business_Media.
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd title "The Resolution Calculus".
- 31c6cf3217c6468b4ade4705b077115b8dca3ccddaaa54fbe0c06907efe4d6cd year "1997".