LEO-II and Satallax on the Sledgehammer test bench
type: Item
instance of: scholarly article
title: LEO-II and Satallax on the Sledgehammer test bench
zbMATH Open document ID: 1262.68161
author: Nik Sultana
author: Jasmin Christian Blanchette
author: Lawrence C. Paulson
published in: Journal of Applied Logic
publication date: 2013-05-02T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6160224
zbMATH Keywords: higher-order logic
zbMATH Keywords: automatic theorem provers
zbMATH Keywords: proof assistants
describes a project that uses: Satallax
describes a project that uses: Metis_
describes a project that uses: Isabelle/HOL
describes a project that uses: LEO-II
describes a project that uses: TPS
describes a project that uses: TPTP
describes a project that uses: E Theorem Prover
MaRDI profile type: Publication
full work available at URL: j.jal.2012.12.002
OpenAlex ID: W2102647770
Wikidata QID: Q57382576
DOI: 10.1016/J.JAL.2012.12.002
description: scientific article; zbMATH DE number 6160224