26 June 2021

• 22:08 22:08, 26 June 2021 diff hist +4‎ Glushkov's construction algorithm ‎ →‎Step 4: reformulate
• 22:06 22:06, 26 June 2021 diff hist −117‎ Glushkov's construction algorithm ‎ →‎Step 3: simplify formula

22 June 2021

• 22:23 22:23, 22 June 2021 diff hist +15‎ Simulation (computer science) ‎ →‎Formal definition: minor improvement
• 19:04 19:04, 22 June 2021 diff hist −21‎ Shunting yard algorithm ‎ →‎The algorithm in detail: the OR should be non-exclusive
• 19:02 19:02, 22 June 2021 diff hist +83‎ Shunting yard algorithm ‎ →‎The algorithm in detail: my bad, the associativity was indeed incorrect. corrected and simplified
• 18:49 18:49, 22 June 2021 diff hist +64‎ Shunting yard algorithm ‎ →‎The algorithm in detail: actually the assertion edit made sense so I'm putting it back together with the previously present assertion
• 18:45 18:45, 22 June 2021 diff hist −62‎ Shunting yard algorithm ‎ rv nonsense edits: 1.) the associativity of *o2* should be considered, not o1; 2.) the assertion is meaningless / incomplete after the "fix" and was perfectly correct before Tag: Undo

6 June 2021

• 22:20 22:20, 6 June 2021 diff hist 0‎ Bellman's principle of optimality ‎ fix redirect current Tag: Redirect target changed
• 22:18 22:18, 6 June 2021 diff hist +40‎ Subgame perfect equilibrium ‎ →‎See also: add related concept
• 21:47 21:47, 6 June 2021 diff hist −222‎ Shunting yard algorithm ‎ →‎The algorithm in detail: clean up / simplify pseudocode

1 June 2021

• 11:56 11:56, 1 June 2021 diff hist −29‎ Euclidean domain ‎ Undid revision 1026287257 by 109.81.214.106 ( talk) Tag: Undo
• 11:55 11:55, 1 June 2021 diff hist +29‎ Euclidean domain ‎ →‎Definition: explain Tag: Reverted
• 09:18 09:18, 1 June 2021 diff hist +50‎ Horn clause ‎ →‎Logic programming: explain what ":-" is Tag: Reverted

31 May 2021

• 22:12 22:12, 31 May 2021 diff hist +1‎ Horn clause ‎ Undid revision 1026191266 by 109.81.214.106 ( talk) Tag: Undo
• 22:12 22:12, 31 May 2021 diff hist −1‎ Horn clause ‎ →‎Significance Tag: Reverted
• 22:11 22:11, 31 May 2021 diff hist +118‎ Horn clause ‎ →‎Definition
• 21:55 21:55, 31 May 2021 diff hist +108‎ Horn clause ‎ →‎Logic programming: improvements, explain
• 21:45 21:45, 31 May 2021 diff hist −54‎ Horn clause ‎ -'sometimes called'
• 21:41 21:41, 31 May 2021 diff hist +46‎ Horn clause ‎ →‎Definition: clarify goal clause
• 21:37 21:37, 31 May 2021 diff hist −445‎ Horn clause ‎ →‎Definition: dragging propositional logic into this seems unnecessary and the note about "domain variables" is only confusing Tag: references removed
• 21:26 21:26, 31 May 2021 diff hist +32‎ Horn clause ‎ →‎Definition: add that empty clause == false
• 21:10 21:10, 31 May 2021 diff hist +13‎ Horn clause ‎ →‎Definition: ''u'' is not an implication

26 May 2021

• 23:33 23:33, 26 May 2021 diff hist −136‎ Kleene's recursion theorem ‎ →‎Notation: rm confusing
• 00:35 00:35, 26 May 2021 diff hist +4‎ Ideal (order theory) ‎ →‎Prime ideals
• 00:04 00:04, 26 May 2021 diff hist +9‎ Jacques Herbrand ‎ →‎Biography: wording
• 00:03 00:03, 26 May 2021 diff hist +9‎ Jacques Herbrand ‎ →‎Biography: improve wording

