Alternating timed automaton: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 10:0910:09, 20 October 2024 Ronnie larko talk contribs m 10,845 bytes +4 No edit summary undo Tags: Visual edit Newcomer task Newcomer task: copyedit

curprev 02:1502:15, 18 October 2024 Safariwikibd talk contribs 10,841 bytes +798 Add about time automation undo Tags: Visual edit Mobile edit Mobile web edit Newcomer task Newcomer task: copyedit

curprev 02:3602:36, 17 October 2024 ClumsyOwlet talk contribs 10,043 bytes −2 Undid revision 1251486508 by PolicyPolice45 (talk) undo Tag: Undo

curprev 11:3711:37, 16 October 2024 PolicyPolice45 talk contribs 10,045 bytes +2 →Definition undo Tags: Reverted Visual edit Newcomer task Newcomer task: copyedit

curprev 14:1114:11, 22 September 2024 Canterbury Tail talk contribs m 10,043 bytes 0 Reverted edit by Baluchori (talk) to last version by Cooldudeseven7 undo Tag: Rollback
curprev 06:2706:27, 22 September 2024 Baluchori talk contribs m 10,043 bytes 0 Grammar undo Tags: Reverted Visual edit Mobile edit Mobile web edit Newcomer task Newcomer task: copyedit

curprev 13:5813:58, 19 September 2024 Cooldudeseven7 talk contribs 10,043 bytes −3 Reverting edit(s) by Cooldudeseven7 (talk) to rev. 1244960906 by AnomieBOT: Reverting good faith edits: Accidental (UV 0.1.5) undo Tags: Ultraviolet Undo
curprev 13:0913:09, 19 September 2024 Cooldudeseven7 talk contribs m 10,046 bytes +3 No edit summary undo Tags: Reverted Visual edit Newcomer task Newcomer task: copyedit

curprev 06:0206:02, 10 September 2024 AnomieBOT talk contribs m 10,043 bytes +22 Dating maintenance tags: {{Citation needed}} {{Sentence fragment}} undo
curprev 04:0204:02, 10 September 2024 ASeriousThing talk contribs 10,021 bytes +485 Cleanup, including spelling and grammar. Recommend additional sources. undo Tags: Visual edit Newcomer task Newcomer task: copyedit

curprev 18:0418:04, 8 July 2024 Jtbwikiman talk contribs m 9,536 bytes +4 Added Links undo Tags: Visual edit Newcomer task Newcomer task: copyedit

curprev 19:1319:13, 9 February 2024 Ixfd64 talk contribs 9,532 bytes −135 rm dupe image, fmt undo

curprev 23:4423:44, 20 November 2022 Citation bot talk contribs 9,667 bytes +13 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Wikipedia articles needing clarification from October 2022 | #UCB_Category 549/718 undo

curprev 08:0908:09, 14 October 2022 Rchard2scout talk contribs m 9,654 bytes +4 Fix lint errors undo

curprev 10:1610:16, 13 October 2022 Ron Waffle talk contribs 9,650 bytes +52 →Run as a tree: add {{Verify spelling}} for "trooted" undo

curprev 01:0201:02, 22 November 2020 Ira Leviton talk contribs m 9,598 bytes +1 Exisential->Existential - Fix a typo in one click undo

curprev 15:0915:09, 6 June 2020 Ira Leviton talk contribs m 9,597 bytes −8 Deleted superfluous wording. undo
curprev 15:0815:08, 6 June 2020 Ira Leviton talk contribs m 9,605 bytes 0 Fixed typos found with Wikipedia:Typo_Team/moss. undo

curprev 11:3311:33, 6 January 2020 Bellowhead678 talk contribs m 9,605 bytes +1 exisential->existential - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 22:4822:48, 14 October 2019 Bellowhead678 talk contribs m 9,604 bytes 0 loaction->location - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 13:2613:26, 25 July 2019 OAbot talk contribs m 9,604 bytes +17 Open access bot: add arxiv identifier to citation with #oabot. undo

curprev 03:5403:54, 2 July 2019 Pichpich talk contribs 9,587 bytes −1 →Purely-Universal and Purely-Exisential ATA: typo undo

curprev 15:0415:04, 16 May 2019 198.202.137.24 talk 9,588 bytes 0 Changed "If fact One clock alternating" to "In fact...". undo

curprev 06:5006:50, 12 May 2019 Cnwilliams talk contribs m 9,588 bytes +20 Disambiguated: undecidable → undecidable problem undo

curprev 20:5220:52, 6 May 2019 BD2412 talk contribs m 9,568 bytes −7 →Run as a tree: Replace "let us consider" statements per MOS:NOTED and consensus at Wikipedia talk:Manual of Style#"Let us consider" statements, replaced: Let us consider → Consider undo Tag: AWB

curprev 18:1618:16, 2 April 2019 Nick Number talk contribs m 9,575 bytes +3 sp successor WP:TYPO undo
curprev 01:3101:31, 2 April 2019 Giraffedata talk contribs 9,572 bytes −2 comprised of undo

curprev 09:3009:30, 1 April 2019 Nat965 talk contribs m 9,574 bytes +27 Apply Gen fix(es), typo(s) fixed: succesfull → successfull, choosen → chosen (2), oponent → opponent, successfull → successful undo Tag: AWB
curprev 03:3203:32, 1 April 2019 Arthur MILCHIOR talk contribs 9,547 bytes +66 Rewritting a more precise statement about expressivity undo
curprev 03:2803:28, 1 April 2019 Arthur MILCHIOR talk contribs 9,481 bytes +137 Adding missing image undo

curprev 22:5722:57, 31 March 2019 Arthur MILCHIOR talk contribs m 9,344 bytes +1 Same typo undo
curprev 22:5722:57, 31 March 2019 Arthur MILCHIOR talk contribs m 9,343 bytes 0 Typo undo
curprev 22:5622:56, 31 March 2019 Arthur MILCHIOR talk contribs 9,343 bytes +9,343 ←Created page with 'In automata theory, an '''alternating timed automaton'''(ATA) is a mix of both timed automaton and alternating finite automaton. That is, it is a sor...'

22 October 2024

20 October 2024

18 October 2024

17 October 2024

16 October 2024

22 September 2024

19 September 2024

10 September 2024

8 July 2024

9 February 2024

20 November 2022

14 October 2022

13 October 2022

22 November 2020

6 June 2020

6 January 2020

14 October 2019

25 July 2019

2 July 2019

16 May 2019

12 May 2019

6 May 2019

2 April 2019

1 April 2019

31 March 2019