219:
22:
156:. In November 2010, it featured more than 50 systems, including both theorem provers and model finders. System on TPTP can either run user-selected systems, or pick systems automatically based on problem features, and run them in parallel.
260:
46:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
279:
117:
284:
98:
70:
43:
253:
77:
39:
32:
142:
134:
55:
84:
66:
246:
200:
Proceedings of the
Twelfth International Florida Artificial Intelligence Research Society Conference
153:
138:
51:
141:
tools. It allows users to run the systems either on problems from the latest releases from the
47:
226:
91:
149:
230:
273:
177:
198:
Sutcliffe, Geoff; D. Seyfang (1999). "Smart selective competition parallelism ATP".
218:
145:
problem library or on user-supplied problems in the TPTP syntax.
38:
Please help to demonstrate the notability of the topic by citing
15:
234:
254:
8:
261:
247:
118:Learn how and when to remove this message
168:
7:
215:
213:
33:notability guideline for web content
133:is an online interface to several
14:
217:
20:
1:
233:. You can help Knowledge by
148:The system is maintained by
301:
212:
40:reliable secondary sources
29:The topic of this article
280:Automated theorem proving
135:automated theorem proving
31:may not meet Knowledge's
285:Computer science stubs
154:University of Miami
139:automated reasoning
176:Sutcliffe, Geoff.
137:systems and other
35:
242:
241:
128:
127:
120:
102:
30:
292:
263:
256:
249:
227:computer science
221:
214:
204:
203:
195:
189:
188:
186:
184:
178:"System on TPTP"
173:
123:
116:
112:
109:
103:
101:
67:"System on TPTP"
60:
24:
23:
16:
300:
299:
295:
294:
293:
291:
290:
289:
270:
269:
268:
267:
210:
208:
207:
197:
196:
192:
182:
180:
175:
174:
170:
165:
159:
150:Geoff Sutcliffe
124:
113:
107:
104:
61:
59:
37:
25:
21:
12:
11:
5:
298:
296:
288:
287:
282:
272:
271:
266:
265:
258:
251:
243:
240:
239:
222:
206:
205:
190:
167:
166:
164:
161:
131:System on TPTP
126:
125:
108:September 2024
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
297:
286:
283:
281:
278:
277:
275:
264:
259:
257:
252:
250:
245:
244:
238:
236:
232:
229:article is a
228:
223:
220:
216:
211:
201:
194:
191:
179:
172:
169:
162:
160:
157:
155:
151:
146:
144:
140:
136:
132:
122:
119:
111:
100:
97:
93:
90:
86:
83:
79:
76:
72:
69: –
68:
64:
63:Find sources:
57:
53:
49:
45:
41:
34:
27:
18:
17:
235:expanding it
224:
209:
199:
193:
181:. Retrieved
171:
158:
147:
130:
129:
114:
105:
95:
88:
81:
74:
62:
44:independent
274:Categories
202:: 341–345.
183:4 November
163:References
78:newspapers
52:redirected
42:that are
152:at the
92:scholar
56:deleted
94:
87:
80:
73:
65:
48:merged
225:This
99:JSTOR
85:books
54:, or
231:stub
185:2010
143:TPTP
71:news
276::
50:,
262:e
255:t
248:v
237:.
187:.
121:)
115:(
110:)
106:(
96:·
89:·
82:·
75:·
58:.
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.