Index - D
| davisputnam | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| davisputnam' | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| davis_putnam_example_formula | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| deepen | Data.Logic.ATP.Lib, Data.Logic.ATP |
| def | Data.Logic.ATP.Parser, Data.Logic.ATP |
| defcnf1 | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| defcnf2 | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| defcnf3 | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| defcnfs | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| defined | Data.Logic.ATP.Lib, Data.Logic.ATP |
| Depth | |
| 1 (Type/Class) | Data.Logic.ATP.Lib, Data.Logic.ATP |
| 2 (Data Constructor) | Data.Logic.ATP.Lib, Data.Logic.ATP |
| distrib | Data.Logic.ATP.Lib, Data.Logic.ATP |
| dnf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| dnfSet | Data.Logic.ATP.Prop, Data.Logic.ATP |
| Doc | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| double | Data.Logic.ATP |
| doubleQuotes | Data.Logic.ATP |
| dp | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplb | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplbsat | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplbtaut | Data.Logic.ATP.DP, Data.Logic.ATP |
| dpli | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplisat | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplitaut | Data.Logic.ATP.DP, Data.Logic.ATP |
| dpll | Data.Logic.ATP.DP, Data.Logic.ATP |
| dpllsat | Data.Logic.ATP.DP, Data.Logic.ATP |
| dplltaut | Data.Logic.ATP.DP, Data.Logic.ATP |
| dpsat | Data.Logic.ATP.DP, Data.Logic.ATP |
| dptaut | Data.Logic.ATP.DP, Data.Logic.ATP |
| dp_loop | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| dp_mfn | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| dp_refine | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| dp_refine_loop | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| dual | Data.Logic.ATP.Prop, Data.Logic.ATP |