a17349d0247036407c22e632ece0e8f2b736253cTill Mossakowskidigraph G {
a17349d0247036407c22e632ece0e8f2b736253cTill Mossakowski size = "8,6"
a17349d0247036407c22e632ece0e8f2b736253cTill Mossakowski
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiRelScheme -> CASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCASL -> CommonLogic
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiSoftFOL -> CommonLogic;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCASL -> SoftFOL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCommonLogic -> CommonLogic;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCASL -> HasCASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiPropositional -> CASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiPropositional -> CommonLogic;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCASL -> Propositional;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiPropositional -> OWL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiOWL -> CommonLogic;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCommonLogic -> CASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCommonLogic -> CASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiCASL -> HasCASL;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiHasCASL -> THF;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiHasCASL -> Isabelle;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiHasCASL -> Isabelle;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiHasCASL -> Isabelle;
a17349d0247036407c22e632ece0e8f2b736253cTill MossakowskiHasCASL -> Isabelle;
a17349d0247036407c22e632ece0e8f2b736253cTill Mossakowski}