Document
type: Class

Inglese
type: Language

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

165664415
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: A New Approach to Clausification for Intuitionistic Propositional Logic

Information Content Entity
type: Class

Conference Paper
type: Class

A New Approach to Clausification for Intuitionistic Propositional Logic
type: Conference Paper
type: Generically Dependent Continuant
most specific type: Conference Paper
related by: 165664415
type: Information Content Entity
type: Document
type: Entity
type: Article
type: Continuant
type: Thing
language: Inglese

RDF description of A New Approach to Clausification for Intuitionistic Propositional Logic - http://irises.uninsubria.it/resource/item/202570
rights: termsOfUse
date: 2026-08-25T19:42:06
publisher: A New Approach to Clausification for Intuitionistic Propositional Logic
type: Document