namespace

See:
Description
Element Summary
ANDLogical language: Logical conjunction. 
AXIOMMathematical axiom. 
AXIOM.DESCRIPTIONAdditional description. 
CLASSLogical language: Class described by property. 
DEFINITION_FUNCTIONDefinition of a function. 
DEFINITION_FUNCTION.DESCRIPTIONAdditional description. 
DEFINITION_FUNCTION.VARLISTList of function arguments. 
DEFINITION_PREDICATEDefinition of a predicate constant. 
DEFINITION_PREDICATE.DESCRIPTIONAdditional description. 
DEFINITION_PREDICATE.VARLISTList of predicate arguments. 
EQUILogical language: Logical equivalence. 
EXISTSLogical language: Logical existential quantifier. 
EXISTSULogical language: Logical uniqueness quantifier. 
FORALLLogical language: Logical universal quantifier. 
FORMULALogical language: Formula. 
FORMULATYPEType for a formula. 
FUNCONLogical language: Function constant. 
FUNVARLogical language: Function variable. 
IMPLLogical language: Logical implication. 
LATEXFor each supported language entry one can find a LaTeX text here. 
NODEThis part is the smallest unit and corresponds to the LaTeX item subsection. 
NODE.NAMEShort text to describe this item. 
NODE.PRECEDINGText that precedes the mathematical meat. 
NODE.SUCCEEDINGText that succeeds mathematical meat. 
NODETYPEType for a node. 
NOTLogical language: Logical negation. 
ORLogical language: Logical disjunction. 
PREDCONLogical language: Predicate constant. 
PREDVARLogical language: Predicate variable. 
QEDEQRoot element. 
QEDEQ.BIBLIOGRAPHYLiterature references. 
QEDEQ.BIBLIOGRAPHY.ITEMSingle literature reference. 
QEDEQ.CHAPTERThis part corresponds to the LaTeX item chapter. 
QEDEQ.CHAPTER.INTRODUCTIONChapter contents description. 
QEDEQ.CHAPTER.SECTIONSection of chapter. 
QEDEQ.CHAPTER.SECTION.INTRODUCTIONSection contents description. 
QEDEQ.CHAPTER.SECTION.SUBSECTIONSList of subsections. 
QEDEQ.HEADERFile specification, infromation about the authors, imports of other QEDEQ modules and so on are part of the header. 
QEDEQ.HEADER.ABSTRACTModule contents description. 
QEDEQ.HEADER.AUTHORSList of authors of this module. 
QEDEQ.HEADER.AUTHORS.AUTHORName and email address of author. 
QEDEQ.HEADER.AUTHORS.AUTHOR.NAMEName of author. 
QEDEQ.HEADER.IMPORTSReferences to other QEDEQ modules that are a precondition for this one. 
QEDEQ.HEADER.IMPORTS.IMPORTA single reference to a QEDEQ module that must be imported. 
QEDEQ.HEADER.USEDBYList of QEDEQ modules which use (import) this module. 
QUANTIFIER_INTERSECTIONLogical language: Intersection about all classes that fullfil a property. 
QUANTIFIER_UNIONLogical language: Union about all classes that fullfil a property. 
RULEA new meta rule. 
RULE.DESCRIPTIONAdditional description. 
RULE.LINKReferences to theorems or axioms. 
RULE.PROOFInformal proof for this rule. 
SPECIFICATIONFile specification of this module. 
SPECIFICATION.LOCATIONSList of locations to find the QEDEQ module. 
SPECIFICATION.LOCATIONS.LOCATIONLocation of a QEDEQ module. 
SUBSECTIONThis a normal LaTeX subsection of a section. 
SUBSECTION.TEXTThe LaTeX text of this subsection. 
SUBSECTIONTYPEType for a subsection. 
TERMLogical language: Term. 
TERMTYPEType for a term. 
THEOREMA theorem and it's proof. 
THEOREM.DESCRIPTIONAdditional description. 
THEOREM.PROOFAn informal proof. 
TITLETitle of a text segment. 
VARLogical language: Subject variable. 

 

Simple Type Summary
EMAILTYPEType for an email. 
LEVELTYPEType for a level. 
LOCATIONTYPEType for a location. 

Schema Description

Form

By default, local element declarations belong to this schema's target namespace.

By default, local attribute declarations have no namespace.

Documentation
QEDEQ 1.0 Schema
    
This file is part of the project "Hilbert II" - http://www.qedeq.org

Copyright 2000-2007,  Michael Meyling <mime@qedeq.org>.


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