CADE
E260061
CADE is a leading international conference focused on research and advances in automated reasoning and automated theorem proving.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CADE canonical | 8 |
How this entity was disambiguated
This entity first appeared as the object of triple T2373841 — 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 Context triple: [Conference on Automated Deduction, abbreviation, CADE]
-
A.
CCA
CCA is the ICAO airline designator used to identify Air China in international aviation operations.
-
B.
CAC
The Central American Cup (CAC) is a regional football tournament featuring national teams from Central America competing for the championship title.
-
C.
CAC
CAC is the commonly used abbreviation for the U.S. Army Combined Arms Center, a key institution responsible for developing Army doctrine, training, and leader education.
-
D.
CAF
CAF is a Spanish multinational company that designs and manufactures railway vehicles and related transport equipment used by metro systems worldwide.
-
E.
CAF
CAF is the commonly used abbreviation for the Chief of Air Force, the professional head of an air force service.
- 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 Target entity description: CADE is a leading international conference focused on research and advances in automated reasoning and automated theorem proving.
-
A.
CCA
CCA is the ICAO airline designator used to identify Air China in international aviation operations.
-
B.
CAC
The Central American Cup (CAC) is a regional football tournament featuring national teams from Central America competing for the championship title.
-
C.
CAC
CAC is the commonly used abbreviation for the U.S. Army Combined Arms Center, a key institution responsible for developing Army doctrine, training, and leader education.
-
D.
CAF
CAF is a Spanish multinational company that designs and manufactures railway vehicles and related transport equipment used by metro systems worldwide.
-
E.
CAF
CAF is the commonly used abbreviation for the Chief of Air Force, the professional head of an air force service.
- F. None of above. chosen
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
international conference ⓘ |
| audience |
graduate students
ⓘ
practitioners ⓘ researchers ⓘ |
| category |
computer science conference
ⓘ
logic conference ⓘ |
| community |
automated deduction community
ⓘ
automated reasoning community ⓘ |
| field |
automated reasoning
ⓘ
automated theorem proving ⓘ |
| focus |
applications of deduction in mathematics and industry
ⓘ
implementation of automated reasoning systems ⓘ theoretical foundations of automated deduction ⓘ |
| frequency | regularly recurring ⓘ |
| fullName | Conference on Automated Deduction ⓘ |
| hasEvent |
invited talks
ⓘ
system demonstrations ⓘ technical paper sessions ⓘ tutorials ⓘ workshops ⓘ |
| hasProceedings | peer-reviewed conference proceedings ⓘ |
| importance |
flagship venue for automated theorem proving research
ⓘ
leading conference in automated reasoning ⓘ |
| language | English ⓘ |
| reviewProcess | peer reviewed ⓘ |
| scope |
advances in automated reasoning
ⓘ
applications of automated theorem proving ⓘ research in automated deduction ⓘ |
| submissionType |
research papers
ⓘ
short papers ⓘ system descriptions ⓘ |
| topic |
decision procedures
ⓘ
first-order logic ⓘ formal methods ⓘ higher-order logic ⓘ logic in computer science ⓘ model checking ⓘ proof assistants ⓘ satisfiability ⓘ theorem proving ⓘ |
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 Description of subject: CADE is a leading international conference focused on research and advances in automated reasoning and automated theorem proving.
Referenced by (8)
Full triples — surface form annotated when it differs from this entity's canonical label.