Pages that link to "Item:Q5607225"
From MaRDI portal
The following pages link to The decision problem for formulas in prenex conjunctive normal form with binary disjunctions (Q5607225):
Displayed 4 items.
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- On propositional definability (Q2389643) (← links)
- On biconjunctive reduction classes (Q2557257) (← links)
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927) (← links)