CADE ATP System Competition
E1023683
The CADE ATP System Competition is an international contest that evaluates and compares the performance of automated theorem proving systems on standardized logical problem sets.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CADE ATP System Competition canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T13166206 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: CADE ATP System Competition Context triple: [Vampire automated theorem prover, usedIn, CADE ATP System Competition]
-
A.
ATP Tour
The ATP Tour is the global elite men's professional tennis circuit featuring the sport's top players competing in tournaments worldwide.
-
B.
ATP Rankings
ATP Rankings are the official weekly standings that determine the world’s top male professional tennis players based on their performance in sanctioned tournaments.
-
C.
ATP 500
The ATP 500 is a series of mid-tier professional men's tennis tournaments on the ATP Tour that award 500 ranking points to each event's singles champion.
-
D.
ATP Tour Masters 1000
ATP Tour Masters 1000 is a series of elite annual men's professional tennis tournaments ranked just below the Grand Slams in prestige and ranking points.
-
E.
World Championship Tennis circuit
The World Championship Tennis circuit was a pioneering professional men's tennis tour that helped usher in the Open Era by organizing elite tournaments and promoting top players worldwide from the late 1960s through the 1980s.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: CADE ATP System Competition Target entity description: The CADE ATP System Competition is an international contest that evaluates and compares the performance of automated theorem proving systems on standardized logical problem sets.
-
A.
ATP Tour
The ATP Tour is the global elite men's professional tennis circuit featuring the sport's top players competing in tournaments worldwide.
-
B.
ATP Rankings
ATP Rankings are the official weekly standings that determine the world’s top male professional tennis players based on their performance in sanctioned tournaments.
-
C.
ATP 500
The ATP 500 is a series of mid-tier professional men's tennis tournaments on the ATP Tour that award 500 ranking points to each event's singles champion.
-
D.
ATP Tour Masters 1000
ATP Tour Masters 1000 is a series of elite annual men's professional tennis tournaments ranked just below the Grand Slams in prestige and ranking points.
-
E.
World Championship Tennis circuit
The World Championship Tennis circuit was a pioneering professional men's tennis tour that helped usher in the Open Era by organizing elite tournaments and promoting top players worldwide from the late 1960s through the 1980s.
- F. None of above. chosen
Statements (39)
| Predicate | Object |
|---|---|
| instanceOf |
automated theorem proving competition
ⓘ
international competition ⓘ scientific competition ⓘ |
| acronym | CASC NERFINISHED ⓘ |
| compares | performance of automated theorem provers ⓘ |
| contributesTo |
benchmarking of theorem provers
ⓘ
standardization of ATP evaluation ⓘ |
| evaluates | automated theorem proving systems ⓘ |
| field |
automated reasoning
ⓘ
automated theorem proving ⓘ mathematical logic ⓘ |
| focusesOn |
classical logic
ⓘ
first-order logic ⓘ |
| frequency | annual ⓘ |
| fullName | CADE ATP System Competition NERFINISHED ⓘ |
| hasCategory |
different logic divisions
ⓘ
different problem domains ⓘ |
| hasGoal |
encourage development of more powerful theorem provers
ⓘ
evaluate efficiency of ATP systems ⓘ provide a fair basis for comparison of ATP systems ⓘ |
| hasOutcome |
performance statistics
ⓘ
ranking of ATP systems ⓘ |
| hasParticipant | automated theorem prover ⓘ |
| isHeldAt |
CADE conference
NERFINISHED
ⓘ
IJCAR conference ⓘ |
| language | English ⓘ |
| organizedBy | Conference on Automated Deduction NERFINISHED ⓘ |
| relatedTo |
CADE
NERFINISHED
ⓘ
IJCAR NERFINISHED ⓘ TPTP Problem Library NERFINISHED ⓘ |
| scope | international ⓘ |
| sponsoredBy | CADE Inc. NERFINISHED ⓘ |
| startedBefore | 2000 ⓘ |
| uses |
TPTP problem library
NERFINISHED
ⓘ
standardized logical problem sets ⓘ |
| usesMetric |
CPU time
ⓘ
number of problems solved ⓘ resource usage ⓘ |
| website | http://www.tptp.org/CASC/ ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: CADE ATP System Competition Description of subject: The CADE ATP System Competition is an international contest that evaluates and compares the performance of automated theorem proving systems on standardized logical problem sets.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.