Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_sys / logicmoo_base / t / examples / tptp /
BLOCK_COMMENTS.tptpOct 10, 2021, 7:14:07 AM1.04 KiB
BOO001-1.tptpOct 10, 2021, 7:14:07 AM1.52 KiB
BOO003-4.tptpOct 10, 2021, 7:14:07 AM1.77 KiB
BOO021-1.tptpOct 10, 2021, 7:14:07 AM1.89 KiB
BOO027-1.tptpOct 10, 2021, 7:14:07 AM1.83 KiB
BOO036-1.tptpOct 10, 2021, 7:14:07 AM1.54 KiB
CNF_BOOLEAN.tptpOct 10, 2021, 7:14:07 AM350 B
COL058-2.tptpOct 10, 2021, 7:14:07 AM2.04 KiB
COL060-3.tptpOct 10, 2021, 7:14:07 AM1.78 KiB
DEFINED_TERMS.tptpOct 10, 2021, 7:14:07 AM358 B
INCLUDE_DIRECTIVE.tptpOct 10, 2021, 7:14:07 AM295 B
INCLUDED_FILE.tptpOct 10, 2021, 7:14:07 AM270 B
KRS018+1.tptpOct 10, 2021, 7:14:07 AM1.93 KiB
KRS063+1.tptpOct 10, 2021, 7:14:07 AM4.18 KiB
KRS174+1.tptpOct 10, 2021, 7:14:07 AM3.12 KiB
LCL009-1.tptpOct 10, 2021, 7:14:07 AM1.68 KiB
LCL107-1.tptpOct 10, 2021, 7:14:07 AM2.07 KiB
MGT019+2.tptpOct 10, 2021, 7:14:07 AM3.06 KiB
MGT031-1.tptpOct 10, 2021, 7:14:07 AM3.22 KiB
MGT041-2.tptpOct 10, 2021, 7:14:07 AM2.11 KiB
MIXED_PROBLEM.tptpOct 10, 2021, 7:14:07 AM1011 B
NLP042+1.tptpOct 10, 2021, 7:14:07 AM5.80 KiB
NLP114-1.tptpOct 10, 2021, 7:14:07 AM4.72 KiB
NO_FORMULAS.tptpOct 10, 2021, 7:14:07 AM0 B
NUMBERED_FORMULAS.tptpOct 10, 2021, 7:14:07 AM281 B
PUZ001-1.tptpOct 10, 2021, 7:14:07 AM2.81 KiB
QUOTED_NUMBERS.tptpOct 10, 2021, 7:14:07 AM295 B
QUOTED_TERMS_DIFFERENT.tptpOct 10, 2021, 7:14:07 AM315 B
QUOTED_TERMS_IDENTITY.tptpOct 10, 2021, 7:14:07 AM282 B
QUOTED_TERMS_SPECIAL.tptpOct 10, 2021, 7:14:07 AM312 B
QUOTED_TERMS.tptpOct 10, 2021, 7:14:07 AM486 B
RENAMING_VARIABLES.tptpOct 10, 2021, 7:14:07 AM337 B
SEPARATED_COMMENTS.tptpOct 10, 2021, 7:14:07 AM35 B
SEU140+2.tptpOct 10, 2021, 7:14:07 AM6.79 KiB
SWV010+1.tptpOct 10, 2021, 7:14:07 AM3.03 KiB
SWV017+1.tptpOct 10, 2021, 7:14:07 AM6.05 KiB
SYN075+1.tptpOct 10, 2021, 7:14:07 AM1.64 KiB
SYN075-1.tptpOct 10, 2021, 7:14:07 AM2.08 KiB
SYSTEM_TERMS.tptpOct 10, 2021, 7:14:07 AM358 B
WEIRD_FORMULA_NAME.tptpOct 10, 2021, 7:14:07 AM303 B