Index - S
| satisfiable | Data.Logic.ATP.Prop, Data.Logic.ATP |
| semi | Data.Logic.ATP |
| sep | Data.Logic.ATP |
| setAll | Data.Logic.ATP.Lib, Data.Logic.ATP |
| setAny | Data.Logic.ATP.Lib, Data.Logic.ATP |
| SetLike | Data.Logic.ATP.Lib, Data.Logic.ATP |
| setmapfilter | Data.Logic.ATP.Lib, Data.Logic.ATP |
| settryfind | Data.Logic.ATP.Lib, Data.Logic.ATP |
| showApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
| showApplyAndEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
| showCounts | Data.Logic.ATP |
| showEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
| showFunctionApply | Data.Logic.ATP.Term, Data.Logic.ATP |
| showLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| showPath | Data.Logic.ATP |
| showPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| showQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| showSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| showTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| Side | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| simpcnf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| simpcnf' | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| simpdnf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| simpdnf' | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| simplify | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| sizedText | Data.Logic.ATP |
| SkAtom | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| Skolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| skolemize | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| SkolemM | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| skolems | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| SkolemT | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| SkTerm | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| slEmpty | Data.Logic.ATP.Lib, Data.Logic.ATP |
| slInsert | Data.Logic.ATP.Lib, Data.Logic.ATP |
| slMap | Data.Logic.ATP.Lib, Data.Logic.ATP |
| slSingleton | Data.Logic.ATP.Lib, Data.Logic.ATP |
| slUnion | Data.Logic.ATP.Lib, Data.Logic.ATP |
| slView | Data.Logic.ATP.Lib, Data.Logic.ATP |
| solve | Data.Logic.ATP.Unif, Data.Logic.ATP |
| space | Data.Logic.ATP |
| specialize | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| State | |
| 1 (Data Constructor) | Data.Logic.ATP |
| 2 (Type/Class) | Data.Logic.ATP |
| Str | Data.Logic.ATP |
| Style | |
| 1 (Data Constructor) | Data.Logic.ATP |
| 2 (Type/Class) | Data.Logic.ATP |
| style | Data.Logic.ATP |
| subst | Data.Logic.ATP.FOL, Data.Logic.ATP |
| substq | Data.Logic.ATP.FOL, Data.Logic.ATP |
| Success | Data.Logic.ATP.Lib, Data.Logic.ATP |
| SVarOf | Data.Logic.ATP.Skolem, Data.Logic.ATP |