Index - W
wiIdent | Data.Logic.KnowledgeBase |
wiItem | Data.Logic.KnowledgeBase |
WithId | |
1 (Type/Class) | Data.Logic.KnowledgeBase |
2 (Data Constructor) | Data.Logic.KnowledgeBase |
withUnivQuants | Data.Logic.Classes.FirstOrder |
logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving