Research Article
An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification
Table 1
Sets of contents and relations used throughout this paper.
| | Sets of contents | Immediate prerequisite relation | Prerequisite relation |
| “Official curriculum” | | | | “Preprocessed official curriculum” | | | | “Official curriculum development” | | | |
|
|