Faster linear unification algorithm
type: Item
instance of: scholarly article
title: Faster linear unification algorithm
author: Dennis de Champeaux
published in: Journal of Automated Reasoning
publication date: 2022-12-12T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7632093
zbMATH Keywords: linear unification
zbMATH Keywords: theorem proving
zbMATH Keywords: planning action precondition checking
MaRDI profile type: Publication
full work available at URL: s10817-022-09635-1
OpenAlex ID: W4290888552
cites work: Unification theory
cites work: About the Paterson-Wegman linear unification algorithm
cites work: A Proof Procedure Using Connection Graphs
cites work: An Efficient Unification Algorithm
cites work: Linear unification
cites work: A Machine-Oriented Logic Based on the Resolution Principle
DOI: 10.1007/S10817-022-09635-1
describes a project that uses: GitHub
description: scientific article; zbMATH DE number 7632093