Jump to content

Talk:Formal system: Revision history

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 11:1111:11, 14 February 2024‎ Cewbot talk contribs‎ m 44,239 bytes −21‎ Maintain {{WPBS}}: 2 WikiProject templates. Keep majority rating "Start" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{Maths rating}}, {{WikiProject Systems}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 14:0014:00, 29 December 2022‎ Cewbot talk contribs‎ 44,260 bytes +925‎ Reminder of an inactive anchor: Peano arithmetic undo

curprev 16:2216:22, 9 August 2022‎ Mathnerd314159 talk contribs‎ 43,335 bytes +131‎ →‎No semantics needed: Reply undo Tag: Reply

curprev 13:1013:10, 24 February 2022‎ MalnadachBot talk contribs‎ m 43,204 bytes +2‎ Fixed Lint errors. (Task 12) undo Tag: AWB

curprev 19:0119:01, 25 October 2020‎ Leonry talk contribs‎ 43,202 bytes +458‎ →‎Deductive systems: new section undo Tag: 2017 wikitext editor

curprev 19:3119:31, 27 March 2019‎ Bbbaat talk contribs‎ 42,744 bytes +1,071‎ →‎Proof system: new section undo

curprev 10:2510:25, 14 September 2018‎ Spike 'em talk contribs‎ 41,673 bytes −1‎ →‎confusing lead section: ce undo Tag: 2017 wikitext editor
curprev 10:2510:25, 14 September 2018‎ Spike 'em talk contribs‎ 41,674 bytes +37‎ →‎confusing lead section undo Tag: 2017 wikitext editor
curprev 10:2410:24, 14 September 2018‎ Spike 'em talk contribs‎ 41,637 bytes +490‎ →‎confusing lead section: new section undo

curprev 17:3617:36, 26 September 2016‎ SineBot talk contribs‎ m 41,147 bytes +365‎ Signing comment by 2600:100D:B12F:2B28:C218:85FF:FE74:69E4 - "→‎Would renowned science book publisher tagged as unreliable source?: " undo
curprev 17:3617:36, 26 September 2016‎ 2600:100d:b12f:2b28:c218:85ff:fe74:69e4 talk‎ 40,782 bytes +209‎ →‎Would renowned science book publisher tagged as unreliable source? undo

curprev 08:4808:48, 9 February 2016‎ Mark viking talk contribs‎ 40,573 bytes +18‎ Assessment: Systems Science: field=Systems (assisted) undo

curprev 14:4814:48, 4 June 2015‎ Qwertyus talk contribs‎ 40,555 bytes +30‎ →‎No semantics needed undo
curprev 14:4714:47, 4 June 2015‎ Qwertyus talk contribs‎ 40,525 bytes +520‎ →‎No semantics needed: new section undo

curprev 07:2607:26, 6 February 2015‎ Steamerandy talk contribs‎ 40,005 bytes +363‎ →‎Would renowned science book publisher tagged as unreliable source?: Book reviews undo Tags: Mobile edit Mobile app edit

curprev 20:5320:53, 16 October 2014‎ Mario Castelán Castro talk contribs‎ 36,872 bytes +50‎ →‎top: Add merge tag. undo

curprev 03:5603:56, 10 November 2009‎ Gregbard talk contribs‎ 36,822 bytes +331‎ →‎Moving ahead undo
curprev 03:3203:32, 10 November 2009‎ Pmanderson talk contribs‎ 36,491 bytes +231‎ →‎Moving ahead: enough undo
curprev 00:2600:26, 10 November 2009‎ Gregbard talk contribs‎ 36,260 bytes +450‎ →‎Moving ahead undo

curprev 23:3823:38, 9 November 2009‎ Pmanderson talk contribs‎ 35,810 bytes +175‎ →‎Tags: re to POV-pusher undo
curprev 16:1516:15, 9 November 2009‎ Paul August talk contribs‎ m 35,635 bytes −1‎ →‎Requested move: fix link undo
curprev 05:2205:22, 9 November 2009‎ Gregbard talk contribs‎ 35,636 bytes +327‎ →‎Tags undo

curprev 12:0012:00, 29 October 2009‎ Mdd talk contribs‎ 33,458 bytes +310‎ →‎Copy-paste registration: new section undo

curprev 18:2218:22, 20 October 2009‎ Gregbard talk contribs‎ 33,148 bytes +439‎ remove tags undo
curprev 13:3813:38, 20 October 2009‎ Harej talk contribs‎ 32,709 bytes +830‎ →‎Requested move: no consensus undo
curprev 11:1911:19, 20 October 2009‎ Taemyr talk contribs‎ 31,879 bytes +965‎ →‎Requested move: $0.05 undo

curprev 13:3513:35, 3 October 2009‎ 76.66.197.30 talk‎ 30,914 bytes +167‎ →‎Requested move undo
curprev 12:4112:41, 3 October 2009‎ RegentsPark talk contribs‎ 30,747 bytes +153‎ →‎Requested move: Relist undo

curprev 03:0503:05, 20 September 2009‎ Pcap talk contribs‎ 30,594 bytes +20‎ →‎Requested move: clarify undo
curprev 02:2802:28, 20 September 2009‎ Pcap talk contribs‎ 30,574 bytes +1,813‎ →‎Requested move: compare with formal system undo
curprev 01:1901:19, 20 September 2009‎ Pcap talk contribs‎ 28,761 bytes +803‎ →‎Requested move: add undo

Retrieved from "https://en.wikipedia.org/wiki/Talk:Formal_system"