Inconsistency check of a set of clauses using Petri net reductions
type: Item
instance of: scholarly article
title: Inconsistency check of a set of clauses using Petri net reductions
zbMATH Open document ID: 0641.68080
DOI: 10.1016/0016-0032(88)90047-6
author: B. George
published in: Journal of the Franklin Institute
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4045164
zbMATH Keywords: Petri net reduction
zbMATH Keywords: inconsistency
zbMATH Keywords: set of clauses
zbMATH Keywords: place/transition net
zbMATH Keywords: first-order predicate logic
zbMATH Keywords: resultion
zbMATH Keywords: proof procedure
MaRDI profile type: Publication
full work available at URL: 0016-0032(88)90047-6
OpenAlex ID: W2043967474
cites work: Q3680268
cites work: Q5679729
cites work: A Computing Procedure for Quantification Theory
cites work: System modelling with high-level Petri nets
cites work: Q3862380
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: A Proof Procedure Using Connection Graphs
cites work: A Search Technique for Clause Interconnectivity Graphs
cites work: Q3829089
cites work: A predicate-transition net model for parallel interpretation of logic programs
cites work: Proof procedure and answer extraction in Petri net model of logic programs
description: scientific article; zbMATH DE number 4045164