Overview  Namespace  Component  Index  Help
DETAILS:	FRAMES | NO FRAMES

---

ABSTRACT - nested element in element of namespace noNamespace

Module contents description. 

AND - element of namespace noNamespace

Logical language: Logical conjunction. 

AUTHOR - nested element in element of namespace noNamespace

Name and email address of author. 

AUTHORS - nested element in element of namespace noNamespace

List of authors of this module. 

AXIOM - element of namespace noNamespace

Mathematical axiom. 

BIBLIOGRAPHY - nested element in element of namespace noNamespace

Literature references. 

CHAPTER - nested element in element of namespace noNamespace

This part corresponds to the LaTeX item chapter. 

CLASS - element of namespace noNamespace

Logical language: Class described by property. 

DEFINITION_FUNCTION - element of namespace noNamespace

Definition of a function. 

DEFINITION_PREDICATE - element of namespace noNamespace

Definition of a predicate constant. 

DESCRIPTION - nested element in element of namespace noNamespace

Additional description. 

DESCRIPTION - nested element in element of namespace noNamespace

Additional description. 

DESCRIPTION - nested element in element of namespace noNamespace

Additional description. 

DESCRIPTION - nested element in element of namespace noNamespace

Additional description. 

DESCRIPTION - nested element in element of namespace noNamespace

Additional description. 

EMAILTYPE - simpleType of namespace noNamespace

Type for an email. 

EQUI - element of namespace noNamespace

Logical language: Logical equivalence. 

EXISTS - element of namespace noNamespace

Logical language: Logical existential quantifier. 

EXISTSU - element of namespace noNamespace

Logical language: Logical uniqueness quantifier. 

FORALL - element of namespace noNamespace

Logical language: Logical universal quantifier. 

FORMULA - element of namespace noNamespace

Logical language: Formula. 

FORMULATYPE - element of namespace noNamespace

Type for a formula. 

FUNCON - element of namespace noNamespace

Logical language: Function constant. 

FUNVAR - element of namespace noNamespace

Logical language: Function variable. 

HEADER - nested element in element of namespace noNamespace

File specification, infromation about the authors, imports of other QEDEQ modules and so on are part of the header. 

IMPL - element of namespace noNamespace

Logical language: Logical implication. 

IMPORT - nested element in element of namespace noNamespace

A single reference to a QEDEQ module that must be imported. 

IMPORTS - nested element in element of namespace noNamespace

References to other QEDEQ modules that are a precondition for this one. 

INTRODUCTION - nested element in element of namespace noNamespace

Chapter contents description. 

INTRODUCTION - nested element in element of namespace noNamespace

Section contents description. 

ITEM - nested element in element of namespace noNamespace

Single literature reference. 

LATEX - element of namespace noNamespace

For each supported language entry one can find a LaTeX text here. 

LEVELTYPE - simpleType of namespace noNamespace

Type for a level. 

LINK - nested element in element of namespace noNamespace

References to theorems or axioms. 

LOCATION - nested element in element of namespace noNamespace

Location of a QEDEQ module. 

LOCATIONS - nested element in element of namespace noNamespace

List of locations to find the QEDEQ module. 

LOCATIONTYPE - simpleType of namespace noNamespace

Type for a location. 

NAME - nested element in element of namespace noNamespace

Name of author. 

NAME - nested element in element of namespace noNamespace

Short text to describe this item. 

NODE - element of namespace noNamespace

This part is the smallest unit and corresponds to the LaTeX item subsection. 

NODETYPE - element of namespace noNamespace

Type for a node. 

NOT - element of namespace noNamespace

Logical language: Logical negation. 

OR - element of namespace noNamespace

Logical language: Logical disjunction. 

PRECEDING - nested element in element of namespace noNamespace

Text that precedes the mathematical meat. 

PREDCON - element of namespace noNamespace

Logical language: Predicate constant. 

PREDVAR - element of namespace noNamespace

Logical language: Predicate variable. 

PROOF - nested element in element of namespace noNamespace

An informal proof. 

PROOF - nested element in element of namespace noNamespace

Informal proof for this rule. 

QEDEQ - element of namespace noNamespace

Root element. 

QUANTIFIER_INTERSECTION - element of namespace noNamespace

Logical language: Intersection about all classes that fullfil a property. 

QUANTIFIER_UNION - element of namespace noNamespace

Logical language: Union about all classes that fullfil a property. 

RULE - element of namespace noNamespace

A new meta rule. 

SECTION - nested element in element of namespace noNamespace

Section of chapter. 

SPECIFICATION - element of namespace noNamespace

File specification of this module. 

SUBSECTION - element of namespace noNamespace

This a normal LaTeX subsection of a section. 

SUBSECTIONS - nested element in element of namespace noNamespace

List of subsections. 

SUBSECTIONTYPE - element of namespace noNamespace

Type for a subsection. 

SUCCEEDING - nested element in element of namespace noNamespace

Text that succeeds mathematical meat. 

TERM - element of namespace noNamespace

Logical language: Term. 

TERMTYPE - element of namespace noNamespace

Type for a term. 

TEXT - nested element in element of namespace noNamespace

The LaTeX text of this subsection. 

THEOREM - element of namespace noNamespace

A theorem and it's proof. 

TITLE - element of namespace noNamespace

Title of a text segment. 

USEDBY - nested element in element of namespace noNamespace

List of QEDEQ modules which use (import) this module. 

VAR - element of namespace noNamespace

Logical language: Subject variable. 

VARLIST - nested element in element of namespace noNamespace

List of predicate arguments. 

VARLIST - nested element in element of namespace noNamespace

List of function arguments. 

---

Overview  Namespace  Component  Index  Help
DETAILS:	FRAMES | NO FRAMES

---

Submit a bug or a feature.
Created by xsddoc, a sub project of xframe, hosted at http://xframe.sourceforge.net.