No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 154-154 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 156-156 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 157-157 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 158-158 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 160-160 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 175-175 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 176-176 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 178-178 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 185-185 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 190-190 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 192-192 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 193-193 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 200-200 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 206-206 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 207-207 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 210-210 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |