A Polymorphic Vampire (Q5049013)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7614682

Language	Label	Description	Also known as
English	A Polymorphic Vampire	scientific article; zbMATH DE number 7614682

Statements

scholarly article

0 references

A Polymorphic Vampire (English)

0 references

0 references

0 references

Automated Reasoning

0 references

publication date

9 November 2022

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-51054-1_21

0 references

A combinator-based superposition calculus for higher-order logic

0 references

Encoding Monomorphic and Polymorphic Types

0 references

TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism

0 references

Expressing Polymorphic Types in a Many-Sorted Language

0 references

GRUNGE: a grand unified ATP challenge

0 references

Handling Polymorphism in Automated Deduction

0 references

Superposition with structural induction

0 references

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

0 references

A FOOLish encoding of the next state relations of imperative programs

0 references

The higher-order prover Leo-III

0 references

The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

0 references

Identifiers

10.1007/978-3-030-51054-1_21

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5049013

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5049013&oldid=37455601"