User contributions for Jochen Burghardt

16 May 2013

• 18:2518:25, 16 May 2013 diff hist −20 Occurs check →Prolog implementation
• 18:2418:24, 16 May 2013 diff hist −8 Occurs check →Prolog implementation
• 18:2018:20, 16 May 2013 diff hist −8 Occurs check →Prolog implementation
• 18:0718:07, 16 May 2013 diff hist +54 Regular tree grammar →Examples
• 17:5717:57, 16 May 2013 diff hist +13 Regular tree grammar →Examples
• 08:3508:35, 16 May 2013 diff hist +163 Regular tree grammar →Examples

15 May 2013

• 23:4723:47, 15 May 2013 diff hist +1,135 Talk:Unification (computer science) →Suggestions for a rework of the article
• 23:0223:02, 15 May 2013 diff hist +269 Talk:Occurs check No edit summary
• 22:5822:58, 15 May 2013 diff hist +547 Occurs check →Prolog implementation
• 12:5612:56, 15 May 2013 diff hist +1,549 Talk:Unification (computer science) →Delete section "Definition of unification for first-order logic"?: new section
• 12:4812:48, 15 May 2013 diff hist +53 Unification (computer science) →Syntactic unification problem on first-order terms
• 12:4612:46, 15 May 2013 diff hist +2 Unification (computer science) →Syntactic unification problem on first-order terms
• 12:4512:45, 15 May 2013 diff hist +824 Unification (computer science) →Syntactic unification problem on first-order terms
• 11:2511:25, 15 May 2013 diff hist +512 Unification (computer science) →Definition of unification for first-order logic
• 07:5407:54, 15 May 2013 diff hist +2,122 Talk:Occurs check No edit summary
• 06:5206:52, 15 May 2013 diff hist +6 Occurs check →Algorithm
• 06:4806:48, 15 May 2013 diff hist +24 Occurs check No edit summary

12 May 2013

• 08:5408:54, 12 May 2013 diff hist −75 Bitwise operation Undid own revision 554707470
• 08:4908:49, 12 May 2013 diff hist +75 Bitwise operation →Arithmetic shift

10 May 2013

• 06:3806:38, 10 May 2013 diff hist +90 Regular tree grammar →Alternative characterizations and relation to other formal languages
• 06:3106:31, 10 May 2013 diff hist +122 Regular tree grammar →Examples
• 06:2506:25, 10 May 2013 diff hist +654 Regular tree grammar →Examples
• 06:1006:10, 10 May 2013 diff hist +487 Regular tree grammar →Example

9 May 2013

• 19:0219:02, 9 May 2013 diff hist +219 User talk:Jochen Burghardt →Subsumption lattice
• 18:5518:55, 9 May 2013 diff hist +365 Talk:Regular tree grammar →What is T_\Sigma(N)??
• 18:5018:50, 9 May 2013 diff hist +1,213 Regular tree grammar No edit summary
• 18:1818:18, 9 May 2013 diff hist +452 Regular tree grammar →Derivation of trees
• 17:5417:54, 9 May 2013 diff hist +149 Regular tree grammar →Definition

5 May 2013

• 06:3706:37, 5 May 2013 diff hist +90 Many-valued logic →Kleene (strong) K3 and Priest logic P3
• 06:3006:30, 5 May 2013 diff hist +358 Talk:Many-valued logic →Boolean algebra?

4 May 2013

• 12:1112:11, 4 May 2013 diff hist +5 Many-valued logic →Belnap logic (B4)
• 12:0812:08, 4 May 2013 diff hist +12 Many-valued logic →Bochvar's internal three-valued logic (also known as Kleene's weak three-valued logic)
• 12:0512:05, 4 May 2013 diff hist +13 Many-valued logic →Kleene (strong) K3 and Priest logic P3
• 11:4211:42, 4 May 2013 diff hist +14 Talk:Many-valued logic →Boolean algebra?
• 11:3911:39, 4 May 2013 diff hist +1,385 Talk:Many-valued logic →Boolean algebra?

3 May 2013

• 10:0410:04, 3 May 2013 diff hist +250 Talk:Many-valued logic →Boolean algebra?: new section

22 August 2012

• 18:0718:07, 22 August 2012 diff hist −5 User talk:Thomas85753 No edit summary
• 12:1212:12, 22 August 2012 diff hist +31 N User talk:Jochen Burghardt ←Created page with ' (Jochen Burghardt's Talk page)'
• 12:1112:11, 22 August 2012 diff hist +31 N User:Jochen Burghardt ←Created page with ' (Jochen Burghardt's user page)'
• 12:0912:09, 22 August 2012 diff hist +1 User talk:Thomas85753 No edit summary
• 12:0912:09, 22 August 2012 diff hist +803 User talk:Thomas85753 No edit summary

19 August 2012

• 10:5410:54, 19 August 2012 diff hist 0 Subsumption lattice No edit summary
• 10:5210:52, 19 August 2012 diff hist +15 Subsumption lattice No edit summary
• 10:5110:51, 19 August 2012 diff hist +51 Subsumption lattice No edit summary
• 10:3810:38, 19 August 2012 diff hist +93 Subsumption lattice No edit summary
• 10:3210:32, 19 August 2012 diff hist +45 Subsumption lattice No edit summary
• 10:2910:29, 19 August 2012 diff hist +2 Subsumption lattice No edit summary
• 10:2910:29, 19 August 2012 diff hist +6 Subsumption lattice No edit summary
• 10:2810:28, 19 August 2012 diff hist +207 Subsumption lattice No edit summary
• 10:2310:23, 19 August 2012 diff hist +42 Subsumption lattice No edit summary