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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Vampire_(theorem_prover)
rdf:type
yago:Writing106359877 schema:CreativeWork wikidata:Q386724 yago:Code106355894 dbo:Work yago:Software106566077 yago:Abstraction100002137 yago:Communication100033020 yago:WrittenCommunication106349220 yago:CodingSystem106353757 dbo:Software wikidata:Q7397 owl:Thing
rdfs:label
Vampire (theorem prover)
rdfs:comment
Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the CADE ATP System Competition, the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.
foaf:name
Vampire Theorem Prover
dbp:name
Vampire Theorem Prover
dcterms:subject
dbc:Department_of_Computer_Science,_University_of_Manchester dbc:Theorem_proving_software_systems
dbo:wikiPageID
720408
dbo:wikiPageRevisionID
1120994811
dbo:wikiPageWikiLink
dbr:Kernel_(operating_system) dbc:Department_of_Computer_Science,_University_of_Manchester dbr:University_of_Manchester dbr:Term_indexing dbr:Executable dbr:Hierarchy dbr:Run-time_algorithm_specialisation dbr:Classical_logic dbr:Conjunctive_normal_form dbr:Andrei_Voronkov dbr:First-order_logic dbr:Binary_resolution dbr:Craig_interpolation dbc:Theorem_proving_software_systems dbr:Superposition_calculus dbr:DPLL_algorithm dbr:CADE_ATP_System_Competition dbr:Knuth–Bendix_completion_algorithm dbr:Tautology_(logic) dbr:Department_of_Computer_Science,_University_of_Manchester dbr:Automated_theorem_proving
owl:sameAs
wikidata:Q7912960 freebase:m.035lz6 n16:4x2yT
dbp:wikiPageUsesTemplate
dbt:Use_dmy_dates dbt:Infobox_software dbt:Multiple_issues dbt:Reflist dbt:URL dbt:Logic-stub dbt:Primary_sources dbt:Technical dbt:Official_website dbt:Not_a_typo
dbp:author
dbr:Andrei_Voronkov
dbp:developer
Vampire team
dbp:genre
dbr:Automated_theorem_proving
dbp:language
Vampire Modified BSD Licence
dbp:latestReleaseDate
2020-07-15
dbp:latestReleaseVersion
4.5
dbp:programmingLanguage
C++
dbo:abstract
Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the CADE ATP System Competition, the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.
gold:hypernym
dbr:Prover
prov:wasDerivedFrom
wikipedia-en:Vampire_(theorem_prover)?oldid=1120994811&ns=0
dbo:wikiPageLength
4732
dbo:latestReleaseDate
2020-07-15
dbo:latestReleaseVersion
4.5.1
dbo:author
dbr:Andrei_Voronkov
dbo:genre
dbr:Automated_theorem_proving
foaf:isPrimaryTopicOf
wikipedia-en:Vampire_(theorem_prover)