Ordered semantic hyper tableaux
type: Item
instance of: scholarly article
title: Ordered semantic hyper tableaux
zbMATH Open document ID: 1016.03015
DOI: 10.1023/A:1020512924736
author: Adnan Yahya
author: David A. Plaisted
published in: Journal of Automated Reasoning
publication date: 2003-04-28T00:00:00Z
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1902322
zbMATH Keywords: tableaux
zbMATH Keywords: semantics
zbMATH Keywords: automated theorem proving
zbMATH Keywords: literal ordering
describes a project that uses: DCTP
describes a project that uses: DWAM
describes a project that uses: SATCHMOREBID
MaRDI profile type: Publication
full work available at URL: a:1020512924736
OpenAlex ID: W1510333291
Recommended article: Semantic tableaux with ordering restrictions
Recommended article: Q4013973
Recommended article: Q3604365
Recommended article: Implementing semantic tableaux
Recommended article: A generalization of ordered-pair semantics
Recommended article: Ordered tableaux: Extensions and applications
Recommended article: Bottom-up Construction of Semantic Tableaux
Recommended article: Ordered models for concept representation
Recommended article: Q5090956
Recommended article: Semantic tableaux with equality
description: scientific article; zbMATH DE number 1902322