Related changes

9 July 2025

• diffhist Binary relation 16:57 +448 AnomieBOT talk contribs (Rescuing orphaned refs ("gs" from rev 1299645176; "Schroder.1895" from rev 1299645176; "Lewis.1918" from rev 1299645176))
• diffhist Binary relation 16:29 −39 D.Lazard talk contribs (Reverted 1 edit by Villaida (talk): Duplicate) Tags: Twinkle Undo
• diffhist Binary relation 16:28 +39 Villaida talk contribs (fixed ref list error) Tag: Reverted
• diffhist Binary relation 16:27 −10 D.Lazard talk contribs (→Notes: + {{notelist}})
• diffhist Binary relation 16:25 −16 D.Lazard talk contribs (→Definition: {{efn}})
• diffhist Binary relation 16:16 −1,118 D.Lazard talk contribs (shortening the lead (The calculus of relations is too specialized and too technical for the lead))
• diffhist Binary relation 15:59 +37 D.Lazard talk contribs (→top: ce)
• diffhist Binary relation 15:41 −1,606 D.Lazard talk contribs (Reverted 1 edit by Dragomang87 (talk): The lead is already too long. The lead must not use terms such as "symmetric relation" without definition) Tags: Twinkle Undo
• diffhist Binary relation 15:04 +1,606 Dragomang87 talk contribs (Improved text, clarity and separation of concepts: separating prime from integers is a bad way of creating a non-homogeneous relation because the page for the divide relation is indeed homogeneous, also the definition as subset and element of power set was mixed with the definition of homogeneous, while the power-set related operations where on a separate paragraphs) Tag: Reverted
• diffhist List of fallacies 15:00 +330 Squatch347 talk contribs (→Improper premise: Updating circular ref per talk by adding source and updating eg.) Tag: 2017 wikitext editor
• diffhist Partial equivalence relation 14:24 +52 Jochen Burghardt talk contribs (→Properties and applications: also mention quasi-refl.)
• diffhist Partial equivalence relation 14:17 +54 Jochen Burghardt talk contribs (→Properties and applications: add "<math>R</math> is " for all items)
• diffhist m Structure (mathematical logic) 04:04 +232 Remyw talk contribs (Add citation for the application of structures in database theory.) Tag: Visual edit
• diffhist Idempotence 04:01 +277 Arutoria talk contribs (→Examples: citation) Tag: Visual edit
• diffhist Structure (mathematical logic) 03:47 +1 Remyw talk contribs (Correct the definition of strong homomorphisms. The previous definition requires the homomorphism to be surjective, which is not necessary. See discussion for details.) Tag: Visual edit
• diffhist Sequent 01:46 +12 I love yourwiki talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit Newcomer task Suggested: add links
• diffhist Contingency (philosophy) 00:14 +2 2600:1005:a122:5c9a:b33a:bc76:c2b9:8bf8 talk Tags: Mobile edit Mobile web edit

8 July 2025

• diffhist Proposition 19:40 +5 Fgnievinski talk contribs (→top)
• diffhist A priori and a posteriori 15:49 +6 Fgnievinski talk contribs (WAW) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Organon 15:46 −11 Fgnievinski talk contribs (clarify title ambiguity) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Logic gate 12:03 −74 MathXplore talk contribs (Reverted edit by 46.32.154.33 (talk) to last version by Coopman86) Tag: Rollback
• diffhist Inductive reasoning 08:59 −7 Jochen Burghardt talk contribs (Undid revision 1299332834 by Charlie Fritzgerald IV (talk): redundant) Tag: Undo
• diffhist Logic gate 06:45 +74 46.32.154.33 talk (→External links) Tag: Reverted
• diffhist m Expert 00:49 +443 Savagenerd talk contribs (add citation) Tags: Visual edit Newcomer task Newcomer task: references

7 July 2025

• diffhist Type theory 22:43 −33 Thcans talk contribs (→Applications: More than enough content already available!) Tags: Visual edit Newcomer task Newcomer task: expand
• diffhist Set (mathematics) 21:00 +3 D.Lazard talk contribs (→Algebra of subsets: "The set" refers to U, not to any subset)
• diffhist m Inductive reasoning 19:50 +7 Charlie Fritzgerald IV talk contribs (First paragraph) Tag: Reverted
• diffhist Vagueness 16:25 +26 Tassedethe talk contribs (→As a property of objects)
• diffhist Computer science 14:38 −8 Belbury talk contribs (→top: motion capture image not very relevant to AI)
• diffhist Computer science 14:25 0 Belbury talk contribs (Reverted good faith edits by Shriman0 (talk): Lowercase per article title, rest of article text) Tags: Twinkle Undo
• diffhist Computer science 13:31 0 Shriman0 talk contribs (Simple typo with a capital letter) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Fuzzy logic 13:26 +27 Frap talk contribs (→Fuzzy logic operators)
• diffhist Symbol (formal) 10:50 −8 Yelps talk contribs (→words modeled as formal symbols: Fixed MOS violation) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Set (mathematics) 10:17 +8 Jochen Burghardt talk contribs (Undid revision 1299255997 by D.Lazard (talk): agree with Ifoundamistake75475: A \Delta A = (A \ A) \cup (A \ A) = {} \cup {} = {}, i.e. the additive inverse, while A \Delta A' = (A \ A') \cup (A' \ A) = A \cup A' = U, when A' denotes the absolute complement) Tag: Undo
• diffhist Set (mathematics) 09:28 −8 D.Lazard talk contribs (Reverted 1 edit by Ifoundamistake75475 (talk): Was corect) Tags: Twinkle Undo Reverted
• diffhist Set (mathematics) 06:39 +8 Ifoundamistake75475 talk contribs (→Algebra of subsets: I believe I found a mistake. In the boolean ring that is the powerset of a given set, when you are using the additive operation (symmetric difference), the additive inverse (a number x such that a+x=0 for all a) is not its complement, as by applying symmetric difference (any elements contained in two sets but not both), you can see that the complement (all elements not a part of A is the complement of A) when added to a set results in simply the union (all elements a p...) Tags: Reverted Mobile edit Mobile web edit
• diffhist Deductive reasoning 05:33 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:33 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:32 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:29 +58 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:28 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:25 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:25 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:25 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:24 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:24 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:24 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:23 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:23 +15 Lindsay658 talk contribs (→See also)
• diffhist Deductive reasoning 05:22 +15 Lindsay658 talk contribs (→See also)