logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving

Index - G

generalizeData.Logic.Harrison.FOL
getKBData.Logic.KnowledgeBase
getSetOfSupportData.Logic.Resolution
getSubstData.Logic.Classes.Atom
getSubstAtomEqData.Logic.Resolution
gilmoreData.Logic.Harrison.Herbrand
gilmore_loopData.Logic.Harrison.Herbrand
groundtermsData.Logic.Harrison.Herbrand
groundtuplesData.Logic.Harrison.Herbrand