Pages that link to "Item:Q852241"
From MaRDI portal
The following pages link to Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II (Q852241):
Displaying 4 items.
- Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\) (Q1968528) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I (Q2508787) (← links)
- Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system (Q2924340) (← links)
- Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group (Q3014301) (← links)