Unification in intuitionistic logic
type: Continuant
related by: 516189112
type: Thing
type: Article
language: English
type: Generically Dependent Continuant
type: Document
most specific type: Academic Article
type: Entity
type: Information Content Entity
type: Academic Article

Document
type: Class

Academic Article
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

English
type: Language

Information Content Entity
type: Class

516189112
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Unification in intuitionistic logic

RDF description of Unification in intuitionistic logic - http://irises.unimi.it/resource/item/1009841
rights: termsOfUse
date: 2026-08-04T00:32:52
publisher: Unification in intuitionistic logic
type: Document