Index - G
| generalize | Data.Logic.ATP.FOL, Data.Logic.ATP |
| gilmore | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| gilmore_loop | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| groundterms | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| groundtuples | Data.Logic.ATP.Herbrand, Data.Logic.ATP |