Jump to content

First-order predicate: 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 20:4420:44, 13 September 2021 Rsjaffe talk contribs m 935 bytes +1 →top: clean up, typo(s) fixed: For example → For example, undo Tag: AWB

curprev 20:3220:32, 25 March 2017 Jabowery talk contribs 934 bytes +20 Correct serious error (confusing "monad" with "first order predicate"). undo

curprev 03:5103:51, 22 October 2016 Bender the Bot talk contribs m 914 bytes +1 →top: http→https for Google Books and Google News using AWB undo

curprev 15:3515:35, 18 October 2016 Sophivorus talk contribs m 913 bytes 0 No edit summary undo
curprev 15:3515:35, 18 October 2016 Sophivorus talk contribs 913 bytes +209 No edit summary undo

curprev 04:3604:36, 7 September 2014 David Eppstein talk contribs 704 bytes +212 source undo

curprev 20:2220:22, 2 October 2013 David Eppstein talk contribs 492 bytes +27 context undo

curprev 20:5420:54, 16 July 2010 Gregbard talk contribs m 465 bytes +31 Adding category Category:Concepts in logic (using HotCat) undo

curprev 11:5311:53, 1 March 2010 Fram talk contribs 434 bytes −14 Replace "unreferenced stub" with "unreferenced" using AWB undo

curprev 02:5702:57, 31 December 2009 Graham87 talk contribs m 448 bytes 0 1 revision from nost:First-order predicate: import old edit, see User:Graham87/Import undo

curprev 15:0715:07, 17 December 2009 SmackBot talk contribs m 448 bytes +38 →See also: remove Erik9bot category,outdated, tag and general fixes undo

curprev 19:1819:18, 3 July 2009 Erik9bot talk contribs 410 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 14:1014:10, 15 March 2009 CBM talk contribs 361 bytes −30 rm sentential logic cat undo

curprev 21:4921:49, 31 January 2008 Gregbard talk contribs 391 bytes −1 No edit summary undo
curprev 21:4821:48, 31 January 2008 Gregbard talk contribs 392 bytes +11 No edit summary undo
curprev 20:5620:56, 31 January 2008 Gregbard talk contribs 381 bytes +62 No edit summary undo

curprev 14:4914:49, 30 September 2007 Philogo talk contribs m 319 bytes +23 No edit summary undo

curprev 14:2314:23, 21 July 2007 CBM talk contribs 296 bytes −19 →See also: switch stub type undo

curprev 06:4206:42, 11 July 2007 Gregbard talk contribs m 315 bytes +19 No edit summary undo
curprev 06:4206:42, 11 July 2007 Gregbard talk contribs m 296 bytes +14 No edit summary undo

curprev 16:1116:11, 30 May 2007 CBM talk contribs 282 bytes −2 Refine category undo

curprev 03:3303:33, 18 August 2006 Alex S talk contribs m 284 bytes +18 No edit summary undo

curprev 15:5615:56, 17 June 2006 Mets501 talk contribs m 266 bytes +1 clean up using AWB undo

curprev 00:1200:12, 20 May 2006 Michael Hardy talk contribs 265 bytes +2 No edit summary undo

curprev 13:3913:39, 18 September 2005 Silverfish talk contribs m 263 bytes +5 Stub-sorting. You can help! undo

curprev 02:0802:08, 3 August 2005 Oleg Alexandrov talk contribs m 258 bytes +13 Category:Mathematical logic undo

curprev 04:2804:28, 24 March 2005 Oleg Alexandrov talk contribs 245 bytes +23 Category:Logic undo

curprev 03:4003:40, 18 September 2004 Vina talk contribs m 222 bytes +5 math-stub undo

curprev 01:0401:04, 18 July 2004 SimonMayer talk contribs m 217 bytes −8 No edit summary undo

curprev 04:0204:02, 11 May 2004 Brona talk contribs 225 bytes +48 see also First-order predicate calculus undo

curprev 22:5622:56, 23 December 2003 Rholton talk contribs 177 bytes −120 {{msg:stub}} undo

curprev 15:2015:20, 8 December 2003 Pfortuny talk contribs m 297 bytes +136 Stubbified undo

curprev 14:3514:35, 13 February 2003 Oliver Pereira talk contribs m 161 bytes +2 looks nicer like this undo

curprev 06:5206:52, 16 June 2002 Tobias Hoevekamp talk contribs m 159 bytes +6 bold topic undo

curprev 15:5115:51, 25 February 2002 Conversion script talk contribs m 153 bytes +2 Automated conversion undo

curprev 21:4621:46, 27 October 2001 Awaterl talk contribs m 151 bytes −297 No edit summary

Retrieved from "https://en.wikipedia.org/wiki/First-order_predicate"