Substitution (logic): Revision history

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 16:2516:25, 9 November 2024 Jochen Burghardt talk contribs 19,422 bytes +195 →First-order logic: moved from Unification_(computer_science)#Substitution to here undo

curprev 02:5002:50, 16 September 2024 Farkle Griffen talk contribs m 19,227 bytes −294 Removed incorrect source undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 05:0305:03, 11 September 2024 Farkle Griffen talk contribs 19,521 bytes −3 →Mathematics: Grammatical error induced by last edit undo Tag: Visual edit
curprev 05:0105:01, 11 September 2024 Farkle Griffen talk contribs 19,524 bytes −66 →Mathematics: Removed note that bound variables are quantified due to discussion in talk page undo Tag: Visual edit
curprev 04:4904:49, 11 September 2024 Farkle Griffen talk contribs 19,590 bytes +4,804 Undid revision 1244540252 by Jochen Burghardt (talk) "Contains errors" is not usually a reason to remove a whole section. See the discussion in the talk page. That said, I will do my best to fix the errors you mention undo Tag: Undo

curprev 18:2718:27, 7 September 2024 Jochen Burghardt talk contribs 14,786 bytes −4,804 contains several errors: "subst. of var.s for const.s" should be "subst. of terms for var.s" (see above); there are more binding mechanisms than quantif.; arg.s of a fct. *def.* are bound; univ. inst. requires quantif. formula to be true; in \sum_{i<k} a_{ik}, both i and k may well be free, to abbreviate (i<k ? a_{ik} : 0); we don't need a copy of the Leibniz law article everywhere undo Tags: Undo Reverted
curprev 04:4004:40, 7 September 2024 Farkle Griffen talk contribs m 19,590 bytes −1 No edit summary undo Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
curprev 04:3904:39, 7 September 2024 Farkle Griffen talk contribs m 19,591 bytes −1 typo undo Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source

curprev 18:5818:58, 22 July 2024 Cewbot talk contribs m 14,786 bytes 0 Fixing broken anchor: Incorrect capitalization/spaced section title #Basic Properties→Equality (mathematics)#Basic properties undo Tag: Reverted

curprev 17:4317:43, 5 June 2024 Jochen Burghardt talk contribs 14,786 bytes +66 →First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))" undo
curprev 17:2717:27, 5 June 2024 Jochen Burghardt talk contribs 14,720 bytes +12 Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7) undo Tag: Undo

curprev 18:1118:11, 4 June 2024 Caleb Stanford talk contribs 14,708 bytes −12 →First-order logic: fix per talk page undo Tags: Reverted 2017 wikitext editor

curprev 01:4701:47, 3 February 2024 2601:540:ca80:5fb0:cd47:bf28:77d6:aa7b talk 14,720 bytes −1 improve undo

curprev 02:3802:38, 1 January 2024 Ffffrr talk contribs 14,721 bytes +39 Adding local short description: "Concept in logic", overriding Wikidata description "concept in logic; syntactic transformation on formal expressions" undo Tag: Shortdesc helper

curprev 22:3422:34, 25 December 2023 Jochen Burghardt talk contribs 14,682 bytes −344 →First-order logic: rm confusing paragraph: 1st-order logic is not concerned with propositional formulas; "ground instance" has been explained above, anyway undo

curprev 21:2921:29, 24 December 2023 82.25.27.218 talk 15,026 bytes +150 No edit summary undo

curprev 09:3009:30, 26 October 2023 Jochen Burghardt talk contribs 14,876 bytes 0 →First-order logic: typo, cf. talk undo

curprev 22:5422:54, 25 October 2023 InternetArchiveBot talk contribs 14,876 bytes +180 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (AManWithNoPlan - 15897 undo

curprev 17:5817:58, 21 September 2023 Sdkb talk contribs m 14,696 bytes +26 Correcting section link formatting, general fixes undo Tag: AWB

curprev 20:4120:41, 5 May 2023 Caleb Stanford talk contribs 14,670 bytes −226 →See also: clean up MOS:SEEALSO undo Tag: 2017 wikitext editor
curprev 07:0207:02, 5 May 2023 Jochen Burghardt talk contribs 14,896 bytes −22 Undid revision 1153262961 by 161.81.115.230 (talk): not directly related (just one of the applications of substitutions), moving the link to String rewriting system undo Tag: Undo
curprev 06:3206:32, 5 May 2023 161.81.115.230 talk 14,918 bytes +22 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 09:1309:13, 14 March 2023 AnomieBOT talk contribs m 13,181 bytes +16 Dating maintenance tags: {{Merge from}} undo
curprev 08:5308:53, 14 March 2023 Jochen Burghardt talk contribs 13,165 bytes +107 merge from undo

curprev 10:3510:35, 26 February 2023 Jochen Burghardt talk contribs 13,058 bytes −2 →First-order logic: missed one ''' undo
curprev 10:3410:34, 26 February 2023 Jochen Burghardt talk contribs 13,060 bytes −28 per MOS:NOBOLD undo
curprev 07:2407:24, 26 February 2023 Omnipaedista talk contribs 13,088 bytes +17 see MOS:SECTIONORDER undo
curprev 07:2307:23, 26 February 2023 Omnipaedista talk contribs 13,071 bytes +2 No edit summary undo

curprev 11:0011:00, 30 November 2022 Citation bot talk contribs 13,069 bytes −4 Alter: pages. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 2416/3529 undo

curprev 20:2420:24, 9 July 2022 2a02:1812:110c:dc00:7802:97a2:9eb3:a3cf talk 13,073 bytes −61 No edit summary undo

curprev 04:3504:35, 11 May 2022 68.104.43.25 talk 13,134 bytes 0 Undid revision 1087223387 by 68.104.43.25 (talk) undo Tag: Undo
curprev 04:3104:31, 11 May 2022 68.104.43.25 talk 13,134 bytes 0 →Definition undo Tag: Reverted

curprev 15:4815:48, 17 March 2022 Caleb Stanford talk contribs 13,134 bytes −4 possibly inappropriate link undo Tag: 2017 wikitext editor

curprev 21:3021:30, 29 December 2021 Mgkrupa talk contribs m 13,138 bytes +23 Added {{Mathematical logic}} undo

curprev 19:2419:24, 18 December 2021 86.16.185.27 talk 13,115 bytes +5 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 08:3808:38, 2 June 2021 Jochen Burghardt talk contribs 13,110 bytes +324 Restored revision 1020702324 by GreenC bot (talk): Last version before test edits undo Tags: Twinkle Undo
curprev 06:4906:49, 2 June 2021 Callmesolis talk contribs 12,786 bytes +5 No edit summary undo Tags: Reverted 2017 wikitext editor

9 November 2024

16 September 2024

11 September 2024

7 September 2024

6 September 2024

22 July 2024

5 June 2024

4 June 2024

3 February 2024

1 January 2024

25 December 2023

24 December 2023

26 October 2023

25 October 2023

21 September 2023

5 May 2023

19 March 2023

14 March 2023

26 February 2023

30 November 2022

9 July 2022

11 May 2022

17 March 2022

29 December 2021

18 December 2021

2 June 2021