Twee: an equational theorem prover
type: Item
instance of: scholarly article
title: Twee: an equational theorem prover
DOI: 10.1007/978-3-030-79876-5_35
author: Nicholas Smallbone
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437103
zbMATH Keywords: automated theorem proving
zbMATH Keywords: unit equality
zbMATH Keywords: completion
describes a project that uses: Jukebox
describes a project that uses: LCF
describes a project that uses: MadMax
describes a project that uses: Twee
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 35
OpenAlex ID: W3182937571
cites work: On using ground joinable equations in equational theorem proving
cites work: Critical pair criteria for completion
cites work: Sort It Out with Monotonicity
cites work: Efficient encodings of first-order Horn formulas in equational logic
cites work: Deciding the confluence of ordered term rewrite systems
cites work: Recording and analysing knowledge-based distributed deduction processes
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Things to know when implementing KBO
cites work: Q3150302
cites work: Faster, higher, stronger: E 2.3
cites work: Term indexing
cites work: MædMax: a maximal ordered completion tool
cites work: Ordered rewriting and confluence
description: scientific article; zbMATH DE number 7437103