TGC

MaRDI QIDQ23923swMATHFDO

Official website http://www.mimuw.edu.pl/~nguyen/TGC.pdf

Cited in

(1)

• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$

This page was built for software: TGC