On subsumption in distributed derivations
type: Item
instance of: scholarly article
title: On subsumption in distributed derivations
zbMATH Open document ID: 0812.68110
DOI: 10.1007/BF00881888
author: Maria Paola Bonacina
author: Jieh Hsiang
published in: Journal of Automated Reasoning
publication date: 1994-11-10T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 683153
zbMATH Keywords: subsumption inference rule
zbMATH Keywords: distributed deduction
zbMATH Keywords: distributed subsumption
describes a project that uses: OTTER
describes a project that uses: Aquarius
describes a project that uses: RRL
MaRDI profile type: Publication
cites work: Automated proofs of the Moufang identities in alternative rings
cites work: Q4281516
cites work: Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
cites work: Q4385532
cites work: Q3028369
cites work: Q4139711
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Theorem-proving with resolution and superposition
full work available at URL: https://doi.org/10.1007/bf00881888
OpenAlex ID: W2002310337
description: scientific article; zbMATH DE number 683153