For 155.101.224.65
talk
block log
logs
filter log
9 July 2011
- 14:54 14:54, 9 July 2011 diff hist −328 Talk:William McCune No edit summary Tag: talk page blanking
- 14:51 14:51, 9 July 2011 diff hist −91 Talk:William McCune →Death reference?
- 14:43 14:43, 9 July 2011 diff hist +118 Talk:William McCune →Death reference?: new section
16 March 2011
- 14:57 14:57, 16 March 2011 diff hist +144 Talk:A-normal form →Bad reference link?: new section
16 February 2011
- 20:39 20:39, 16 February 2011 diff hist +616 Talk:Axiomatic system →Consistancy
26 June 2009
- 17:13 17:13, 26 June 2009 diff hist +466 Talk:Braille →Braille physical diagram
- 14:15 14:15, 26 June 2009 diff hist +402 Braille →Learning
- 13:56 13:56, 26 June 2009 diff hist +671 Talk:Braille →Capitalization
25 June 2009
- 22:08 22:08, 25 June 2009 diff hist +372 Talk:Braille →Capitalization
- 22:01 22:01, 25 June 2009 diff hist +1,142 Talk:Braille →Braille physical diagram
17 June 2009
- 21:33 21:33, 17 June 2009 diff hist +319 Talk:Role-based access control No edit summary
- 21:31 21:31, 17 June 2009 diff hist +821 Talk:Role-based access control →Standard terminology and diagrams?: new section
20 May 2009
- 20:38 20:38, 20 May 2009 diff hist +346 Talk:Automated theorem proving →deontic theorem proving?: new section
9 February 2009
- 17:45 17:45, 9 February 2009 diff hist +89 Talk:Black Saturday bushfires →High-use of CFA website notification
27 October 2008
- 16:42 16:42, 27 October 2008 diff hist +30 Modus ponens →Justification via truth table
- 16:39 16:39, 27 October 2008 diff hist +278 Talk:Modus ponens →Truth Tables
8 September 2008
- 15:39 15:39, 8 September 2008 diff hist +57 Condensed detachment →Advantages
2 September 2008
- 13:50 13:50, 2 September 2008 diff hist +210 Talk:Balanced ternary →LeRoy Eide's algorithm
- 13:47 13:47, 2 September 2008 diff hist +2 Talk:Balanced ternary →LeRoy Eide's algorithm: Updated link (Company changed from .dk to .com)
29 August 2008
- 17:22 17:22, 29 August 2008 diff hist +30 Balanced ternary →Computation: Page history has bounced between both binary and ternary here, it has advantages over both.
- 17:03 17:03, 29 August 2008 diff hist +5 Condensed detachment →References: Consistancy of order of elements in a reference.
- 17:01 17:01, 29 August 2008 diff hist +12 Condensed detachment →Informal description: Computer system vs. Logic System
- 16:56 16:56, 29 August 2008 diff hist +684 Condensed detachment Additions.
- 15:27 15:27, 29 August 2008 diff hist +328 Condensed detachment →Informal description: Cleanup, add a source, fix picky "D-completeness" point
- 15:16 15:16, 29 August 2008 diff hist +112 Condensed detachment →References
14 August 2008
- 19:38 19:38, 14 August 2008 diff hist −11 Association for Automated Reasoning →External links: Corrected obsolete link to point to AAR's current webpage.
- 19:27 19:27, 14 August 2008 diff hist +84 Automated theorem proving →Important people: Stephan Schulz for E theorem prover. (Since other authors of theorem provers are listed.)
- 14:32 14:32, 14 August 2008 diff hist −40 Automated theorem proving →Proprietary software including Share-alike Non-commercial: Removed link to website that displays ONLY a one line welcome message and no further links.
- 14:30 14:30, 14 August 2008 diff hist +145 Automated theorem proving →Important people: Add Wen-Tsun Wu, Herbrand award winner, work in geometric theorem proving.
- 14:22 14:22, 14 August 2008 diff hist +11 Herbrand Award →External links: Corrected link that no longer mentions the award, to the award's page.
- 14:11 14:11, 14 August 2008 diff hist +166 Automated theorem proving →Important people: Added Dolph Ulrich.
- 14:05 14:05, 14 August 2008 diff hist −109 Automated theorem proving →Important people: Having a PHD doesn't make one important. Co-author of an obscure theorem who's google hits point are only in items saying that person is important doesn't help.
- 14:00 14:00, 14 August 2008 diff hist −20 Automated theorem proving →Important people: If they are important, you would expect that there is SOME reason to think so.
21 July 2008
- 19:33 19:33, 21 July 2008 diff hist −466 Talk:Imperial units Withdrawn. (Confusion of US customary units vs. Imperial Units)
- 18:56 18:56, 21 July 2008 diff hist +461 Talk:Imperial units I think the article confuses the two legal US foot standards.
27 June 2008
- 15:23 15:23, 27 June 2008 diff hist +223 Wikipedia talk:WikiProject Logic/Standards for notation →Terms for the semantics
- 14:59 14:59, 27 June 2008 diff hist +230 Wikipedia talk:WikiProject Logic/Standards for notation →implication symbol
9 June 2008
- 18:28 18:28, 9 June 2008 diff hist +43 Automated theorem proving →Important people: Since it has a page on wikipedia, we may as well link to it.
6 May 2008
- 15:40 15:40, 6 May 2008 diff hist +133 Condensed detachment →Informal description: Cleaned up notation, fixed wording.
29 April 2008
- 14:48 14:48, 29 April 2008 diff hist +68 Frederic Fitch →Publications
- 14:46 14:46, 29 April 2008 diff hist +32 Frederic Fitch →Bibliography
7 April 2008
- 16:12 16:12, 7 April 2008 diff hist −94 Three-valued logic →See also: Removed Aymara language. See talk page.
- 16:10 16:10, 7 April 2008 diff hist +571 Talk:Three-valued logic →Removed reference to Aymara language from "See also": new section
- 16:03 16:03, 7 April 2008 diff hist 0 Talk:Ternary computer →Original Research?: typo
3 April 2008
- 19:56 19:56, 3 April 2008 diff hist +22 Ternary computer →See also: Alpabetise, add balanced ternary.
- 19:54 19:54, 3 April 2008 diff hist +256 Talk:Ternary computer →Original Research?: No, In fact, a pointer to an appropriate book was ALREADY in the article.
- 19:50 19:50, 3 April 2008 diff hist −37 Ternary computer →Balanced ternary: Not original research. Documentation requested is already given on the balanced ternary page, which this section already points at.
- 19:49 19:49, 3 April 2008 diff hist +692 Talk:Ternary computer →Original Research?: Only if you ignore the literature.
27 March 2008
- 17:17 17:17, 27 March 2008 diff hist +478 Talk:Balanced ternary →LeRoy Eide's algorithm: link to description
- 17:01 17:01, 27 March 2008 diff hist −111 Condensed detachment →References: Removed reference that doesn't even mention the topic
 | This is the
