Recent changes
Jump to navigation
Jump to search
Track the most recent changes to the wiki on this page.
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 | ||||