Recent changes

Jump to navigation Jump to search

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 03:46, 30 November 2021
   
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

29 November 2021

N    23:27  Henry Ernest Dudeney/Modern Puzzles/40 - Pickleminster to Quickville diffhist +1,090 Prime.mover talk contribs Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $40$ == ;Pickleminster to Quickville <onlyinclude> :''Two trains, $A$ and $B$, leave Pickleminster for Quickville at the same time as two trains, $C$ and $D$, leave Quickville for Pickleminster.'' :''$A$ passes $C$ $120$ miles from Pickleminster and $D$ $140$ miles from Pickleminster.'' :''$B$ passes $C$ $126$ miles from..."
     23:19  Book:Henry Ernest Dudeney/Modern Puzzles diffhist +9 Prime.mover talk contribs
     23:18  Henry Ernest Dudeney/Modern Puzzles/39 - The Two Trains diffhist +1,477 Prime.mover talk contribs
     22:06  Definition:Free Variable diffhist −120 TheoLaLeo talk contribs
N    22:06  Definition:Free Variable/Predicate Logic‎‎ 4 changes history +1,218 [TheoLaLeo‎ (4×)]
     
22:06 (cur | prev) 0 TheoLaLeo talk contribs
     
22:03 (cur | prev) −221 TheoLaLeo talk contribs Tag: Manual revert
     
22:03 (cur | prev) +221 TheoLaLeo talk contribs
N    
22:00 (cur | prev) +1,218 TheoLaLeo talk contribs Created page with "== Definition == <onlyinclude> In predicate logic, a '''free variable''' is a variable which has no '''bound occurrences''' in a WFF. </onlyinclude> == Also known as == A '''free variable''' is often referred to as an '''unknown''', particularly in mathematical contexts. In the field of logic, a '''free variable''' can als..."
     21:54  Definition:Existential Quantifier/Unique/Definition 1‎‎ 3 changes history +310 [Prime.mover‎ (3×)]
 m   
21:54 (cur | prev) +60 Prime.mover talk contribs
     
21:31 (cur | prev) +168 Prime.mover talk contribs
     
21:29 (cur | prev) +82 Prime.mover talk contribs
     21:51  Definition:Existential Quantifier/Unique‎‎ 5 changes history +358 [Prime.mover‎ (5×)]
 m   
21:51 (cur | prev) +1 Prime.mover talk contribs
     
21:37 (cur | prev) +217 Prime.mover talk contribs
     
21:26 (cur | prev) 0 Prime.mover talk contribs
     
21:25 (cur | prev) +139 Prime.mover talk contribs
 m   
21:18 (cur | prev) +1 Prime.mover talk contribs
N    21:47  Definition:Bound Variable (Predicate Logic)‎‎ 5 changes history +97 [Prime.mover‎; TheoLaLeo‎ (4×)]
     
21:47 (cur | prev) +42 Prime.mover talk contribs
     
21:32 (cur | prev) +45 TheoLaLeo talk contribs Tag: Reverted
     
21:31 (cur | prev) +114 TheoLaLeo talk contribs Tag: Reverted
     
21:29 (cur | prev) −60 TheoLaLeo talk contribs
N    
21:28 (cur | prev) +1,365 TheoLaLeo talk contribs Created page with "== Definition == <onlyinclude> In predicate logic, a '''bound variable''' is a variable which exists in a WFF only as '''bound occurrences'''. </onlyinclude> == Examples == {{:Bound Variable/Examples}} == Also known as == A '''bound variable''' is also popularly seen with the name '''dumm..."
     21:47  Definition:Bound Variable/Predicate Logic‎‎ 2 changes history −118 [Prime.mover‎ (2×)]
     
21:47 (cur | prev) +41 Prime.mover talk contribs
     
21:44 (cur | prev) −159 Prime.mover talk contribs we don't Tag: Manual revert
N    21:47  Category:Definitions/Bound Variables diffhist +67 Prime.mover talk contribs Created page with "{{DefinitionCategory|def = Bound Variable|Predicate Logic|Algebra}}"
     21:46  Category:Bound Variables diffhist −5 Prime.mover talk contribs
     21:46  Definition:Bound Variable‎‎ 4 changes history +134 [TheoLaLeo‎; Prime.mover‎ (3×)]
     
21:46 (cur | prev) +93 Prime.mover talk contribs
     
21:42 (cur | prev) +223 Prime.mover talk contribs
     
21:33 (cur | prev) −515 TheoLaLeo talk contribs
     
21:16 (cur | prev) +333 Prime.mover talk contribs
     21:43 Move log Prime.mover talk contribs moved page Definition:Bound Variable (Predicate Logic) to Definition:Bound Variable/Predicate Logic
     21:35  Equivalence of Definitions of Unique Existential Quantifier/Definition 1 iff Definition 2‎‎ 3 changes history +89 [Prime.mover‎ (3×)]
 m   
21:35 (cur | prev) +8 Prime.mover talk contribs
     
21:33 (cur | prev) +74 Prime.mover talk contribs
 m   
21:21 (cur | prev) +7 Prime.mover talk contribs
     21:35  Equivalence of Definitions of Unique Existential Quantifier/Definition 2 iff Definition 3‎‎ 3 changes history +93 [Prime.mover‎ (3×)]
 m   
21:35 (cur | prev) +8 Prime.mover talk contribs
     
21:33 (cur | prev) +74 Prime.mover talk contribs
     
21:23 (cur | prev) +11 Prime.mover talk contribs
     21:34  Equivalence of Definitions of Unique Existential Quantifier/Definition 1 iff Definition 3‎‎ 2 changes history +82 [Prime.mover‎ (2×)]
 m   
21:34 (cur | prev) +8 Prime.mover talk contribs
     
21:34 (cur | prev) +74 Prime.mover talk contribs
N    21:32  Category:Equivalence of Definitions of Unique Existential Quantifier diffhist +42 Prime.mover talk contribs Created page with "Category:Unique Existential Quantifier"
     21:32  Equivalence of Definitions of Unique Existential Quantifier‎‎ 2 changes history +125 [Prime.mover‎ (2×)]
     
21:32 (cur | prev) +73 Prime.mover talk contribs
     
21:24 (cur | prev) +52 Prime.mover talk contribs
     21:31  Definition:Existential Quantifier/Unique/Definition 3‎‎ 2 changes history +251 [Prime.mover‎ (2×)]
     
21:31 (cur | prev) +168 Prime.mover talk contribs
     
21:30 (cur | prev) +83 Prime.mover talk contribs
     21:31  Definition:Existential Quantifier/Unique/Definition 2‎‎ 2 changes history +251 [Prime.mover‎ (2×)]
 m   
21:31 (cur | prev) +168 Prime.mover talk contribs
     
21:30 (cur | prev) +83 Prime.mover talk contribs
N    21:27  Category:Unique Existential Quantifier diffhist +45 Prime.mover talk contribs Created page with "{{SubjectCategory}} Category:Quantifiers"
N    21:27  Category:Definitions/Unique Existential Quantifier diffhist +34 Prime.mover talk contribs Created page with "{{DefinitionCategory|Quantifiers}}"
     21:17  Bound Variable/Examples/Algebraic Example‎‎ 2 changes history +31 [TheoLaLeo‎; Prime.mover‎]
 m   
21:17 (cur | prev) −2 Prime.mover talk contribs
     
21:13 (cur | prev) +33 TheoLaLeo talk contribs
 m   21:12  Ore's Theorem/Historical Note diffhist +21 Prime.mover talk contribs