contributions page for an IP user, identified by the user's
IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may
create an account or log in to avoid future confusion with other IP users.
Registering also hides your IP address. |
For 155.101.224.65
talk
block log
logs
filter log
9 July 2011
- 14:54 14:54, 9 July 2011 diff hist −328 Talk:William McCune No edit summary Tag: talk page blanking
- 14:51 14:51, 9 July 2011 diff hist −91 Talk:William McCune →Death reference?
- 14:43 14:43, 9 July 2011 diff hist +118 Talk:William McCune →Death reference?: new section
16 March 2011
- 14:57 14:57, 16 March 2011 diff hist +144 Talk:A-normal form →Bad reference link?: new section
16 February 2011
- 20:39 20:39, 16 February 2011 diff hist +616 Talk:Axiomatic system →Consistancy
26 June 2009
- 17:13 17:13, 26 June 2009 diff hist +466 Talk:Braille →Braille physical diagram
- 14:15 14:15, 26 June 2009 diff hist +402 Braille →Learning
- 13:56 13:56, 26 June 2009 diff hist +671 Talk:Braille →Capitalization
25 June 2009
- 22:08 22:08, 25 June 2009 diff hist +372 Talk:Braille →Capitalization
- 22:01 22:01, 25 June 2009 diff hist +1,142 Talk:Braille →Braille physical diagram
17 June 2009
- 21:33 21:33, 17 June 2009 diff hist +319 Talk:Role-based access control No edit summary
- 21:31 21:31, 17 June 2009 diff hist +821 Talk:Role-based access control →Standard terminology and diagrams?: new section
20 May 2009
- 20:38 20:38, 20 May 2009 diff hist +346 Talk:Automated theorem proving →deontic theorem proving?: new section
9 February 2009
- 17:45 17:45, 9 February 2009 diff hist +89 Talk:Black Saturday bushfires →High-use of CFA website notification
27 October 2008
- 16:42 16:42, 27 October 2008 diff hist +30 Modus ponens →Justification via truth table
- 16:39 16:39, 27 October 2008 diff hist +278 Talk:Modus ponens →Truth Tables
8 September 2008
- 15:39 15:39, 8 September 2008 diff hist +57 Condensed detachment →Advantages
2 September 2008
- 13:50 13:50, 2 September 2008 diff hist +210 Talk:Balanced ternary →LeRoy Eide's algorithm
- 13:47 13:47, 2 September 2008 diff hist +2 Talk:Balanced ternary →LeRoy Eide's algorithm: Updated link (Company changed from .dk to .com)
29 August 2008
- 17:22 17:22, 29 August 2008 diff hist +30 Balanced ternary →Computation: Page history has bounced between both binary and ternary here, it has advantages over both.
- 17:03 17:03, 29 August 2008 diff hist +5 Condensed detachment →References: Consistancy of order of elements in a reference.
- 17:01 17:01, 29 August 2008 diff hist +12 Condensed detachment →Informal description: Computer system vs. Logic System
- 16:56 16:56, 29 August 2008 diff hist +684 Condensed detachment Additions.
- 15:27 15:27, 29 August 2008 diff hist +328 Condensed detachment →Informal description: Cleanup, add a source, fix picky "D-completeness" point
- 15:16 15:16, 29 August 2008 diff hist +112 Condensed detachment →References
14 August 2008
- 19:38 19:38, 14 August 2008 diff hist −11 Association for Automated Reasoning →External links: Corrected obsolete link to point to AAR's current webpage.
- 19:27 19:27, 14 August 2008 diff hist +84 Automated theorem proving →Important people: Stephan Schulz for E theorem prover. (Since other authors of theorem provers are listed.)
- 14:32 14:32, 14 August 2008 diff hist −40 Automated theorem proving →Proprietary software including Share-alike Non-commercial: Removed link to website that displays ONLY a one line welcome message and no further links.
- 14:30 14:30, 14 August 2008 diff hist +145 Automated theorem proving →Important people: Add Wen-Tsun Wu, Herbrand award winner, work in geometric theorem proving.
- 14:22 14:22, 14 August 2008 diff hist +11 Herbrand Award →External links: Corrected link that no longer mentions the award, to the award's page.
- 14:11 14:11, 14 August 2008 diff hist +166 Automated theorem proving →Important people: Added Dolph Ulrich.
- 14:05 14:05, 14 August 2008 diff hist −109 Automated theorem proving →Important people: Having a PHD doesn't make one important. Co-author of an obscure theorem who's google hits point are only in items saying that person is important doesn't help.
- 14:00 14:00, 14 August 2008 diff hist −20 Automated theorem proving →Important people: If they are important, you would expect that there is SOME reason to think so.
21 July 2008
- 19:33 19:33, 21 July 2008 diff hist −466 Talk:Imperial units Withdrawn. (Confusion of US customary units vs. Imperial Units)
- 18:56 18:56, 21 July 2008 diff hist +461 Talk:Imperial units I think the article confuses the two legal US foot standards.
27 June 2008
- 15:23 15:23, 27 June 2008 diff hist +223 Wikipedia talk:WikiProject Logic/Standards for notation →Terms for the semantics
- 14:59 14:59, 27 June 2008 diff hist +230 Wikipedia talk:WikiProject Logic/Standards for notation →implication symbol
9 June 2008
- 18:28 18:28, 9 June 2008 diff hist +43 Automated theorem proving →Important people: Since it has a page on wikipedia, we may as well link to it.
6 May 2008
- 15:40 15:40, 6 May 2008 diff hist +133 Condensed detachment →Informal description: Cleaned up notation, fixed wording.
29 April 2008
- 14:48 14:48, 29 April 2008 diff hist +68 Frederic Fitch →Publications
- 14:46 14:46, 29 April 2008 diff hist +32 Frederic Fitch →Bibliography
7 April 2008
- 16:12 16:12, 7 April 2008 diff hist −94 Three-valued logic →See also: Removed Aymara language. See talk page.
- 16:10 16:10, 7 April 2008 diff hist +571 Talk:Three-valued logic →Removed reference to Aymara language from "See also": new section
- 16:03 16:03, 7 April 2008 diff hist 0 Talk:Ternary computer →Original Research?: typo
3 April 2008
- 19:56 19:56, 3 April 2008 diff hist +22 Ternary computer →See also: Alpabetise, add balanced ternary.
- 19:54 19:54, 3 April 2008 diff hist +256 Talk:Ternary computer →Original Research?: No, In fact, a pointer to an appropriate book was ALREADY in the article.
- 19:50 19:50, 3 April 2008 diff hist −37 Ternary computer →Balanced ternary: Not original research. Documentation requested is already given on the balanced ternary page, which this section already points at.
- 19:49 19:49, 3 April 2008 diff hist +692 Talk:Ternary computer →Original Research?: Only if you ignore the literature.
27 March 2008
- 17:17 17:17, 27 March 2008 diff hist +478 Talk:Balanced ternary →LeRoy Eide's algorithm: link to description
- 17:01 17:01, 27 March 2008 diff hist −111 Condensed detachment →References: Removed reference that doesn't even mention the topic
|
| This is the
contributions page for an IP user, identified by the user's
IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may
create an account or log in to avoid future confusion with other IP users.
Registering also hides your IP address. |