Logic for Computer Science/Querying: Revision history

View logs for this page

Jump to navigation Jump to search

Click on any date below to read that revision (learn more).
External tools: Search · Statistics · Contributors · Watchers · Readers

(cur) = difference with current version, (last) = difference with preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 04:0104:01, 13 August 2022‎ SHB2000 discuss contribs‎ m 10,596 bytes +1‎ nonegative->nonnegative - Fix a typo in one click undo
curprev 04:0104:01, 13 August 2022‎ SHB2000 discuss contribs‎ m 10,595 bytes 0‎ descriminated->discriminated - Fix a typo in one click undo

curprev 07:2707:27, 5 November 2021‎ Mild Bill Hiccup discuss contribs‎ 10,595 bytes −1‎ →‎Query and Definability: spelling undo

curprev 19:2319:23, 22 May 2019‎ Texvc2LaTeXBot discuss contribs‎ m 10,596 bytes +2‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 04:2304:23, 16 August 2017‎ PokestarFanBot discuss contribs‎ m 10,594 bytes −2‎ Fix [[{{BookCat}} undo
curprev 03:5103:51, 16 August 2017‎ PokestarFanBot discuss contribs‎ m 10,596 bytes −36‎ Bot: Automated text replacement (-Category:{{FULLBOOKNAME}}|{{FULLCHAPTERNAME}}]] +{{BookCat}}) undo

curprev 15:4315:43, 21 November 2013‎ Glaisher discuss contribs‎ m 10,632 bytes +2,263‎ Reverted edits by 66.195.91.181 (talk) to last version by Adrignola undo
curprev 15:3915:39, 21 November 2013‎ 66.195.91.181 discuss‎ 8,369 bytes −2,263‎ →‎Definability undo

curprev 04:1904:19, 27 May 2009‎ Adrignola discuss contribs‎ m 10,632 bytes 0‎ moved Logic for Computer Scientists/Querying to Logic for Computer Science/Querying: Root page is already another book. undo
curprev 04:1304:13, 27 May 2009‎ Adrignola discuss contribs‎ m 10,632 bytes 0‎ moved Logic/Querying to Logic for Computer Scientists/Querying: More descriptive name and allows use of Logic category. undo

curprev 19:1319:13, 11 May 2009‎ Adrignola discuss contribs‎ m 10,632 bytes 0‎ +category undo

curprev 21:5921:59, 28 March 2008‎ Mike's bot account discuss contribs‎ m 10,632 bytes −4‎ Robot: Changing Category:Computer Science undo

curprev 11:2611:26, 24 March 2008‎ 84.169.173.202 discuss‎ 10,636 bytes +3‎ →‎Query and Definability undo

curprev 21:2521:25, 3 January 2008‎ Sterling discuss contribs‎ 10,633 bytes +24‎ →‎Definability undo
curprev 21:1921:19, 3 January 2008‎ Sterling discuss contribs‎ 10,609 bytes −21‎ →‎Query and Definability undo
curprev 11:1211:12, 3 January 2008‎ Sterling discuss contribs‎ 10,630 bytes −110‎ No edit summary undo
curprev 11:0411:04, 3 January 2008‎ Sterling discuss contribs‎ 10,740 bytes +107‎ No edit summary undo

curprev 16:4916:49, 11 November 2007‎ Sterling discuss contribs‎ 10,633 bytes −1,365‎ →‎Fixed-Point Logics: moved undo
curprev 16:4216:42, 11 November 2007‎ Sterling discuss contribs‎ 11,998 bytes +113‎ →‎Fixed-Point Logics undo

curprev 10:5510:55, 3 November 2007‎ Sterling discuss contribs‎ 11,885 bytes +104‎ →‎Fixed-Point Logics undo
curprev 09:5109:51, 3 November 2007‎ Sterling discuss contribs‎ m 11,781 bytes +1‎ →‎Fixed-Point Logics undo

curprev 15:3415:34, 2 November 2007‎ Sterling discuss contribs‎ 11,780 bytes +382‎ →‎Fixed-Point Logics undo

curprev 22:2622:26, 1 November 2007‎ Sterling discuss contribs‎ 11,398 bytes +14‎ →‎Fixed-Point Logics undo
curprev 22:0122:01, 1 November 2007‎ Sterling discuss contribs‎ 11,384 bytes +567‎ →‎Fixed-Point Logics undo
curprev 21:2221:22, 1 November 2007‎ Sterling discuss contribs‎ 10,817 bytes +162‎ →‎Fixed Point Logics undo

curprev 19:2519:25, 22 September 2007‎ Sterling discuss contribs‎ 9,992 bytes +51‎ →‎Model Theory (MT) vs Finite Model Theory (FMT) undo
curprev 19:1319:13, 22 September 2007‎ Sterling discuss contribs‎ 9,941 bytes +25‎ →‎Restriction to Finite Models undo
curprev 18:5818:58, 22 September 2007‎ Sterling discuss contribs‎ 9,916 bytes +141‎ →‎Finite Models undo

curprev 01:2801:28, 3 September 2007‎ Darklama discuss contribs‎ m 9,775 bytes 0‎ Computer Science:Logic/Querying moved to Logic/Querying: naming consistency undo

curprev 20:3220:32, 2 September 2007‎ Sterling discuss contribs‎ 9,775 bytes +245‎ →‎Query undo
curprev 19:0019:00, 2 September 2007‎ Sterling discuss contribs‎ 9,530 bytes +676‎ →‎Definability undo
curprev 17:4017:40, 2 September 2007‎ Sterling discuss contribs‎ 8,854 bytes +208‎ →‎Definability undo
curprev 16:4516:45, 2 September 2007‎ Sterling discuss contribs‎ 8,646 bytes +532‎ →‎Query undo

curprev 23:2323:23, 29 August 2007‎ Sterling discuss contribs‎ 8,235 bytes +7‎ →‎Structures and their Properties undo

curprev 20:5820:58, 26 August 2007‎ Sterling discuss contribs‎ 8,228 bytes +31‎ No edit summary undo
curprev 20:5520:55, 26 August 2007‎ Sterling discuss contribs‎ 8,197 bytes +1,671‎ No edit summary undo
curprev 20:1620:16, 26 August 2007‎ 84.148.98.92 discuss‎ 6,526 bytes −8,961‎ No edit summary undo

Retrieved from "https://en.wikibooks.org/wiki/Logic_for_Computer_Science/Querying"