No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 63-63 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 64-64 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 65-65 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 68-68 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 69-69 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 70-70 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 72-72 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 75-75 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 83-83 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 85-85 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 104-104 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 109-109 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 120-120 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 123-123 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 132-132 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 133-133 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 144-144 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 152-152 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |