Jean-Claude Grumberg
E1056875
UNEXPLORED
Jean-Claude Grumberg is a French playwright and screenwriter known for his works addressing the Holocaust, memory, and social injustice.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Jean-Claude Grumberg canonical | 3 |
How this entity was disambiguated
This entity first appeared as the object of triple T13700623 — 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: Jean-Claude Grumberg Context triple: [Eden à l’Ouest, writer, Jean-Claude Grumberg]
-
A.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
-
B.
Patrice Godefroid
Patrice Godefroid is a computer scientist known for his pioneering work in software model checking, automated testing, and program analysis.
-
C.
Edmund M. Clarke
Edmund M. Clarke was an American computer scientist best known for co-inventing model checking, a breakthrough technique in formal verification that earned him the Turing Award.
-
D.
Thomas A. Henzinger
Thomas A. Henzinger is a prominent computer scientist known for his foundational work in formal verification, hybrid systems, and the theory of real-time and embedded systems.
-
E.
Andre Scedrov
Andre Scedrov is a mathematician known for his work in category theory, logic, and theoretical computer science.
- 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: Jean-Claude Grumberg Target entity description: Jean-Claude Grumberg is a French playwright and screenwriter known for his works addressing the Holocaust, memory, and social injustice.
-
A.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
-
B.
Patrice Godefroid
Patrice Godefroid is a computer scientist known for his pioneering work in software model checking, automated testing, and program analysis.
-
C.
Edmund M. Clarke
Edmund M. Clarke was an American computer scientist best known for co-inventing model checking, a breakthrough technique in formal verification that earned him the Turing Award.
-
D.
Thomas A. Henzinger
Thomas A. Henzinger is a prominent computer scientist known for his foundational work in formal verification, hybrid systems, and the theory of real-time and embedded systems.
-
E.
Andre Scedrov
Andre Scedrov is a mathematician known for his work in category theory, logic, and theoretical computer science.
- F. None of above. chosen
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.