oldid |
date/time |
username |
edit summary
|
1158254283 |
2023-06-02T22:28:52Z |
Carchasm |
−[[Category:Logical consequence]]; −[[Category:Logical expressions]]; −[[Category:Propositions]]; +[[Category:Statements]]; +[[Category:Theories]] using [[WP:HC|HotCat]] - [[WP:DEFINING]], use most general categories, remove ones that are only applicable to some types of theorems
|
1158234695 |
2023-06-02T19:55:35Z |
Carchasm |
removed [[Category:Concepts in logic]] using [[WP:HC|HotCat]] category moved to main article per [[WP:SUBCAT]], most of the members of this category and its subcategories will not be "concepts in logic"
|
978869340 |
2020-09-17T12:03:49Z |
Jochen Burghardt |
removed [[Category:Mathematics]] using [[WP:HC|HotCat]]: since [[:Category:Mathematical theorems]] is distinguished from [[:Category:Theorems]], the latter is apparently not meant to be mathematics in all cases
|
953110291 |
2020-04-25T19:13:50Z |
Mike Peel |
Switching from Commons to Commons category
|
950552377 |
2020-04-12T17:44:34Z |
D.Lazard |
Theorem is fundamentally a mathematical concept
|
915387622 |
2019-09-12T23:33:25Z |
Allforrous |
Commons and Cat main templates.
|
543793577 |
2013-03-13T08:16:16Z |
Addbot |
[[User:Addbot|Bot:]] Migrating 33 interwiki links, now provided by [[Wikipedia:Wikidata|Wikidata]] on [[d:q7036026]]
|
532195858 |
2013-01-09T15:56:31Z |
Yamaha5 |
|
493918530 |
2012-05-23T01:29:09Z |
Alan Liefting |
rm {{CategoryTOC}}. not needed.
|
478545317 |
2012-02-24T03:27:49Z |
Gregbard |
description
|
476616900 |
2012-02-13T09:09:17Z |
Gregbard |
added [[Category:Propositions]] using [[WP:HC|HotCat]]
|
473116364 |
2012-01-25T06:44:34Z |
Gregbard |
added [[Category:Logical expressions]] using [[WP:HC|HotCat]]
|
446789601 |
2011-08-26T08:07:27Z |
TXiKiBoT |
r2.4.6) (robot Adding: [[kk:Санат:Теоремалар]]
|
445289911 |
2011-08-17T07:15:26Z |
TXiKiBoT |
r2.4.6) (robot Adding: [[ast:Categoría:Teoremes]]
|
425360440 |
2011-04-22T16:37:21Z |
VolkovBot |
r2.5.1) (robot Adding: [[ro:Categorie:Teoreme]]
|
419968787 |
2011-03-21T13:38:29Z |
FoxBot |
robot Adding: [[ka:კატეგორია:თეორემები]]
|
415591814 |
2011-02-23T22:48:44Z |
TXiKiBoT |
r2.4.6) (robot Adding: [[eu:Kategoria:Teoremak]]
|
415293672 |
2011-02-22T09:35:33Z |
TXiKiBoT |
r2.4.6) (robot Adding: [[az:Kateqoriya:Teoremlər]]
|
414963928 |
2011-02-20T15:57:22Z |
TXiKiBoT |
r2.4.6) (robot Adding: [[bs:Kategorija:Teoremi]]
|
413459495 |
2011-02-12T09:52:52Z |
TXiKiBoT |
robot Adding: [[gl:Categoría:Teoremas]], [[nn:Kategori:Teorem]]
|
366918057 |
2010-06-09T02:34:05Z |
Gregbard |
Adding category [[:Category:Logical consequence]] (using [[WP:HOTCAT|HotCat]])
|
366312330 |
2010-06-06T04:54:47Z |
Trovatore |
most theorems are not logical truths
|
366287379 |
2010-06-06T01:08:27Z |
Gregbard |
Adding category [[:Category:Logical truth]] (using [[WP:HOTCAT|HotCat]])
|
364809362 |
2010-05-29T08:17:25Z |
Cydebot |
Robot - Removing category Strings of symbols per [[WP:CFD|CFD]] at [[Wikipedia:Categories for discussion/Log/2010 April 27]].
|
358083858 |
2010-04-24T21:29:08Z |
Gregbard |
Adding category [[:Category:Strings of symbols]] (using [[WP:HOTCAT|HotCat]])
|
356682604 |
2010-04-17T23:25:14Z |
Gregbard |
cat
|
353447235 |
2010-04-01T23:45:05Z |
Gregbard |
cats
|
340171406 |
2010-01-26T18:04:04Z |
Kookyunii |
|
324204749 |
2009-11-06T02:39:06Z |
Gregbard |
add [[:Category:Concepts]] consistent with [[User:Gregbard/Concepts and theories]] using [[Project:AutoWikiBrowser|AWB]]
|
313048243 |
2009-09-10T18:42:27Z |
Maksim-bot |
robot Adding: [[eo:Kategorio:Teoremoj]]
|
310157939 |
2009-08-26T13:10:59Z |
DSisyphBot |
robot Adding: [[be:Катэгорыя:Тэарэмы]]
|
303785167 |
2009-07-23T18:38:05Z |
Adlerbot |
robot Adding: [[mn:Ангилал:Теоремууд]]
|
287788014 |
2009-05-04T05:21:15Z |
SieBot |
robot Adding: [[bg:Категория:Теореми]]
|
281067575 |
2009-04-01T12:49:47Z |
JAnDbot |
robot Adding: [[km:ចំនាត់ថ្នាក់ក្រុម:ទ្រឹស្តីបទ]]
|
279984680 |
2009-03-27T10:45:58Z |
Ayda D |
|
275818356 |
2009-03-08T15:13:09Z |
Zack wadghiri |
|
274863495 |
2009-03-04T05:57:01Z |
Gregbard |
abstract objects
|
250331842 |
2008-11-07T23:04:40Z |
Treisijs |
Adding [[lv:Kategorija:Teorēmas]]
|
244806479 |
2008-10-12T17:22:09Z |
EugeneZelenko |
+ mk:
|
210319342 |
2008-05-05T13:27:54Z |
Ideal gas equation |
+zh
|
209043476 |
2008-04-29T17:53:05Z |
BotMultichill |
Adding [[Template:Commons_cat|commons cat]] link to [[Commons:Category:Theorems]]
|
184932300 |
2008-01-17T07:52:49Z |
Borgx |
+id
|
153791814 |
2007-08-26T19:01:58Z |
Arthena |
removing category mathematics, this has become more general
|
149936718 |
2007-08-08T08:15:35Z |
Red Winged Duck |
+ be-x-old:
|
142640607 |
2007-07-05T10:49:21Z |
Gregbard |
|
142570936 |
2007-07-05T00:55:11Z |
Gregbard |
|
139541449 |
2007-06-20T23:44:20Z |
Eliyak |
[[Category:Mathematics]] better than [[Category:Science]]
|
139540645 |
2007-06-20T23:39:20Z |
Eliyak |
[[Category:Knowledge]]
|
54451424 |
2006-05-22T01:39:45Z |
SashatoBot |
robot Adding: [[sr:Категорија:Теореме]]
|
51499972 |
2006-05-04T08:56:20Z |
PuzzletChung |
robot Adding: ru, tr Removing: de
|
48130416 |
2006-04-12T16:02:22Z |
Jpbowen |
Added link
|
47180944 |
2006-04-06T00:57:38Z |
Mathbot |
Removed {{catbar}}, per [[Wikipedia:Templates_for_deletion/Log/2006_March_22#Template:Catbar]]
|
41146949 |
2006-02-25T09:32:01Z |
Yuyudevil |
+ko
|
34704314 |
2006-01-11T03:13:49Z |
Go for it! |
[[WP:AWB|AWB Assisted]] add catbar
|
32749741 |
2005-12-26T08:09:25Z |
Tosha |
|
30739791 |
2005-12-09T19:02:18Z |
Oleg Alexandrov |
being in [[Category:Science]] should be enough. [[Category:Mathematical theorems]] is already in [[Category:Mathematics]]
|
28060592 |
2005-11-11T21:58:41Z |
Lethe |
remove {{inuse}}; it's been several days
|
27905548 |
2005-11-10T08:35:43Z |
Karol Langner |
cat update
|
27905397 |
2005-11-10T08:33:02Z |
Karol Langner |
cat update
|
27506044 |
2005-11-06T05:15:52Z |
BeteNoir |
Marked as "in use"
|
27505338 |
2005-11-06T05:00:49Z |
BeteNoir |
Expanded categorization
|
25423193 |
2005-10-13T10:24:54Z |
NTBot~enwiki |
robot Adding: es
|
24878085 |
2005-10-06T07:04:45Z |
YurikBot |
robot Adding: ca, de
|
22149063 |
2005-08-30T03:26:52Z |
EugeneZelenko |
+ uk:
|
20572102 |
2005-08-08T21:38:34Z |
YurikBot |
robot Removing: ko
|
19436980 |
2005-07-23T11:57:28Z |
68.110.171.226 |
~ender - distinction between the two via wiki links... maybe should be explicit?
|
16510085 |
2005-06-14T13:57:51Z |
Lzz |
+ja
|
15173530 |
2005-05-18T00:16:23Z |
Nuno Tavares |
pt:
|
13858536 |
2005-05-15T02:32:58Z |
209.90.162.59 |
io
|
13723362 |
2005-04-30T17:28:45Z |
Ancheta Wis |
CategoryTOC for aid in navigating
|
13036846 |
2005-03-27T20:26:04Z |
203.151.140.114 |
|
11582475 |
2005-02-08T01:36:22Z |
218.236.244.238 |
|
10051024 |
2004-09-19T02:28:50Z |
Tosha |
ru
|
5979657 |
2004-05-31T11:18:07Z |
Dominus |
cat
|