25 May 2021

• 23:53 23:53, 25 May 2021 diff hist +30‎ Complete partial order ‎ →‎Examples: link the document directly
• 23:49 23:49, 25 May 2021 diff hist +13‎ Knaster–Tarski theorem ‎ →‎lede: more precise
• 23:48 23:48, 25 May 2021 diff hist +22‎ Knaster–Tarski theorem ‎ →‎lede: make the statement more precise
• 23:43 23:43, 25 May 2021 diff hist −410‎ Talk:Complete partial order ‎ →‎Each directed subset has a supremum: nevermind, it can be infinite Tag: Manual revert
• 23:42 23:42, 25 May 2021 diff hist +2‎ Talk:Complete partial order ‎ →‎Each directed subset has a supremum Tag: Reverted
• 23:42 23:42, 25 May 2021 diff hist +408‎ Talk:Complete partial order ‎ →‎Each directed subset has a supremum: new section Tag: Reverted
• 22:57 22:57, 25 May 2021 diff hist +2‎ Ideal (order theory) ‎ →‎Basic definitions: slight improvement
• 22:48 22:48, 25 May 2021 diff hist +18‎ Ultrafilter on a set ‎ →‎lede: extract Pudelskern from all the blabber

12 May 2021

• 21:06 21:06, 12 May 2021 diff hist −37‎ Tacit programming ‎ →‎Functional programming: more matter less art
• 21:02 21:02, 12 May 2021 diff hist +48‎ Tacit programming ‎ →‎Unix pipeline: named pipes are *named*, hence not point-free

26 April 2021

• 21:48 21:48, 26 April 2021 diff hist +118‎ Floyd–Warshall algorithm ‎ →‎Comparison with other shortest path algorithms: cn
• 21:13 21:13, 26 April 2021 diff hist −3‎ Hall violator ‎ →‎Finding a Hall violator or an augmenting path: remove out-of-place number

23 April 2021

• 17:56 17:56, 23 April 2021 diff hist −17‎ NFA minimization ‎ fix error in ref

20 April 2021

• 22:14 22:14, 20 April 2021 diff hist +169‎ User talk:Arjayay ‎ →‎"Iff" is not a typo: r
• 17:41 17:41, 20 April 2021 diff hist +642‎ User talk:Jochen Burghardt ‎ →‎Examples section of Local language: new section
• 17:36 17:36, 20 April 2021 diff hist +586‎ User talk:Arjayay ‎ →‎"Iff" is not a typo: new section

19 April 2021

• 23:27 23:27, 19 April 2021 diff hist +4‎ Local language (formal language) ‎ →‎Examples: improve presentation of examples Tag: Reverted
• 23:04 23:04, 19 April 2021 diff hist +642‎ Simulation (computer science) ‎ →‎Formal definition: proof that similarity is strictly coarser than bisimilarity iff it is not a simulation
• 13:18 13:18, 19 April 2021 diff hist +106‎ Local language (formal language) ‎ -cn +explain
• 12:57 12:57, 19 April 2021 diff hist +7‎ Bisimulation ‎ →‎Formal definition: horizontal separator before reflist
• 12:56 12:56, 19 April 2021 diff hist +24‎ Bisimulation ‎ →‎Formal definition: add reflist Note

18 April 2021

• 21:39 21:39, 18 April 2021 diff hist +2‎ Bisimulation ‎ →‎Formal definition: *bi*simulation
• 21:38 21:38, 18 April 2021 diff hist +11‎ Bisimulation ‎ →‎Formal definition: more accurate wording
• 21:37 21:37, 18 April 2021 diff hist +396‎ Bisimulation ‎ →‎Formal definition: add citation for definition of bisimilarity as symmetric similarity