Document
type: Class

RDF description of SMT-Based Consistency Checking of Configuration-Based Components Specifications - http://irises.uniss.it/resource/item/153382
rights: termsOfUse
date: 2026-08-25T20:19:49
publisher: SMT-Based Consistency Checking of Configuration-Based Components Specifications
type: Document

Academic Article
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

11521405
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: SMT-Based Consistency Checking of Configuration-Based Components Specifications

11521404
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: SMT-Based Consistency Checking of Configuration-Based Components Specifications

Article
type: Class

Information Content Entity
type: Class

Inglese
type: Language

SMT-Based Consistency Checking of Configuration-Based Components Specifications
type: Information Content Entity
related by: 11521404
type: Continuant
language: Inglese
type: Entity
type: Generically Dependent Continuant
type: Document
related by: 11521405
type: Article
type: Thing
type: Academic Article
most specific type: Academic Article