Logic

• Popper
  • Difficulty: no difficulty tag (27 definitions, 0 abbreviations, 7 lemmas, 25 theorems)
  • Examples: 4
  • Total complexity: 52210
• ProofTheory
  • Difficulty: no difficulty tag (20 definitions, 0 abbreviations, 2 lemmas, 6 theorems)
  • Examples: 0
  • Total complexity: 3485
• SyllogisticLogic
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 0
• PropositionalLogic
  • Difficulty: no difficulty tag (24 definitions, 3 abbreviations, 48 lemmas, 24 theorems)
  • Examples: 0
  • Total complexity: 312760
• ModalLogic
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 0
• FirstOrderLogic
  • Difficulty: no difficulty tag (4 definitions, 0 abbreviations, 5 lemmas, 10 theorems)
  • Examples: 0
  • Total complexity: 45312
• SeparationLogic
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 0
• SecondOrderLogic
  • Difficulty: no difficulty tag (0 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
  • Examples: 0
  • Total complexity: 0

Concept coverage