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 |