User contributions for 155.101.224.65
Appearance
For 155.101.224.65 talk block log logs filter log
9 July 2011
- 14:5414:54, 9 July 2011 diff hist −328 Talk:William McCune No edit summary Tag: talk page blanking
- 14:5114:51, 9 July 2011 diff hist −91 Talk:William McCune →Death reference?
- 14:4314:43, 9 July 2011 diff hist +118 Talk:William McCune →Death reference?: new section
16 March 2011
- 14:5714:57, 16 March 2011 diff hist +144 Talk:A-normal form →Bad reference link?: new section
16 February 2011
- 20:3920:39, 16 February 2011 diff hist +616 Talk:Axiomatic system →Consistancy
26 June 2009
- 17:1317:13, 26 June 2009 diff hist +466 Talk:Braille →Braille physical diagram
- 14:1514:15, 26 June 2009 diff hist +402 Braille →Learning
- 13:5613:56, 26 June 2009 diff hist +671 Talk:Braille →Capitalization
25 June 2009
- 22:0822:08, 25 June 2009 diff hist +372 Talk:Braille →Capitalization
- 22:0122:01, 25 June 2009 diff hist +1,142 Talk:Braille →Braille physical diagram
17 June 2009
- 21:3321:33, 17 June 2009 diff hist +319 Talk:Role-based access control No edit summary
- 21:3121:31, 17 June 2009 diff hist +821 Talk:Role-based access control →Standard terminology and diagrams?: new section
20 May 2009
- 20:3820:38, 20 May 2009 diff hist +346 Talk:Automated theorem proving →deontic theorem proving?: new section
9 February 2009
- 17:4517:45, 9 February 2009 diff hist +89 Talk:Black Saturday bushfires →High-use of CFA website notification
27 October 2008
- 16:4216:42, 27 October 2008 diff hist +30 Modus ponens →Justification via truth table
- 16:3916:39, 27 October 2008 diff hist +278 Talk:Modus ponens →Truth Tables
8 September 2008
- 15:3915:39, 8 September 2008 diff hist +57 Condensed detachment →Advantages
2 September 2008
- 13:5013:50, 2 September 2008 diff hist +210 Talk:Balanced ternary →LeRoy Eide's algorithm
- 13:4713: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:2217: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:0317:03, 29 August 2008 diff hist +5 Condensed detachment →References: Consistancy of order of elements in a reference.
- 17:0117:01, 29 August 2008 diff hist +12 Condensed detachment →Informal description: Computer system vs. Logic System
- 16:5616:56, 29 August 2008 diff hist +684 Condensed detachment Additions.
- 15:2715:27, 29 August 2008 diff hist +328 Condensed detachment →Informal description: Cleanup, add a source, fix picky "D-completeness" point
- 15:1615:16, 29 August 2008 diff hist +112 Condensed detachment →References
14 August 2008
- 19:3819:38, 14 August 2008 diff hist −11 Association for Automated Reasoning →External links: Corrected obsolete link to point to AAR's current webpage.
- 19:2719: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:3214: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:3014: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:2214: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:1114:11, 14 August 2008 diff hist +166 Automated theorem proving →Important people: Added Dolph Ulrich.
- 14:0514: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:0014: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:3319:33, 21 July 2008 diff hist −466 Talk:Imperial units Withdrawn. (Confusion of US customary units vs. Imperial Units)
- 18:5618: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:2315:23, 27 June 2008 diff hist +223 Wikipedia talk:WikiProject Logic/Standards for notation →Terms for the semantics
- 14:5914:59, 27 June 2008 diff hist +230 Wikipedia talk:WikiProject Logic/Standards for notation →implication symbol
9 June 2008
- 18:2818: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:4015:40, 6 May 2008 diff hist +133 Condensed detachment →Informal description: Cleaned up notation, fixed wording.
29 April 2008
- 14:4814:48, 29 April 2008 diff hist +68 Frederic Fitch →Publications
- 14:4614:46, 29 April 2008 diff hist +32 Frederic Fitch →Bibliography
7 April 2008
- 16:1216:12, 7 April 2008 diff hist −94 Three-valued logic →See also: Removed Aymara language. See talk page.
- 16:1016:10, 7 April 2008 diff hist +571 Talk:Three-valued logic →Removed reference to Aymara language from "See also": new section
- 16:0316:03, 7 April 2008 diff hist 0 Talk:Ternary computer →Original Research?: typo
3 April 2008
- 19:5619:56, 3 April 2008 diff hist +22 Ternary computer →See also: Alpabetise, add balanced ternary.
- 19:5419: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:5019: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:4919:49, 3 April 2008 diff hist +692 Talk:Ternary computer →Original Research?: Only if you ignore the literature.
27 March 2008
- 17:1717:17, 27 March 2008 diff hist +478 Talk:Balanced ternary →LeRoy Eide's algorithm: link to description
- 17:0117:01, 27 March 2008 diff hist −111 Condensed detachment →References: Removed reference that doesn't even mention the topic