User contributions
From Odp
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 12:42, 21 August 2009 (hist) (diff) Submissions:CyclicSubClassOf
- 12:37, 21 August 2009 (hist) (diff) N Submissions:CyclicSubClassOf (New page: {{Reengineering_OP_Proposal_toolbar}} {{Reengineering OP Proposal General Information Template |Name=CyclicSubClassOf |Problem=Sometimes there are several syntactical forms (e.g. syntacti...)
- 12:08, 21 August 2009 (hist) (diff) N Image:CyclisSubClassOf.png (top)
- 12:08, 21 August 2009 (hist) (diff) N Image:EquivalentClassesAxiom.png (top)
- 09:52, 21 August 2009 (hist) (diff) Submissions:Partition
- 09:51, 21 August 2009 (hist) (diff) N Submissions:Partition (WOP2009:Main)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)