- Information
- Difficulty: easy (3 definitions, 1 abbreviations, 2 lemmas, 3 theorems)
- Examples: 17
- Total complexity: 222611
- InformationSystems
- Difficulty: hard (8 definitions, 9 abbreviations, 4 lemmas, 7 theorems)
- Examples: 0
- Total complexity: 766861
- Implementation
- Difficulty: moderate (4 definitions, 10 abbreviations, 10 lemmas, 2 theorems)
- Examples: 0
- Total complexity: 882839
- ImplementationCategory
- Difficulty: optional (10 definitions, 5 abbreviations, 29 lemmas, 4 theorems)
- Examples: 0
- Total complexity: 99137006
- Specification
- Difficulty: easy (0 definitions, 1 abbreviations, 0 lemmas, 0 theorems)
- Examples: 0
- Total complexity: 7
- SpecificationCategory
- Difficulty: optional (3 definitions, 0 abbreviations, 0 lemmas, 4 theorems)
- Examples: 0
- Total complexity: 3296
- Functionality
- Difficulty: moderate (1 definitions, 1 abbreviations, 0 lemmas, 4 theorems)
- Examples: 0
- Total complexity: 21780
- Interface
- Difficulty: optional (8 definitions, 2 abbreviations, 6 lemmas, 5 theorems)
- Examples: 0
- Total complexity: 139850
- Layer
- Difficulty: hard (6 definitions, 2 abbreviations, 1 lemmas, 7 theorems)
- Examples: 0
- Total complexity: 13825
- Topology
- Difficulty: moderate (2 definitions, 0 abbreviations, 4 lemmas, 1 theorems)
- Examples: 0
- Total complexity: 27623
- TopologyDynamics
- Difficulty: hard (6 definitions, 0 abbreviations, 1 lemmas, 2 theorems)
- Examples: 0
- Total complexity: 47839
- TopologyDynamicsCategory
- Difficulty: optional (12 definitions, 2 abbreviations, 1 lemmas, 0 theorems)
- Examples: 0
- Total complexity: 46050
- NetworkArchitecture
- Difficulty: hard (7 definitions, 0 abbreviations, 0 lemmas, 0 theorems)
- Examples: 0
- Total complexity: 644