Triple

T24810847
Position Surface form Disambiguated ID Type / Status
Subject Green's theorem E620783 entity
Predicate instanceOf P0 FINISHED
Object result in vector calculus C29203 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: result in vector calculus
Context triple: [Green's theorem, instanceOf, result in vector calculus]
  • A. concept in vector calculus chosen
    A concept in vector calculus is an abstract idea or principle involving vector-valued functions and operations—such as gradients, divergences, curls, and line or surface integrals—that describes how quantities with both magnitude and direction vary in space.
  • B. result in linear algebra
    In linear algebra, a result is a proven statement or conclusion—such as a theorem, lemma, or corollary—that follows logically from definitions and previously established facts about vectors, matrices, and linear transformations.
  • C. result in differential equations
    A result in differential equations is a proven statement or theorem that characterizes the behavior, existence, uniqueness, or properties of solutions to differential equations under specified conditions.
  • D. result in mathematical physics
    A result in mathematical physics is a rigorously proven statement that connects precise mathematical structures with physical theories, often clarifying, justifying, or predicting phenomena within a formal framework.
  • E. result in geometry
    A result in geometry is a proven statement or theorem that describes a specific property, relationship, or behavior of geometric figures and spaces.
  • F. None of above.

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_69e2fabf26bc8190b191faac8f67065b completed April 18, 2026, 3:30 a.m.
Created at: April 18, 2026, 4:50 a.m.