No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 145-145 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 149-149 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 156-156 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 159-159 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 160-160 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 162-162 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 164-164 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 165-165 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 173-173 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 177-177 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 179-179 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 180-180 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 182-182 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 192-192 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 193-193 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 195-195 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 200-200 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |