Timed propositional temporal logic: Revision history

Article
Talk

View logs for this page (view filter log)

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 20:2420:24, 30 October 2023 Citation bot talk contribs 7,162 bytes +212 Alter: title, template type. Add: chapter-url, isbn, volume, series, chapter. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 4/24 undo

curprev 18:2418:24, 13 June 2023 78.22.198.37 talk 6,950 bytes +23 No edit summary undo
curprev 13:4213:42, 13 June 2023 157.193.240.172 talk 6,927 bytes +76 No edit summary undo

curprev 21:2821:28, 29 March 2023 Citation bot talk contribs 6,851 bytes 0 Alter: journal. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 136/321 undo

curprev 04:5904:59, 30 January 2023 OAbot talk contribs m 6,851 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 00:0200:02, 25 May 2021 David Eppstein talk contribs 6,834 bytes +37 Patricia Bouyer-Decitre undo

curprev 13:5713:57, 17 September 2020 AppleBsTime talk contribs 6,797 bytes +1 typo undo

curprev 21:3821:38, 27 May 2019 Omnipaedista talk contribs 6,796 bytes 0 No edit summary undo

curprev 20:3820:38, 9 May 2019 JCW-CleanerBot talk contribs m 6,796 bytes −6 →Syntax: task, replaced: Journal of the ACM (JACM → Journal of the ACM undo Tag: AWB

curprev 21:1521:15, 21 April 2019 WereSpielChequers talk contribs m 6,802 bytes +1 →top: Typo fixing, replaced: wich → which undo Tag: AWB

curprev 18:2918:29, 19 April 2019 Noboswell talk contribs m 6,801 bytes 0 →Syntax: Fixed spelling of "operator" undo Tag: Visual edit

curprev 04:1104:11, 13 April 2019 Nat965 talk contribs m 6,801 bytes +3 Typo fixing, typo(s) fixed: Indeed → Indeed, undo Tag: AWB

curprev 13:4113:41, 28 March 2019 Arthur MILCHIOR talk contribs 6,798 bytes +174 Correction of a wrong negation undo
curprev 13:3013:30, 28 March 2019 Arthur MILCHIOR talk contribs 6,624 bytes +367 TPTL believe to be strictly more expressive than MTL undo

curprev 08:1508:15, 22 March 2019 Arthur MILCHIOR talk contribs m 6,257 bytes +1 typo undo
curprev 05:4005:40, 22 March 2019 Stevey7788 talk contribs m 6,256 bytes −2 No edit summary undo
curprev 05:3905:39, 22 March 2019 Stevey7788 talk contribs m 6,258 bytes −1 No edit summary undo
curprev 05:3905:39, 22 March 2019 Stevey7788 talk contribs m 6,259 bytes 0 fixed new article undo

curprev 18:0418:04, 21 March 2019 Arthur MILCHIOR talk contribs 6,259 bytes +6,259 ←Created page with 'In model checking, a field of computer science the ''Timed Propositional Temporal Logic'' (''TPTL'') is an extension of Linear Temporal Logic (LTL) i...'

Retrieved from "https://en.wikipedia.org/wiki/Timed_propositional_temporal_logic"