Domains
Structure
- Classifies the TPTP problems in a systematic way.
- Dewey Decimal Classification (DDC)
- Mathematics Subject Classification (MSC)
- COL - Combinatory Logic
- LCL - Logic Calculi
- HEN - Henkin Models
- SET - Set Theory
- GRA - Graph Theory
- ALG - Algebra
- REL - Relation Algebra
- BOO - Boolean Algebra
- ROB - Robbins Algebra
- LDA - Left Distributive
- LAT - Lattices
- QUA - Quantales
- KLE - Kleene Algebra
- GRP - Groups
- RNG - Rings
- FLD - Fields
- LIN - Linear Algebra
- HAL - Homological Algebra
- RAL - Real Algebra
- ALG - General Algebra
- NUM - Number Theory
- TOP - Topology
- ANA - Analysis
- GEO - Geometry
- CAT - Category Theory
- COM - Computing theory
- KRS - Knowledge representation
- NLP - Natural Language Processing
- PLA - Planning
- AGT - Agents
- CSR - Commonsense Reasoning
- SWB - Semantic Web
- DAT - Data Structures
- SWC - Software creation
- SWV - Software verification
- BIO - Biology
- HWC - Hardware creation
- HWV - Hardware verification
- MED - Medicine
- PRO - Processes
- PRD - Products
- SCT - Social Choice Theory
- MGT - Management
- GEG - Geography
- ARI - Arithmetic
- SYN and SYO - Syntactic
- PUZ - Puzzles
- MSC - Miscellaneous