PULi

swMATH28623MaRDI QIDQ40337FDOQ40337

Author name not available (Why is that?)

Described by source

• Enumerating justifications using resolution

Cited In (1)

• Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications

This page was built for software: PULi