tg |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 80-80 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 95-95 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 97-97 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 146-146 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 102-102 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 103-103 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 114-114 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 117-117 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |