This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://dbpedia.org/resource/Vampire_(theorem_prover)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://www.vprover.
dbpediahttp://dbpedia.org/resource/
Subject Item
n2:
rdfs:comment
Vampire is an automatic theorem prover for first-order classical logic developed in the School of Computer Science at the University of Manchester by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. So far it has won the "world cup for theorem provers" (the CADE ATP System Competition) in the most prestigious CNF (MIX) division eleven times (1999, 2001–2010).
foaf:name
Vampire Theorem Prover
foaf:homepage
n7:org
dbpedia-owl:developer
dbpedia:Andrei_Voronkov
dbpedia-owl:genre
dbpedia:Automated_theorem_proving