Class: axiom:Completude

"Dépend de la décidabilité. Partage un même modèle." [lang: fr]

•owl:Thing
        •axiom:Metalogique
                •axiom:Informe
                        •axiom:Conclusions
                                •axiom:Completude

Super Classes

axiom:Conclusions

Disjoint Classes

axiom:Consistence, axiom:Decidabilite

Abstract Syntax

Class(urn:oid:1.3.6.1.4.1.27630.3.1#Completude partial urn:oid:1.3.6.1.4.1.27630.3.1#Conclusions)

DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1#Completude urn:oid:1.3.6.1.4.1.27630.3.1#Consistence
                                                         urn:oid:1.3.6.1.4.1.27630.3.1#Decidabilite)

Usage

Class Description/Definition (Necessary Conditions)

axiom:Conclusions

Domain of

axiom:estUnTout
Generated with OWLDoc