Pages that link to "Item:Q1663242"
From MaRDI portal
The following pages link to Formalization of the resolution calculus for first-order logic (Q1663242):
Displaying 1 item.
The following pages link to Formalization of the resolution calculus for first-order logic (Q1663242):
Displaying 1 item.