Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bf00881918> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- bf00881918 authorlink1 "Andrei Voronkov".
- bf00881918 doi "10.1007/BF00881918".
- bf00881918 first1 "A.".
- bf00881918 isCitedBy Andrei_Voronkov.
- bf00881918 isCitedBy Vampire_(theorem_prover).
- bf00881918 issue "2".
- bf00881918 journal "Journal of Automated Reasoning".
- bf00881918 last1 "Voronkov".
- bf00881918 pages "237–265".
- bf00881918 title "The anatomy of vampire".
- bf00881918 volume "15".
- bf00881918 year "1995".