About: A Polymorphic Vampire: (Short Paper)

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A Polymorphic Vampire: (Short Paper) Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	A Polymorphic Vampire: (Short Paper)
Creator	Bhayat, Ahmed Reger, Giles
Source	PMC
abstract	We have modified the Vampire theorem prover to support rank-1 polymorphism. In this paper we discuss the changes required to enable this and compare the performance of polymorphic Vampire against other polymorphic provers. We also compare its performance on monomorphic problems against standard Vampire. Finally, we discuss how polymorphism can be used to support theory reasoning and present results related to this.
has issue date	2020-06-06(xsd:dateTime)
bibo:doi	10.1007/978-3-030-51054-1_21
has license	no-cc
sha1sum (hex)	74ee2afc0300771ee736c40f7a03c5fcd91c77c0
schema:url	https://doi.org/10.1007/978-3-030-51054-1_21
resource representing a document's title	A Polymorphic Vampire: (Short Paper)
has PubMed Central identifier	PMC7324017
schema:publication	Automated Reasoning
resource representing a document's body	covid:74ee2afc0300771ee736c40f7a03c5fcd91c77c0#body_text
is schema:about of	named entity 'THEORY' named entity 'PRESENT' named entity 'RELATED' named entity 'POLYMORPHIC' named entity 'Vampire' named entity 'compare' named entity 'monomorphic' named entity 'first-order logic' named entity 'polymorphism' named entity 'polymorphic' named entity 'syntax' named entity 'polymorphism' named entity 'polymorphic' named entity 'experimental results' named entity 'theorem prover' named entity 'dependent type' named entity 'first-order logic' named entity 'syntax' named entity 'polymorphic' named entity 'ith' named entity 'subterms' named entity 'polymorphic' named entity 'free variable' named entity 'first-order logic' named entity 'syntax' named entity 'polymorphism' named entity 'polymorphic' named entity 'polymorphic' named entity 'TF1' named entity 'first-order logic with equality' named entity 'finitely axiomatizable' named entity 'polymorphic' named entity 'polymorphism' named entity 'polymorphism' named entity 'polymorphism' named entity 'polymorphic' named entity 'polymorphic' named entity 'syntactic' named entity 'polymorphic' named entity 'FOL' named entity 'polymorphism' named entity 'TPTP' named entity 'CPU time' named entity 'TPTP' named entity 'polymorphic' named entity 'polymorphism' named entity 'type information' named entity 'quantifiers' named entity 'polymorphic' named entity 'TF1' named entity 'polymorphism' named entity 'proof search' named entity 'polymorphic' named entity 'TPTP' named entity 'SMT-LIB' named entity 'subterms' named entity 'n-ary' named entity 'existentially quantified' named entity 'first-order' named entity 'unifying terms' named entity 'TF1' named entity 'Function symbols' named entity 'logic 1' named entity 'satisfiable' named entity 'polymorphic' named entity 'Hindley-Milner' named entity 'polymorphism' named entity 'polymorphic' named entity 'arithmetic' named entity 'logic' named entity 'IJCAR' named entity 'polymorphism' named entity 'first-order' named entity 'skolem function' named entity 'quantifiers' named entity 'higher-order logic' named entity 'function symbol' named entity 'quantifier' named entity 'github.com' named entity 'combinators' named entity 'polymorphic' named entity 'automated theorem prover'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software