TGC

swMATH11989MaRDI QIDQ23923FDOQ23923

Author name not available (Why is that?)

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