Solution of the Robbins problem
type: Item
instance of: scholarly article
title: Solution of the Robbins problem
zbMATH Open document ID: 0883.06011
DOI: 10.1023/A:1005843212881
published in: Journal of Automated Reasoning
publication date: 1998-03-23T00:00:00Z
Mathematics Subject Classification ID: 06E05
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 06-04
zbMATH DE Number: 1089469
zbMATH Keywords: associative-commutative unification
zbMATH Keywords: paramodulation
zbMATH Keywords: Robbins algebra
zbMATH Keywords: commutativity
zbMATH Keywords: associativity
zbMATH Keywords: Robbins equation
zbMATH Keywords: variety of Boolean algebras
zbMATH Keywords: EQP
zbMATH Keywords: theorem-proving program for equational logic
zbMATH Keywords: search strategies
author: William McCune
MaRDI profile type: Publication
full work available at URL: a:1005843212881
OpenAlex ID: W1510333080
Wikidata QID: Q64225930
description: scientific article; zbMATH DE number 1089469