No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 77-77 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 81-81 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 82-82 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 85-85 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 86-86 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 87-87 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 89-89 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 90-90 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 91-91 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 94-94 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 95-95 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 96-96 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 97-97 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 98-98 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 100-100 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 101-101 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 105-105 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 107-107 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 108-108 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |