Pages that link to "Item:Q3523171"

From MaRDI portal

← A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171)

Jump to:navigation, search

The following pages link to A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171):

Displayed 1 item.

Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"