Index - D
| davisputnam | Data.Logic.Harrison.Herbrand |
| davisputnam' | Data.Logic.Harrison.Herbrand |
| deepen | Data.Logic.Harrison.Tableaux |
| defcnf1 | Data.Logic.Harrison.DefCNF |
| defcnf2 | Data.Logic.Harrison.DefCNF |
| defcnf3 | Data.Logic.Harrison.DefCNF |
| defcnfs | Data.Logic.Harrison.DefCNF |
| defined | Data.Logic.Harrison.Lib |
| defstep | Data.Logic.Harrison.DefCNF |
| disjunctiveNormalForm | Data.Logic.Classes.Propositional |
| disjunctiveNormalForm' | Data.Logic.Classes.Propositional |
| Disproved | Data.Logic.KnowledgeBase |
| distrib | Data.Logic.Harrison.Prop |
| distrib' | Data.Logic.Harrison.Lib |
| dnf | Data.Logic.Harrison.Prop |
| dnf' | Data.Logic.Harrison.Prop |
| dnf0 | Data.Logic.Harrison.Prop |
| dpll | Data.Logic.Harrison.DP |
| dp_loop | Data.Logic.Harrison.Herbrand |
| dp_mfn | Data.Logic.Harrison.Herbrand |
| dp_refine | Data.Logic.Harrison.Herbrand |
| dp_refine_loop | Data.Logic.Harrison.Herbrand |
| dual | Data.Logic.Harrison.Prop |