Panagiotis Manolios
E1130849
UNEXPLORED
Panagiotis Manolios is a computer scientist known for his work in formal methods and theorem proving, particularly in connection with the ACL2 community.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Panagiotis Manolios canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14981603 — 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: Panagiotis Manolios Context triple: [Matt Kaufmann, coauthorWith, Panagiotis Manolios]
-
A.
Anastasios Yannoulatos
Anastasios Yannoulatos is a prominent Orthodox Christian hierarch best known as the Archbishop of Tirana, Durrës and All Albania, where he led the post-communist revival of the Albanian Orthodox Church.
-
B.
Christos Papadimitriou
Christos Papadimitriou is a prominent Greek computer scientist known for his foundational contributions to computational complexity theory, algorithms, and game theory, and for authoring influential textbooks in theoretical computer science.
-
C.
Theofanis Anagnostopoulos
Theofanis Anagnostopoulos is the birth name of Spiro Agnew, the 39th vice president of the United States who served under President Richard Nixon.
-
D.
Apostolos Athanassakis
Apostolos Athanassakis is a classical scholar and translator best known for his influential modern English edition of the ancient Greek Orphic Hymns.
-
E.
Dimitrios Ioannidis
Dimitrios Ioannidis was a hardline Greek military officer who became the de facto ruler of Greece during the final years of the 1967–1974 junta, known for his repressive policies and role in the 1974 Cyprus crisis.
- 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: Panagiotis Manolios Target entity description: Panagiotis Manolios is a computer scientist known for his work in formal methods and theorem proving, particularly in connection with the ACL2 community.
-
A.
Anastasios Yannoulatos
Anastasios Yannoulatos is a prominent Orthodox Christian hierarch best known as the Archbishop of Tirana, Durrës and All Albania, where he led the post-communist revival of the Albanian Orthodox Church.
-
B.
Christos Papadimitriou
Christos Papadimitriou is a prominent Greek computer scientist known for his foundational contributions to computational complexity theory, algorithms, and game theory, and for authoring influential textbooks in theoretical computer science.
-
C.
Theofanis Anagnostopoulos
Theofanis Anagnostopoulos is the birth name of Spiro Agnew, the 39th vice president of the United States who served under President Richard Nixon.
-
D.
Apostolos Athanassakis
Apostolos Athanassakis is a classical scholar and translator best known for his influential modern English edition of the ancient Greek Orphic Hymns.
-
E.
Dimitrios Ioannidis
Dimitrios Ioannidis was a hardline Greek military officer who became the de facto ruler of Greece during the final years of the 1967–1974 junta, known for his repressive policies and role in the 1974 Cyprus crisis.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.