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 / inference_test / soundness /
conjuntive_soundness.tqOct 10, 2021, 7:14:07 AM235 B
conjuntive_soundness2.tqOct 10, 2021, 7:14:07 AM183 B
conjuntive_soundness4.tqOct 10, 2021, 7:14:07 AM373 B
DeMorgans.logic.tqOct 10, 2021, 7:14:07 AM164 B
disjunctive_soundness.tqOct 10, 2021, 7:14:07 AM244 B
disjunctive_soundness1.tqOct 10, 2021, 7:14:07 AM292 B
disjunctive_syllogism.logic.tqOct 10, 2021, 7:14:07 AM240 B
disjunctive_syllogism1.logic.tqOct 10, 2021, 7:14:07 AM116 B
EG_logic.tqOct 10, 2021, 7:14:07 AM87 B
EG_logic1.tqOct 10, 2021, 7:14:07 AM122 B
ei_soundness.tqOct 10, 2021, 7:14:07 AM138 B
ei_soundness1.tqOct 10, 2021, 7:14:07 AM158 B
ei_soundness2.tqOct 10, 2021, 7:14:07 AM198 B
ei_soundness3.tqOct 10, 2021, 7:14:07 AM152 B
ei_soundness4.tqOct 10, 2021, 7:14:07 AM144 B
ei_soundness5.tqOct 10, 2021, 7:14:07 AM183 B
ei_soundness6.tqOct 10, 2021, 7:14:07 AM150 B
ei_soundness7.tqOct 10, 2021, 7:14:07 AM160 B
ei_soundness8.tqOct 10, 2021, 7:14:07 AM524 B
EQ_logic.tqOct 10, 2021, 7:14:07 AM119 B
evaluation_test_0.tqOct 10, 2021, 7:14:07 AM88 B
evaluation_test_1.tqOct 10, 2021, 7:14:07 AM111 B
eximpl_soundness.tqOct 10, 2021, 7:14:07 AM259 B
eximpl_soundness1.tqOct 10, 2021, 7:14:07 AM165 B
exists_0.tqOct 10, 2021, 7:14:07 AM173 B
exists_1.tqOct 10, 2021, 7:14:07 AM240 B
exists_2.tqOct 10, 2021, 7:14:07 AM241 B
forAll_implies_test.txt.tqOct 10, 2021, 7:14:07 AM206 B
modus_ponens.logic.tqOct 10, 2021, 7:14:07 AM163 B
modus_tollens.logic.tqOct 10, 2021, 7:14:07 AM254 B
syll_soundness.tqOct 10, 2021, 7:14:07 AM197 B
syll_soundness1.tqOct 10, 2021, 7:14:07 AM201 B
syll_soundness2.tqOct 10, 2021, 7:14:07 AM206 B
syll_soundness3.tqOct 10, 2021, 7:14:07 AM205 B
UI_soundness.tqOct 10, 2021, 7:14:07 AM141 B
UI_soundness1.tqOct 10, 2021, 7:14:07 AM132 B
UI_soundness2.tqOct 10, 2021, 7:14:07 AM130 B
UI_soundness3.tqOct 10, 2021, 7:14:07 AM178 B
UI_soundness4.tqOct 10, 2021, 7:14:07 AM113 B
UI_soundness5.tqOct 10, 2021, 7:14:07 AM118 B
UI_soundness6.tqOct 10, 2021, 7:14:07 AM128 B
unification_0.tqOct 10, 2021, 7:14:07 AM112 B
unification_1.tqOct 10, 2021, 7:14:07 AM130 B
unification_2.tqOct 10, 2021, 7:14:07 AM202 B
unification_3.tqOct 10, 2021, 7:14:07 AM218 B
unification_4.tqOct 10, 2021, 7:14:07 AM299 B