Triple
T4492888
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | completeness theorem for first-order logic |
E100620
|
entity |
| Predicate | originalProofMethod |
P7024
|
FINISHED |
| Object | reduction to Skolem normal form and construction of a countable model |
—
|
LITERAL FINISHED |
Named-entity recognition
Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's LITERAL type shown above.
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: reduction to Skolem normal form and construction of a countable model | Statement: [completeness theorem for first-order logic, originalProofMethod, reduction to Skolem normal form and construction of a countable model]
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: originalProofMethod Context triple: [completeness theorem for first-order logic, originalProofMethod, reduction to Skolem normal form and construction of a countable model]
-
A.
hasProofMethod
chosen
Indicates that there exists a specific method or technique used to establish or demonstrate the validity of something (such as a statement, claim, or theorem).
-
B.
requiresProofOf
Indicates that one entity must provide formal evidence or documentation to validate or authorize another entity.
-
C.
proved
Indicates that one entity has demonstrated the truth or validity of another entity (such as a statement, theorem, or claim) through logical or evidential means.
-
D.
originalSignatory
Indicates that an entity was an initial party that formally signed or agreed to a document, contract, or treaty at the time it was first executed.
-
E.
mainMiningMethod
Indicates the primary mining technique or process predominantly used in extracting resources at a given site or operation.
- F. None of above.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43cdf15081909a4fa2585ff63b3e |
elicitation | completed |
| NER | batch_69bd5570ba0881908f5fb4f8d0730e64 |
ner | completed |
| PD | batch_69bd5213e3d0819094b026989e686f01 |
pd | completed |
Created at: March 20, 2026, 12:59 p.m.