Superposition with structural induction
type: Item
instance of: scholarly article
title: Superposition with structural induction
zbMATH Open document ID: 1496.68365
DOI: 10.1007/978-3-319-66167-4_10
author: Simon Cruanes
publication date: 2018-01-04T00:00:00Z
full work available at URL: frocos 17 paper.pdf
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6821633
describes a project that uses: ACL2
describes a project that uses: E Theorem Prover
describes a project that uses: Zipperposition
describes a project that uses: VAMPIRE
describes a project that uses: SPASS
describes a project that uses: InKa
describes a project that uses: TPTP
describes a project that uses: z3
describes a project that uses: QuickCheck
describes a project that uses: HipSpec
describes a project that uses: AVATAR
MaRDI profile type: Publication
OpenAlex ID: W2749302087
description: scientific article; zbMATH DE number 6821633