- Is primary topic of
- Davis–Putnam–Logemann–Loveland algorithm
- Label
- enDavis–Putnam–Logemann–Loveland algorithm
- Link from a Wikipage to another Wikipage
- DPLL algorithm
- WasDerivedFrom
- Davis–Putnam–Logemann–Loveland algorithm?oldid=458121724&ns=0
- WikiPageLength
- 27
- Wikipage page ID
- 33580727
- Wikipage redirect
- DPLL algorithm
- Wikipage revision ID
- 458121724