Pages that link to "Item:Q1861905"
From MaRDI portal
The following pages link to Recognition of simple enlarged Horn formulas and simple extended Horn formulas (Q1861905):
Displaying 1 item.
The following pages link to Recognition of simple enlarged Horn formulas and simple extended Horn formulas (Q1861905):
Displaying 1 item.