{"id":"https://openalex.org/W6930816229","doi":"https://doi.org/10.5281/zenodo.15205674","title":"Vampire","display_name":"Vampire","publication_year":2025,"publication_date":"2025-04-13","ids":{"openalex":"https://openalex.org/W6930816229","doi":"https://doi.org/10.5281/zenodo.15205674"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.15205674","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15205674","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.15205674","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"B\u00e1rtek, Filip","orcid":"https://orcid.org/0000-0002-1822-2651"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"B\u00e1rtek, Filip","raw_affiliation_strings":["Czech Technical University in Prague"],"raw_orcid":"https://orcid.org/0000-0002-1822-2651","affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bhayat, Ahmed","orcid":"https://orcid.org/0000-0002-1343-5084"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bhayat, Ahmed","raw_affiliation_strings":["University of Manchester"],"raw_orcid":"https://orcid.org/0000-0002-1343-5084","affiliations":[{"raw_affiliation_string":"University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Coutelier, Robin","orcid":"https://orcid.org/0009-0002-4735-5215"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Coutelier, Robin","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0009-0002-4735-5215","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hajdu, M\u00e1rton","orcid":"https://orcid.org/0000-0002-8273-2613"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hajdu, M\u00e1rton","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0002-8273-2613","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hetzenberger, Matthias","orcid":"https://orcid.org/0000-0002-2052-8772"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hetzenberger, Matthias","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0002-2052-8772","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hozzov\u00e1, Petra","orcid":"https://orcid.org/0000-0003-0845-5811"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Hozzov\u00e1, Petra","raw_affiliation_strings":["Czech Technical University in Prague"],"raw_orcid":"https://orcid.org/0000-0003-0845-5811","affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kov\u00e1cs, Laura","orcid":"https://orcid.org/0000-0003-1553-0453"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Kov\u00e1cs, Laura","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0003-1553-0453","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rath, Jakob","orcid":"https://orcid.org/0000-0003-0346-6749"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Rath, Jakob","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0003-0346-6749","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rawson, Michael","orcid":"https://orcid.org/0000-0001-7834-1567"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rawson, Michael","raw_affiliation_strings":["University of Southampton"],"raw_orcid":"https://orcid.org/0000-0001-7834-1567","affiliations":[{"raw_affiliation_string":"University of Southampton","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Reger, Giles","orcid":"https://orcid.org/0000-0001-6353-952X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Reger, Giles","raw_affiliation_strings":["University of Manchester"],"raw_orcid":"https://orcid.org/0000-0001-6353-952X","affiliations":[{"raw_affiliation_string":"University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Schoisswohl, Johannes","orcid":"https://orcid.org/0000-0001-5550-196X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Schoisswohl, Johannes","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0001-5550-196X","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Suda, Martin","orcid":"https://orcid.org/0000-0003-0989-5800"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Suda, Martin","raw_affiliation_strings":["Czech Technical University in Prague"],"raw_orcid":"https://orcid.org/0000-0003-0989-5800","affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":null,"display_name":"Voronkov, Andrei","orcid":"https://orcid.org/0000-0003-1073-7615"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Voronkov, Andrei","raw_affiliation_strings":["University of Manchester"],"raw_orcid":"https://orcid.org/0000-0003-1073-7615","affiliations":[{"raw_affiliation_string":"University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/vampire","display_name":"Vampire","score":0.9225000143051147},{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.2476000040769577},{"id":"https://openalex.org/keywords/data-source","display_name":"Data source","score":0.22470000386238098},{"id":"https://openalex.org/keywords/yesterday","display_name":"Yesterday","score":0.2167000025510788}],"concepts":[{"id":"https://openalex.org/C2776562800","wikidata":"https://www.wikidata.org/wiki/Q7912960","display_name":"Vampire","level":2,"score":0.9225000143051147},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40549999475479126},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.2476000040769577},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.2304999977350235},{"id":"https://openalex.org/C2983685735","wikidata":"https://www.wikidata.org/wiki/Q5227355","display_name":"Data source","level":2,"score":0.22470000386238098},{"id":"https://openalex.org/C2777840570","wikidata":"https://www.wikidata.org/wiki/Q1187312","display_name":"Yesterday","level":2,"score":0.2167000025510788},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21279999613761902},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.20200000703334808},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.20100000500679016},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.19550000131130219}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.15205674","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15205674","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.15205674","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15205674","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"Vampire":[1,9],"automated":[2],"theorem":[3],"prover.":[4],"This":[5],"upload":[6],"includes":[7],"the":[8],"source":[10],"tree,":[11],"an":[12],"AMD64":[13],"Docker":[14],"image,":[15],"LICENSE,":[16],"README,":[17],"and":[18],"running":[19],"examples.":[20]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}