Jump to content

Propositional proof 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 10:4310:43, 26 April 2024‎ Yuval Filmus talk contribs‎ 9,295 bytes +206‎ →‎Further reading: Added new survey undo

curprev 17:1617:16, 17 March 2023‎ Citation bot talk contribs‎ 9,089 bytes −124‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 00:2600:26, 21 January 2023‎ NicolinoChess31415926 talk contribs‎ m 9,213 bytes +23‎ →‎Examples of propositional proof systems undo

curprev 19:0619:06, 28 May 2022‎ Anita5192 talk contribs‎ m 9,190 bytes −116‎ Undid revision 1090303145 by Shobha Lal (talk)Reverted unexplained edit by Shobha Lal (talk | contribs) per WP:LINKSPAM. undo Tag: Undo
curprev 18:5018:50, 28 May 2022‎ Shobha Lal talk contribs‎ m 9,306 bytes +116‎ No edit summary undo Tag: Reverted

curprev 07:0807:08, 2 February 2021‎ Yann Hoffmann talk contribs‎ m 9,190 bytes +2‎ corrected typo undo

curprev 20:4020:40, 27 April 2020‎ JayBeeEll talk contribs‎ m 9,188 bytes +6‎ replace Range (mathematics) (a redirect to a disambig page) with Range of a function undo

curprev 20:3220:32, 29 August 2019‎ Bender the Bot talk contribs‎ m 9,182 bytes +1‎ →‎External links: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 21:4021:40, 23 August 2019‎ Bender the Bot talk contribs‎ m 9,181 bytes +1‎ →‎Further reading: HTTP → HTTPS for UCLA math, replaced: http://www.math.ucla.edu/ → https://www.math.ucla.edu/ undo Tag: AWB

curprev 15:5015:50, 6 August 2019‎ Jarble talk contribs‎ 9,180 bytes 0‎ editing a link undo
curprev 15:4915:49, 6 August 2019‎ Jarble talk contribs‎ 9,180 bytes +357‎ adding links to references using Google Scholar undo

curprev 23:3123:31, 13 January 2019‎ Koavf talk contribs‎ m 8,823 bytes −53‎ Removing from Category:Articles created via the Article Wizard using Cat-a-lot undo

curprev 22:3822:38, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 8,876 bytes +2‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 15:0415:04, 27 June 2018‎ CitationCleanerBot talk contribs‎ m 8,874 bytes −27‎ →‎History: cleanup undo

curprev 07:3007:30, 25 December 2017‎ Ben Standeven talk contribs‎ 8,901 bytes +7‎ →‎Examples of propositional proof systems: better link target for "Extended Frege system" undo

curprev 09:0909:09, 30 October 2017‎ KolbertBot talk contribs‎ m 8,894 bytes +1‎ Bot: HTTP→HTTPS (v475) undo

curprev 02:3102:31, 14 November 2016‎ CitationCleanerBot talk contribs‎ m 8,893 bytes −3‎ →‎History: clean up, url redundant with jstor, and/or remove accessdate if no url using AWB undo

curprev 07:1007:10, 9 February 2016‎ 24.212.193.99 talk‎ 8,896 bytes +157‎ →‎Further reading: adding a link to Reckhow's PhD thesis undo

curprev 20:2820:28, 2 September 2015‎ Solomon7968 talk contribs‎ m 8,739 bytes +3‎ link, ce etc. undo

curprev 19:4319:43, 3 May 2014‎ Wcherowi talk contribs‎ m 8,736 bytes +21‎ →‎Mathematical definition: fix DAB undo

curprev 19:1319:13, 13 December 2012‎ R'n'B talk contribs‎ m 7,501 bytes +19‎ Fix links to disambiguation page Resolution undo

curprev 13:4613:46, 23 August 2012‎ CBM talk contribs‎ m 6,731 bytes +22‎ Restore comment, I don't see any reason to remove it from the source code undo
curprev 07:4107:41, 23 August 2012‎ Magioladitis talk contribs‎ m 6,709 bytes −20‎ clean up using AWB (8279) undo

curprev 22:0622:06, 15 April 2012‎ 216.239.44.65 talk‎ 6,729 bytes −24‎ →‎Relation with computational complexity theory: Removed disambiguation needed template. undo
curprev 22:0622:06, 15 April 2012‎ 216.239.44.65 talk‎ 6,753 bytes +16‎ →‎Relation with computational complexity theory: Manually disambiguated link. undo

curprev 23:4223:42, 27 February 2012‎ Gregbard talk contribs‎ 6,737 bytes +36‎ added Category:Propositional calculus using HotCat undo

curprev 11:2111:21, 17 January 2012‎ Jocme talk contribs‎ 6,701 bytes +25‎ →‎Examples of propositional proof systems: disamb. undo

curprev 21:1421:14, 6 January 2012‎ LittleWink talk contribs‎ 6,676 bytes +38‎ Disambiguated: tautology → tautology (logic); Help needed: NP, Resolution undo

curprev 07:4007:40, 25 December 2011‎ David Eppstein talk contribs‎ m 6,638 bytes +20‎ authorlink Toniann Pitassi undo

curprev 20:4920:49, 21 November 2011‎ R'n'B talk contribs‎ m 6,618 bytes +25‎ help needed: Resolution undo

curprev 06:3706:37, 22 November 2010‎ RDT talk contribs‎ 4,164 bytes +27‎ →‎Relation with Computational Complexity Theory undo
curprev 06:3606:36, 22 November 2010‎ RDT talk contribs‎ 4,137 bytes +1,125‎ No edit summary undo
curprev 06:1806:18, 22 November 2010‎ RDT talk contribs‎ 3,012 bytes +21‎ →‎References undo

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