The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F22%3A00370059" target="_blank" >RIV/68407700:21730/22:00370059 - isvavai.cz</a>
Alternative codes found
RIV/68407700:21730/23:00373789
Result on the web
<a href="https://github.com/vprover/vampire" target="_blank" >https://github.com/vprover/vampire</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Vampire
Original language description
This is the main source repository of the Vampire project, an advanced tool for automated reasoning. The following is for end-users of Vampire: new developers should read the wiki as well.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GJ20-06390Y" target="_blank" >GJ20-06390Y: Powering Automatic Theorem Provers by Machine Learning</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
Version 4.7
Technical parameters
https://github.com/vprover/vampire/releases/tag/v4.7
Economical parameters
30%
Owner IČO
68407700
Owner name
České vysoké učení technické v Praze, CIIRC