User contributions
- 13:26, 2 February 2013 diff hist -5,647 User:Joachim Draeger/sandbox
- 11:47, 1 February 2013 diff hist +6,595 N Sigma-algebra (Computer Science) Created page with " {{MSC|68P05}} {{TEX|done}} $\Sigma$-Algebras are the semantical counterpart to the signatures, which are pure syntactical ..."
- 11:15, 1 February 2013 diff hist -2 User:Joachim Draeger/sandbox
- 11:14, 1 February 2013 diff hist -1,930 User:Joachim Draeger/sandbox
- 17:41, 29 January 2013 diff hist +16 m Formula MSC supplemented
- 17:30, 29 January 2013 diff hist +23 m Formula Link added
- 16:14, 28 January 2013 diff hist +104 m Formula Some links added
- 16:09, 28 January 2013 diff hist -22 m Term (Formalized Language) current
- 16:03, 28 January 2013 diff hist +8,080 Formula
- 15:55, 28 January 2013 diff hist +8,456 User:Joachim Draeger/sandbox
- 16:22, 20 January 2013 diff hist +1,019 m Term (Formalized Language) →Definition of Terms
- 16:14, 20 January 2013 diff hist +61 m Term (Formalized Language) →Identifying and Manipulating Free Variables
- 13:32, 20 January 2013 diff hist +199 m Term (Formalized Language)
- 11:24, 20 January 2013 diff hist +27 m Signature (Computer Science) →Signatures with Special Properties
- 11:02, 20 January 2013 diff hist +208 m Term (Formalized Language) →Ground Terms and Morphisms
- 10:22, 20 January 2013 diff hist +136 m Term (Formalized Language) →Ground Terms and Morphisms
- 18:19, 18 January 2013 diff hist +107 m Term (Formalized Language) →Definition of Terms
- 18:18, 18 January 2013 diff hist 0 m Term (Formalized Language) →Ground Terms and Morphisms
- 16:32, 18 January 2013 diff hist +4 m Signature (Computer Science)
- 16:32, 18 January 2013 diff hist -3,560 User:Joachim Draeger/sandbox Blanked the page