| |||||||
| DETAILS: DOCUMENTATION | | FRAMES | NO FRAMES | ||||||
| Element Summary | |
| AND | Logical language: Logical conjunction. |
| AXIOM | Mathematical axiom. |
| AXIOM.DESCRIPTION | Additional description. |
| CLASS | Logical language: Class described by property. |
| DEFINITION_FUNCTION | Definition of a function. |
| DEFINITION_FUNCTION.DESCRIPTION | Additional description. |
| DEFINITION_FUNCTION.VARLIST | List of function arguments. |
| DEFINITION_PREDICATE | Definition of a predicate constant. |
| DEFINITION_PREDICATE.DESCRIPTION | Additional description. |
| DEFINITION_PREDICATE.VARLIST | List of predicate arguments. |
| EQUI | Logical language: Logical equivalence. |
| EXISTS | Logical language: Logical existential quantifier. |
| EXISTSU | Logical language: Logical uniqueness quantifier. |
| FORALL | Logical language: Logical universal quantifier. |
| FORMULA | Logical language: Formula. |
| FORMULATYPE | Type for a formula. |
| FUNCON | Logical language: Function constant. |
| FUNVAR | Logical language: Function variable. |
| IMPL | Logical language: Logical implication. |
| LATEX | For each supported language entry one can find a LaTeX text here. |
| NODE | This part is the smallest unit and corresponds to the LaTeX item subsection. |
| NODE.NAME | Short text to describe this item. |
| NODE.PRECEDING | Text that precedes the mathematical meat. |
| NODE.SUCCEEDING | Text that succeeds mathematical meat. |
| NODETYPE | Type for a node. |
| NOT | Logical language: Logical negation. |
| OR | Logical language: Logical disjunction. |
| PREDCON | Logical language: Predicate constant. |
| PREDVAR | Logical language: Predicate variable. |
| QEDEQ | Root element. |
| QEDEQ.BIBLIOGRAPHY | Literature references. |
| QEDEQ.BIBLIOGRAPHY.ITEM | Single literature reference. |
| QEDEQ.CHAPTER | This part corresponds to the LaTeX item chapter. |
| QEDEQ.CHAPTER.INTRODUCTION | Chapter contents description. |
| QEDEQ.CHAPTER.SECTION | Section of chapter. |
| QEDEQ.CHAPTER.SECTION.INTRODUCTION | Section contents description. |
| QEDEQ.CHAPTER.SECTION.SUBSECTIONS | List of subsections. |
| QEDEQ.HEADER | File specification, infromation about the authors, imports of other QEDEQ modules and so on are part of the header. |
| QEDEQ.HEADER.ABSTRACT | Module contents description. |
| QEDEQ.HEADER.AUTHORS | List of authors of this module. |
| QEDEQ.HEADER.AUTHORS.AUTHOR | Name and email address of author. |
| QEDEQ.HEADER.AUTHORS.AUTHOR.NAME | Name of author. |
| QEDEQ.HEADER.IMPORTS | References to other QEDEQ modules that are a precondition for this one. |
| QEDEQ.HEADER.IMPORTS.IMPORT | A single reference to a QEDEQ module that must be imported. |
| QEDEQ.HEADER.USEDBY | List of QEDEQ modules which use (import) this module. |
| QUANTIFIER_INTERSECTION | Logical language: Intersection about all classes that fullfil a property. |
| QUANTIFIER_UNION | Logical language: Union about all classes that fullfil a property. |
| RULE | A new meta rule. |
| RULE.DESCRIPTION | Additional description. |
| RULE.LINK | References to theorems or axioms. |
| RULE.PROOF | Informal proof for this rule. |
| SPECIFICATION | File specification of this module. |
| SPECIFICATION.LOCATIONS | List of locations to find the QEDEQ module. |
| SPECIFICATION.LOCATIONS.LOCATION | Location of a QEDEQ module. |
| SUBSECTION | This a normal LaTeX subsection of a section. |
| SUBSECTION.TEXT | The LaTeX text of this subsection. |
| SUBSECTIONTYPE | Type for a subsection. |
| TERM | Logical language: Term. |
| TERMTYPE | Type for a term. |
| THEOREM | A theorem and it's proof. |
| THEOREM.DESCRIPTION | Additional description. |
| THEOREM.PROOF | An informal proof. |
| TITLE | Title of a text segment. |
| VAR | Logical language: Subject variable. |
| Simple Type Summary | |
| EMAILTYPE | Type for an email. |
| LEVELTYPE | Type for a level. |
| LOCATIONTYPE | Type for a location. |
By default, local element declarations belong to this schema's target namespace.
By default, local attribute declarations have no namespace.
QEDEQ 1.0 Schema
This file is part of the project "Hilbert II" - http://www.qedeq.org
Copyright 2000-2006, Michael Meyling <mime@qedeq.org>.
| |||||||
| DETAILS: DOCUMENTATION | | FRAMES | NO FRAMES | ||||||