Metric interval temporal logic: Revision history

22 November 2024

• curprev 18:3818:38, 22 November 2024 NeighingRhino talk contribs m 8,749 bytes +69 →Satisfiability problem: The complexity of satisfiability for MITL was reported as PSPACE-complete rather than EXPSPACE-complete, contrary to what the reference suggests. undo

28 February 2024

• curprev 17:3917:39, 28 February 2024 Oneequalsequalsone talk contribs m 8,680 bytes +1 →Problems that MITL avoids undo Tag: Visual edit
• curprev 17:3017:30, 28 February 2024 Oneequalsequalsone talk contribs 8,679 bytes 0 →Difference from MTL: remove bold from colons undo Tag: Visual edit

22 August 2023

• curprev 15:4015:40, 22 August 2023 Citation bot talk contribs 8,679 bytes +43 Alter: title, template type. Add: series, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

24 July 2023

• curprev 13:0813:08, 24 July 2023 Citation bot talk contribs 8,636 bytes +18 Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 1010/2384 undo

29 March 2023

• curprev 21:2721:27, 29 March 2023 Citation bot talk contribs 8,618 bytes +67 Alter: issue. Add: isbn, s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 133/321 undo

16 November 2022

• curprev 12:1512:15, 16 November 2022 Pyschobbens talk contribs m 8,551 bytes +2 →Advisability problem undo
• curprev 12:0512:05, 16 November 2022 Pyschobbens talk contribs m 8,549 bytes +1 →Advisability problem undo

27 October 2022

• curprev 20:0520:05, 27 October 2022 I dream of horses talk contribs m 8,548 bytes −5 Autotagging and typo fixing with AutoWikiBrowser, removed stub tag, typo(s) fixed: It’s → It's undo Tag: AWB

18 March 2022

• curprev 13:2113:21, 18 March 2022 85.159.196.177 talk 8,553 bytes −5 →Examples undo

29 September 2021

• curprev 12:2212:22, 29 September 2021 AnomieBOT talk contribs m 8,558 bytes +20 Dating maintenance tags: {{Citation needed}} undo
• curprev 10:2210:22, 29 September 2021 2.37.155.29 talk 8,538 bytes −2 →References needed undo
• curprev 10:2110:21, 29 September 2021 2.37.155.29 talk 8,540 bytes +439 sources needed to clarify the article undo
• curprev 10:1010:10, 29 September 2021 2.37.155.29 talk 8,101 bytes +19 citation needed undo

5 May 2021

• curprev 16:3316:33, 5 May 2021 OAbot talk contribs m 8,082 bytes +33 Open access bot: hdl added to citation with #oabot. undo

1 September 2020

• curprev 04:2304:23, 1 September 2020 Answer unknown talk contribs m 8,049 bytes −2 →Difference from MTL: copyedit undo

2 September 2019

• curprev 09:2709:27, 2 September 2019 Marnie Hawes talk contribs 8,051 bytes +102 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

28 May 2019

• curprev 13:0813:08, 28 May 2019 Woodlot talk contribs m 7,949 bytes +1 spelling undo Tag: Visual edit

27 May 2019

• curprev 03:2403:24, 27 May 2019 Lfstevens talk contribs 7,948 bytes −376 ce, rem tag undo Tag: Visual edit
• curprev 01:4901:49, 27 May 2019 Eaglex91 talk contribs m 8,324 bytes +7 fixed typos undo

25 May 2019

• curprev 17:4917:49, 25 May 2019 Btmarsh1997 talk contribs 8,317 bytes −1 No edit summary undo

24 May 2019

• curprev 14:0914:09, 24 May 2019 AVinitha talk contribs m 8,318 bytes −4 I have made basic grammar and spelling errors undo Tag: Visual edit
• curprev 03:1703:17, 24 May 2019 Rosguill talk contribs 8,322 bytes 0 Changing short description from "Fragment of Metric temporal logic" to "Fragment of metric temporal logic" (Shortdesc helper) undo
• curprev 03:1703:17, 24 May 2019 Rosguill talk contribs 8,322 bytes +56 Adding short description: "Fragment of Metric temporal logic" (Shortdesc helper) undo
• curprev 03:1603:16, 24 May 2019 Rosguill talk contribs 8,266 bytes +28 Added {{copy edit}} tag to article (TW) undo

7 May 2019

• curprev 04:2504:25, 7 May 2019 BD2412 talk contribs m 8,238 bytes −7 →Bounded variability: 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

18 March 2019

• curprev 14:0014:00, 18 March 2019 Arjayay talk contribs 8,245 bytes −6 Duplicate word removed undo
• curprev 12:2112:21, 18 March 2019 Arthur MILCHIOR talk contribs 8,251 bytes +1,084 Open, Closed, Flat, Coflat, Non-strict undo

16 March 2019

• curprev 01:4001:40, 16 March 2019 Arthur MILCHIOR talk contribs m 7,167 bytes −1 →Examples: typo undo
• curprev 01:3801:38, 16 March 2019 Arthur MILCHIOR talk contribs 7,168 bytes +679 Examples undo

13 March 2019

• curprev 07:4207:42, 13 March 2019 Arthur MILCHIOR talk contribs 6,489 bytes +825 Safety-MTL undo

10 March 2019

• curprev 18:4718:47, 10 March 2019 Arjayay talk contribs 5,664 bytes −2 Duplicate word removed undo
• curprev 02:2602:26, 10 March 2019 Arthur MILCHIOR talk contribs 5,666 bytes +60 →Satisfiability problem: completeness of the problem undo
• curprev 01:5601:56, 10 March 2019 Arthur MILCHIOR talk contribs m 5,606 bytes +53 Adding missing section undo

6 March 2019

• curprev 12:5512:55, 6 March 2019 Arthur MILCHIOR talk contribs 5,553 bytes +1 →Expressivity over signals: Missing subscript undo Tags: Mobile edit Mobile web edit
• curprev 12:5512:55, 6 March 2019 Arthur MILCHIOR talk contribs 5,552 bytes +1 →Expressivity over signals: New line fix undo Tags: Mobile edit Mobile web edit
• curprev 12:5412:54, 6 March 2019 Arthur MILCHIOR talk contribs 5,551 bytes +2 →Bounded variability: New line fix undo Tags: Mobile edit Mobile web edit
• curprev 04:0704:07, 6 March 2019 Arthur MILCHIOR talk contribs 5,549 bytes +5,549 ←Created page with 'In model checking, the ''Metric Interval Temporal Logic'' (''MITL'') is a fragment of Metric Temporal Logic (MTL). This fragments is often preffered to M...'