Pages that link to "Item:Q4930579"
From MaRDI portal
The following pages link to Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN (Q4930579):
Displaying 1 item.
The following pages link to Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN (Q4930579):
Displaying 1 item.