Journal
type: Class

RDF description of JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION - http://irises.uniss.it/resource/item/collection/journal27449
rights: termsOfUse
date: 2026-08-25T21:16:41
publisher: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
type: Document

Information Content Entity
type: Class

Continuant
type: Class

Entity
type: Class

Periodical
type: Class

JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
type: Entity
type: Continuant
type: Generically Dependent Continuant
type: Journal
type: Periodical
most specific type: Journal
type: Collection
type: Thing
type: Information Content Entity

Generically Dependent Continuant
type: Class

Collection
type: Class