Document
type: Class

294896
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Report of the Third QBF Solvers Evaluation

RDF description of Report of the Third QBF Solvers Evaluation - http://irises.uniss.it/resource/item/11969
rights: termsOfUse
date: 2026-08-25T19:43:22
publisher: Report of the Third QBF Solvers Evaluation
type: Document

Academic Article
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

Information Content Entity
type: Class

Report of the Third QBF Solvers Evaluation
type: Entity
type: Article
type: Continuant
language: Inglese
type: Document
most specific type: Academic Article
type: Academic Article
type: Generically Dependent Continuant
related by: 294896
type: Thing
type: Information Content Entity

Inglese
type: Language