Pages that link to "Item:Q1694477"
From MaRDI portal
The following pages link to Issues in machine-checking the decidability of implicational ticket entailment (Q1694477):
Displayed 1 item.
The following pages link to Issues in machine-checking the decidability of implicational ticket entailment (Q1694477):
Displayed 1 item.