![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | QMSDiscussion/ | 2014-11-26 09:42 | - | |
![]() | SZSOntologies/ | 2014-11-26 09:42 | - | |
![]() | Evaluate/ | 2014-11-26 09:42 | - | |
![]() | DifferentGoodProofs/ | 2014-11-26 09:42 | - | |
![]() | CombiningProofs/ | 2014-11-26 09:42 | - | |
![]() | StandardsAndTools/ | 2014-11-26 09:42 | - | |
![]() | THF/ | 2014-11-26 09:42 | - | |
![]() | EventCalculus/ | 2014-11-26 09:42 | - | |
![]() | TSTPStandards/ | 2014-11-26 09:42 | - | |
![]() | EvalCASC/ | 2014-11-26 09:42 | - | |
![]() | SigmaKEETPTP/ | 2014-11-26 09:42 | - | |
![]() | IWTPTP/ | 2014-11-26 09:42 | - | |
![]() | TPTP2TSTP/ | 2014-11-26 09:42 | - | |
![]() | SAMHT/ | 2014-11-26 09:42 | - | |
![]() | SPASS-XDB/ | 2014-11-26 09:42 | - | |
![]() | HRtoTPTP/ | 2014-11-26 09:42 | - | |
![]() | Homogeneity/ | 2014-11-26 09:42 | - | |
![]() | QSTRLib/ | 2014-11-26 09:42 | - | |
![]() | TPI/ | 2014-11-26 09:42 | - | |
![]() | CSSCPA/ | 2014-11-26 09:42 | - | |
![]() | SRASS/ | 2014-11-26 09:42 | - | |
![]() | Relevance/ | 2014-11-26 09:43 | - | |
![]() | RichTheories/ | 2014-11-26 09:43 | - | |
![]() | YuLM/ | 2014-11-26 09:43 | - | |
![]() | MizarVerification/ | 2014-11-26 09:43 | - | |
![]() | TPTPLanguage/ | 2014-11-26 09:43 | - | |
![]() | GDV/ | 2014-11-26 09:43 | - | |
![]() | QEDAndTPTP/ | 2014-11-26 09:43 | - | |
![]() | Divvy/ | 2014-11-26 09:43 | - | |
![]() | DKRC/ | 2014-11-26 09:43 | - | |
![]() | MANSEX/ | 2014-11-26 09:43 | - | |
![]() | VampireNOT/ | 2015-08-02 05:19 | - | |
![]() | TMTP/ | 2015-09-09 14:27 | - | |
![]() | TH1/ | 2016-04-28 10:29 | - | |
![]() | HopingForTheTruth/ | 2016-05-16 22:31 | - | |
![]() | WhiteBoard.html | 2016-09-29 04:27 | 75 | |
![]() | RM3/ | 2017-01-26 15:01 | - | |
![]() | FDE/ | 2018-05-22 15:58 | - | |
![]() | Wos-AoAR/ | 2019-08-30 11:48 | - | |
![]() | GLiDeS-M/ | 2019-08-30 11:48 | - | |
![]() | ModalLogic/ | 2019-08-30 11:48 | - | |
![]() | Trilogy/ | 2019-08-30 11:48 | - | |
![]() | Prophet/ | 2019-08-30 11:48 | - | |
![]() | ProjectorProblem/ | 2019-08-30 11:48 | - | |
![]() | TFF/ | 2019-08-30 11:48 | - | |
![]() | GLiDeS/ | 2019-08-30 11:48 | - | |
![]() | RedAx/ | 2019-08-30 11:48 | - | |
![]() | TranslationPaths/ | 2019-08-30 11:48 | - | |
![]() | SystemOnTPTP/ | 2019-08-30 11:48 | - | |
![]() | PyResFOF/ | 2021-07-09 08:09 | - | |
![]() | TPTPWorldExpansion/ | 2021-07-14 10:52 | - | |
![]() | TPTPWorldFuture/ | 2021-07-14 10:54 | - | |
![]() | MoralMachine/ | 2021-10-15 09:28 | - | |
![]() | WosMemoriam/ | 2021-11-18 14:18 | - | |
![]() | TDTP/ | 2022-07-30 14:38 | - | |
![]() | TPTPLogicLanguages/ | 2022-08-06 03:15 | - | |
![]() | QMLTPinTHF/ | 2022-08-06 07:02 | - | |
![]() | IDV/ | 2023-05-23 23:38 | - | |
![]() | NonClassical/ | 2023-05-25 13:15 | - | |
![]() | TXF/ | 2023-05-25 13:21 | - | |
![]() | SSCPA/ | 2023-05-25 19:08 | - | |
![]() | IIV/ | 2023-05-29 14:22 | - | |
![]() | AChatWithBard/ | 2023-05-30 13:27 | - | |
![]() | TarskianInterpretati..> | 2023-06-07 22:44 | - | |
![]() | TPTPTeaParty/ | 2023-09-29 09:05 | - | |
![]() | AGInT/ | 2023-11-20 07:49 | - | |
![]() | AGMV/ | 2023-11-22 03:51 | - | |
![]() | DLF/ | 2024-03-19 09:22 | - | |
![]() | GMV/ | 2024-03-19 09:22 | - | |
![]() | JGXYZ/ | 2024-03-19 09:22 | - | |
![]() | TPTP2T/ | 2024-03-19 09:22 | - | |
![]() | MathsInTPTP/ | 2024-03-19 14:49 | - | |
![]() | StarExecARC/ | 2024-05-08 14:41 | - | |
![]() | ATP/ | 2024-05-09 17:05 | - | |
![]() | ATPProgress/ | 2024-05-16 15:52 | - | |
![]() | TPTPWorldTutorial.html | 2024-05-18 17:59 | 241 | |
![]() | TPTPWorld/ | 2024-05-31 00:20 | - | |
![]() | SPCs/ | 2024-06-19 02:55 | - | |
![]() | TSTP/ | 2024-06-19 09:00 | - | |
![]() | TPTPInterpretations/ | 2024-07-02 12:28 | - | |
![]() | TPTP/ | 2024-07-04 11:49 | - | |
![]() | TPTPWorldSteppingSto..> | 2024-07-05 01:59 | - | |
![]() | CASC/ | 2024-07-05 05:34 | - | |
![]() | TPTPProofsAndModels/ | 2024-07-08 05:06 | - | |