Universal instantiation: Revision history

25 January 2024

• curprev 10:1210:12, 25 January 2024‎ Jochen Burghardt talk contribs‎ 3,472 bytes 0‎ redo substitution away from a, now using t ("term") everywhere undo
• curprev 10:1010:10, 25 January 2024‎ Jochen Burghardt talk contribs‎ 3,472 bytes −2‎ Undid revision 1198755872 by Oneequalsequalsone (talk): didn't substitute all occurrences; better use a latin letter undo Tag: Undo
• curprev 00:1500:15, 25 January 2024‎ Oneequalsequalsone talk contribs‎ 3,474 bytes +2‎ a to αあるふぁ undo Tags: Reverted Visual edit

15 January 2024

• curprev 18:5918:59, 15 January 2024‎ Jochen Burghardt talk contribs‎ 3,472 bytes −53‎ →‎See also: linked above undo
• curprev 17:1017:10, 15 January 2024‎ Я сошла с ума talk contribs‎ 3,525 bytes +59‎ Adding short description: "Rule of inference in predicate logic" undo Tag: Shortdesc helper

16 June 2022

• curprev 17:5017:50, 16 June 2022‎ AnomieBOT talk contribs‎ m 3,466 bytes +30‎ Dating maintenance tags: {{Cn}} undo
• curprev 17:3017:30, 16 June 2022‎ Jochen Burghardt talk contribs‎ 3,436 bytes −104‎ →‎top: cn; rm redundant "field" link (both redirect to first-order logic); rm nonsensical natural-language statement, for now undo
• curprev 15:2815:28, 16 June 2022‎ Orenburg1 talk contribs‎ m 3,540 bytes +1‎ sp undo

15 June 2022

• curprev 13:2313:23, 15 June 2022‎ Jochen Burghardt talk contribs‎ 3,539 bytes +29‎ →‎top: implement SamanthaNguyen's intention undo
• curprev 13:2113:21, 15 June 2022‎ Jochen Burghardt talk contribs‎ 3,510 bytes −28‎ introduces errors undo Tag: Undo

13 June 2022

• curprev 20:2020:20, 13 June 2022‎ SamanthaNguyen talk contribs‎ 3,538 bytes −1‎ and... remove extra comma undo Tag: 2017 wikitext editor
• curprev 20:0620:06, 13 June 2022‎ SamanthaNguyen talk contribs‎ 3,539 bytes −3‎ fix typo from prev edit undo Tags: Reverted 2017 wikitext editor
• curprev 19:3719:37, 13 June 2022‎ SamanthaNguyen talk contribs‎ 3,542 bytes +31‎ use math tag undo Tags: Reverted 2017 wikitext editor

8 June 2022

• curprev 22:4622:46, 8 June 2022‎ SamanthaNguyen talk contribs‎ 3,511 bytes +383‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

24 March 2022

• curprev 10:3810:38, 24 March 2022‎ Sadke4 talk contribs‎ m 3,128 bytes +7‎ Clarity undo

1 June 2021

• curprev 23:0923:09, 1 June 2021‎ SdkbBot talk contribs‎ m 3,121 bytes −1‎ →‎top: removed erroneous space undo Tag: AWB

29 January 2021

• curprev 12:3312:33, 29 January 2021‎ 86.122.28.167 talk‎ 3,122 bytes +24‎ No edit summary undo

8 December 2020

• curprev 09:2609:26, 8 December 2020‎ Jochen Burghardt talk contribs‎ 3,098 bytes −11‎ →‎top: not sure that the substitution notation is less confusing; but if it is used, it should be consistent with the notation at substitution (logic); meaning of "A{x↦a}" needn't be explained a 2nd time undo
• curprev 06:1606:16, 8 December 2020‎ Thorimur talk contribs‎ 3,109 bytes −6‎ The notation A(x) promises to confuse the reader when using it in tandem with the substitution notation (a/x). Technically, if we were to use A(x) to denote a formula with a free variable x, the substitution of a for x would be written as A(x)(a/x), since A(x) produces a formula that includes a free variable x, and (a/x) substitutes it. Or, we can simply take A to be a formula that may or may not involve a free x, and apply the substitution to it. I think that's less confusing! undo

1 April 2020

• curprev 14:5414:54, 1 April 2020‎ Citation bot talk contribs‎ 3,115 bytes −95‎ Add: oclc. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

9 January 2020

• curprev 19:2519:25, 9 January 2020‎ Jochen Burghardt talk contribs‎ 3,210 bytes +27‎ →‎top: 'axiom' should be 'axiom scheme', i.e. one axiom per formula A and term a undo
• curprev 16:3316:33, 9 January 2020‎ 178.83.159.212 talk‎ 3,183 bytes +32‎ Added Existential instantiation in see also undo Tag: Visual edit

