Ontology of Texts – Proofs

Proofs are provided either for the theorems explicitly states in the paper or for the theorems only mentioned there. In both cases the paper’s numbering is followed: the latter case uses the Arabic and the former case Latin numerals.

Proofs of theorems stated in the paper


Proofs of theorems only mentioned in the paper


Other results