User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:36, 10 December 2017 (diff | hist) . . (+11) . . Defunct NameTheTrait V1 (→Correction)
- 21:35, 10 December 2017 (diff | hist) . . (+9) . . Defunct NameTheTrait V1 (→Correction)
- 21:34, 10 December 2017 (diff | hist) . . (+18) . . Defunct NameTheTrait V1 (→Using a Formula Prover)
- 21:32, 10 December 2017 (diff | hist) . . (+6) . . Defunct NameTheTrait V1
- 21:31, 10 December 2017 (diff | hist) . . (+260) . . Defunct NameTheTrait V1 (→Correction)
- 21:13, 10 December 2017 (diff | hist) . . (-8) . . Defunct NameTheTrait V1 (→Extraordinary Claims)
- 21:11, 10 December 2017 (diff | hist) . . (+7) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 21:10, 10 December 2017 (diff | hist) . . (-4) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 21:10, 10 December 2017 (diff | hist) . . (-2) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 21:09, 10 December 2017 (diff | hist) . . (-2) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 21:07, 10 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 21:05, 10 December 2017 (diff | hist) . . (+2) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 21:04, 10 December 2017 (diff | hist) . . (+2) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 21:03, 10 December 2017 (diff | hist) . . (-4) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 21:00, 10 December 2017 (diff | hist) . . (+166) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 20:44, 10 December 2017 (diff | hist) . . (-20) . . Defunct NameTheTrait V1 (→Using a Formula Prover)
- 20:36, 10 December 2017 (diff | hist) . . (-14) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 20:34, 10 December 2017 (diff | hist) . . (-47) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 20:25, 10 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 20:25, 10 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 20:25, 10 December 2017 (diff | hist) . . (-45) . . Defunct NameTheTrait V1 (→The Logical Form of Part 1 of NTT)
- 20:12, 10 December 2017 (diff | hist) . . (-2) . . Defunct NameTheTrait V1 (→Correction)
- 19:54, 10 December 2017 (diff | hist) . . (-24) . . Defunct NameTheTrait V1 (→Correction)
- 15:05, 10 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1 (→Correction)
- 09:01, 10 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→Correction)
- 09:00, 10 December 2017 (diff | hist) . . (-30) . . Defunct NameTheTrait V1 (→Correction)
- 08:43, 10 December 2017 (diff | hist) . . (+468) . . Defunct NameTheTrait V1 (→Correction)
- 08:41, 10 December 2017 (diff | hist) . . (-469) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 08:38, 10 December 2017 (diff | hist) . . (+483) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 08:34, 10 December 2017 (diff | hist) . . (+469) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 18:03, 9 December 2017 (diff | hist) . . (+261) . . Defunct NameTheTrait V1 (→Identity of Indescernibles)
- 17:14, 9 December 2017 (diff | hist) . . (+36) . . Defunct NameTheTrait V1 (→Identity of Indescernibles)
- 15:09, 9 December 2017 (diff | hist) . . (+2) . . Defunct NameTheTrait V1 (→Displaying the Logical Form of NTT in FOL)
- 15:08, 9 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 15:07, 9 December 2017 (diff | hist) . . (+4) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 14:57, 9 December 2017 (diff | hist) . . (+3) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 14:56, 9 December 2017 (diff | hist) . . (0) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 14:52, 9 December 2017 (diff | hist) . . (+92) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 14:48, 9 December 2017 (diff | hist) . . (+106) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 12:50, 9 December 2017 (diff | hist) . . (-56) . . Defunct NameTheTrait V1 (→Alternative Version in FOL)
- 11:12, 9 December 2017 (diff | hist) . . (+83) . . Defunct NameTheTrait V1 (→Correction)
- 06:23, 9 December 2017 (diff | hist) . . (-2) . . Defunct NameTheTrait V1 (→The Logical Form of Part 2 of NTT)
- 06:18, 9 December 2017 (diff | hist) . . (-94) . . Defunct NameTheTrait V1 (→Logical Validity)
- 06:18, 9 December 2017 (diff | hist) . . (+111) . . Defunct NameTheTrait V1 (→Logical Validity)
- 06:11, 9 December 2017 (diff | hist) . . (+24) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
- 06:05, 9 December 2017 (diff | hist) . . (+177) . . Defunct NameTheTrait V1 (→Bundle Theory)
- 05:57, 9 December 2017 (diff | hist) . . (+8) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 17:23, 8 December 2017 (diff | hist) . . (-28) . . Defunct NameTheTrait V1 (→Steel-manning NTT)
- 17:18, 8 December 2017 (diff | hist) . . (+217) . . Defunct NameTheTrait V1 (→Part 1 Counterexample)
- 16:47, 8 December 2017 (diff | hist) . . (+1) . . Defunct NameTheTrait V1 (→Part 2 Counterexample)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
