Temporal resolution using a breadth-first search algorithm
type: Item
instance of: scholarly article
title: Temporal resolution using a breadth-first search algorithm
zbMATH Open document ID: 0976.03010
DOI: 10.1023/A:1018942108420
author: Clare Dixon
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2000-09-10T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1139413
describes a project that uses: OTTER
describes a project that uses: SICStus
MaRDI profile type: Publication
full work available at URL: a:1018942108420
OpenAlex ID: W1488387378
description: scientific article; zbMATH DE number 1139413