Triple
T32215224
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Archive of Formal Proofs |
E822908
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | computer science repository |
C61539
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: computer science repository Context triple: [Archive of Formal Proofs, instanceOf, computer science repository]
-
A.
computer science research center
A computer science research center is an institution dedicated to advancing knowledge and innovation in computing through focused research, collaboration, and dissemination of results across areas such as algorithms, systems, artificial intelligence, and human-computer interaction.
-
B.
research software
Research software is specialized computer programs and tools developed to support, automate, and enhance the processes of scientific inquiry, data analysis, and experimental research.
-
C.
computer science academic
A computer science academic is a scholar who conducts research, teaches, and advances knowledge in areas such as algorithms, systems, theory, and applications of computing.
-
D.
computer science community
A computer science community is a group of people who share knowledge, collaborate, and support each other around topics in computing, programming, and related technologies.
-
E.
research computer system
A research computer system is a specialized computing environment designed to support complex scientific or academic investigations by providing high-performance processing, large-scale data storage, and advanced analytical tools.
- F. None of above. chosen
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69f3490a3bec819097bc58d4731b9d08 |
completed | April 30, 2026, 12:20 p.m. |
Created at: May 1, 2026, 12:37 a.m.