14 January 2019

• curprev 21:2521:25, 14 January 2019‎ Guy Macon talk contribs‎ 3,151 bytes −19‎ Spamming templates into dozens of articles. Undid revision 877937170 by MisterCake (talk) undo Tag: Undo

11 January 2019

• curprev 21:2821:28, 11 January 2019‎ MisterCake talk contribs‎ 3,170 bytes +19‎ →‎References undo

20 October 2018

• curprev 21:4221:42, 20 October 2018‎ Michael Hardy talk contribs‎ 3,151 bytes +12‎ →‎Quine undo
• curprev 21:4121:41, 20 October 2018‎ Michael Hardy talk contribs‎ 3,139 bytes +52‎ →‎Quine undo

30 August 2018

• curprev 12:2112:21, 30 August 2018‎ RussBot talk contribs‎ m 3,087 bytes +8‎ Robot: fix links to disambiguation page Validity undo

5 June 2018

• curprev 21:1421:14, 5 June 2018‎ Jochen Burghardt talk contribs‎ 3,079 bytes +25‎ →‎top: wikilink undo
• curprev 02:2502:25, 5 June 2018‎ CBM talk contribs‎ m 3,054 bytes −12‎ "mass" is OK undo

4 June 2018

• curprev 20:4720:47, 4 June 2018‎ Rich Farmbrough talk contribs‎ m 3,066 bytes +9‎ →‎Quine: clean up, replaced: Cambridge, Mass → Cambridge, Massachusetts using AWB undo

28 April 2018

• curprev 18:2618:26, 28 April 2018‎ Omnipaedista talk contribs‎ 3,057 bytes +40‎ as per MOS:CAPS undo

16 August 2017

• curprev 14:3314:33, 16 August 2017‎ 79.205.95.29 talk‎ 3,017 bytes +9‎ Small but important point: substitution in formulas doesn't substitute captured variables. undo

20 September 2016

• curprev 20:1020:10, 20 September 2016‎ RJGray talk contribs‎ 3,008 bytes +79‎ →‎top: Added definition of instance to support redirect: Instance (predicate logic) undo
• curprev 19:5319:53, 20 September 2016‎ RJGray talk contribs‎ m 2,929 bytes −1‎ →‎Quine: Deleted extra ' undo

6 June 2016

• curprev 19:3719:37, 6 June 2016‎ Dcirovic talk contribs‎ m 2,930 bytes +48‎ →‎top: refs using AWB undo

1 June 2016

• curprev 16:4716:47, 1 June 2016‎ GrahamHardy talk contribs‎ m 2,882 bytes −38‎ - defsort undo

22 April 2016

• curprev 20:4920:49, 22 April 2016‎ ClarCharr talk contribs‎ m 2,920 bytes −2‎ Consistency with Universal generalization page undo

14 October 2015

• curprev 15:0915:09, 14 October 2015‎ KathieHarine talk contribs‎ 2,922 bytes +36‎ No edit summary undo Tag: Visual edit

7 December 2014

• curprev 21:3721:37, 7 December 2014‎ Alejandrocaro35 talk contribs‎ 2,886 bytes +2‎ No edit summary undo

2 December 2014

• curprev 07:4307:43, 2 December 2014‎ Jochen Burghardt talk contribs‎ 2,884 bytes −24‎ Undid revision 636230705 by 186.55.14.216 (talk): introduced redlink undo

1 December 2014

• curprev 22:2722:27, 1 December 2014‎ 186.55.14.216 talk‎ 2,908 bytes +24‎ →‎See also undo

11 November 2014

• curprev 12:4012:40, 11 November 2014‎ 101.167.18.166 talk‎ 2,884 bytes +31‎ No edit summary undo

6 November 2014

• curprev 20:5520:55, 6 November 2014‎ AnomieBOT talk contribs‎ m 2,853 bytes +19‎ Dating maintenance tags: {{Page needed}} undo
• curprev 20:3420:34, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,834 bytes +31‎ →‎Quine: fixed formula syntax; guessed targeted section of Reference wikilink; suggest to formalize "is" to "=" to avoid confusion with "∈" (as is "Sokrates is a human") undo
• curprev 20:1920:19, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,803 bytes +15‎ →‎top undo
• curprev 19:5819:58, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,788 bytes +37‎ →‎Quine: wikilink undo
• curprev 19:4819:48, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,751 bytes +24‎ →‎top: fixing bib.data from google isbn search undo
• curprev 19:3219:32, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,727 bytes +98‎ →‎top: guess bib.data undo
• curprev 13:2413:24, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,629 bytes −5‎ →‎Quine undo
• curprev 13:2313:23, 6 November 2014‎ Jochen Burghardt talk contribs‎ 2,634 bytes +250‎ →‎Quine: guessed full bib.data from google search undo