Jump to content

Predicate functor logic: 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 07:1507:15, 21 June 2024 Sankalpg6 talk contribs 20,262 bytes +749 Added links to references where possible. undo Tag: Visual edit

curprev 17:2717:27, 11 May 2024 ShelfSkewed talk contribs 19,513 bytes +33 →Motivation: dab link undo

curprev 12:1312:13, 16 October 2023 Cedar101 talk contribs m 19,480 bytes +18 →From first-order logic to PFL: {{math}} undo
curprev 10:4810:48, 16 October 2023 2a02:1812:110c:dc00:21e2:53de:fda1:1ef0 talk 19,462 bytes +16 No edit summary undo Tag: Disambiguation links added

curprev 12:3012:30, 8 June 2023 Onel5969 talk contribs m 19,446 bytes +17 clean up, typo(s) fixed: 300-2 → 300–2 (2) undo Tag: AWB

curprev 22:2222:22, 22 August 2022 Bernanke's Crossbow talk contribs 19,429 bytes −31 Undid revision 1106029012 by Bernanke's Crossbow (talk) undo Tag: Undo
curprev 22:2222:22, 22 August 2022 Bernanke's Crossbow talk contribs 19,460 bytes +31 →From first-order logic to PFL: Parens undo Tag: Reverted
curprev 22:2122:21, 22 August 2022 Bernanke's Crossbow talk contribs 19,429 bytes +9 →Axioms and semantics: Missing parens undo

curprev 01:3101:31, 8 February 2022 SpiralSource talk contribs 19,420 bytes +58 Adding short description: "Algebraization of first-order logic" (Shortdesc helper) undo

curprev 08:0808:08, 20 July 2021 Cedar101 talk contribs 19,362 bytes −40 →From first-order logic to PFL: {{ordered list}} undo
curprev 08:0708:07, 20 July 2021 Cedar101 talk contribs m 19,402 bytes −154 →Some useful results: − merge <math>s undo
curprev 07:5907:59, 20 July 2021 Cedar101 talk contribs 19,556 bytes +479 →Axioms and semantics: \operatorname{} undo

curprev 04:4104:41, 5 April 2021 174.28.17.46 talk 19,077 bytes +55 Update Project Euclid link in the References undo

curprev 17:4817:48, 1 April 2021 2a02:1812:1536:d00:5804:a688:9394:c991 talk 19,022 bytes +24 No edit summary undo

curprev 22:5622:56, 1 January 2021 R'n'B talk contribs m 18,998 bytes −6 Disambiguating links to Term (link changed to Term (logic)) using DisamAssist. undo

curprev 08:4608:46, 7 October 2020 Hellacioussatyr talk contribs 19,004 bytes +44 →Axioms and semantics: Moved LaTeX table to wiki table undo Tag: Visual edit

curprev 23:5323:53, 23 July 2020 1.157.201.169 talk 18,960 bytes −42 Fix Link undo

curprev 07:2007:20, 8 May 2020 Omnipaedista talk contribs 19,002 bytes +175 boldface per WP:R#PLA undo

curprev 20:4320:43, 7 May 2020 Omnipaedista talk contribs 18,827 bytes −87 already linked above undo

curprev 12:5412:54, 29 April 2020 JayBeeEll talk contribs m 18,914 bytes 0 replace piped redirect domain (mathematics) with domain of a function undo

curprev 20:4920:49, 27 April 2020 JayBeeEll talk contribs m 18,914 bytes 0 replace Range (mathematics) (a redirect to a disambig page) with Range of a function undo

curprev 22:4722:47, 20 April 2020 WikiCleanerBot talk contribs m 18,914 bytes 0 v2.02b - Bot T12 - WP:WCW project (Punctuation in link) undo Tag: WPCleaner

curprev 22:3722:37, 14 November 2018 Texvc2LaTeXBot talk contribs m 18,903 bytes +10 Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 04:5704:57, 19 January 2017 Cedar101 talk contribs m 18,893 bytes −101 →Axioms and semantics: \begin{array} \max undo

curprev 10:5810:58, 5 March 2016 Qwertyus talk contribs 18,994 bytes +19 Disambiguated: connective → Logical connective undo

curprev 22:5322:53, 20 August 2014 BD2412 talk contribs m 18,975 bytes +19 →Motivation: minor fixes, mostly disambig links using AWB undo

curprev 07:2807:28, 13 August 2014 AnomieBOT talk contribs m 18,956 bytes +17 Dating maintenance tags: {{Cn}} undo
curprev 07:0807:08, 13 August 2014 Jochen Burghardt talk contribs 18,939 bytes −11 →Motivation: make it sound more like a reason undo
curprev 06:5906:59, 13 August 2014 Jochen Burghardt talk contribs 18,950 bytes +6 →Motivation: cn undo

curprev 20:4920:49, 12 August 2014 Jochen Burghardt talk contribs 18,944 bytes +8 →top: dab undo

curprev 20:3920:39, 26 July 2014 80.168.164.167 talk 18,936 bytes +6 fmt undo

curprev 19:1619:16, 6 May 2014 Thenub314 talk contribs 18,930 bytes +21 →Bacon's work: fixing link undo
curprev 19:1519:15, 6 May 2014 Thenub314 talk contribs 18,909 bytes +21 →Axioms and semantics: correcting link undo
curprev 19:1119:11, 6 May 2014 Thenub314 talk contribs 18,888 bytes +21 →Motivation: updating link undo

curprev 12:0412:04, 5 May 2014 Yobot talk contribs m 18,867 bytes −7 WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 00:2800:28, 19 February 2013 Myasuda talk contribs m 18,874 bytes +1 →References: added missing diacritic undo

curprev 06:4806:48, 14 November 2012 AugPi talk contribs 18,873 bytes +248 →References: XL undo

curprev 01:4201:42, 15 October 2012 SchreiberBike talk contribs 18,625 bytes +21 Repairing links to disambiguation pages - You can help! - Conditional undo

curprev 13:2613:26, 10 June 2012 CarrieVS talk contribs 18,604 bytes −4 →Axioms and semantics: Repairing links to disambiguation pages undo
curprev 13:2513:25, 10 June 2012 CarrieVS talk contribs 18,608 bytes +19 →Axioms and semantics: Repairing links to disambiguation pages - You can help! undo

curprev 11:2411:24, 8 February 2012 SchreyP talk contribs 18,589 bytes +1 repair link to undecidable problem undo
curprev 09:3009:30, 8 February 2012 Woohookitty talk contribs m 18,588 bytes +19 WPCleaner (v1.10) Repaired link to disambiguation page - (You can help) - Undecidable undo

curprev 13:3513:35, 25 December 2011 Qetuth talk contribs m 18,569 bytes +20 →Axioms and semantics: fixed disambig link undo

curprev 02:4702:47, 12 December 2011 Nick Number talk contribs m 18,549 bytes +27 repaired link(s) to disambiguation page - (you can help) - Nand undo

curprev 19:2019:20, 4 July 2011 Myasuda talk contribs m 18,522 bytes +1 avoid redirect undo

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