Pages that link to "Item:Q3142267"

The following pages link to On the restricted equivalence for subclasses of propositional logic (Q3142267):

Displaying 2 items.

• The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
• Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)