Kleene
E601577
algebraic structure
classification of arithmetical sets
human
many-valued logic system
mathematician
operation on formal languages
surname
theorem in recursion theory
Kleene is a surname most notably associated with American mathematician Stephen Kleene, a pioneer in recursion theory and mathematical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Kleene canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6594114 — 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: Kleene Context triple: [Stephen Kleene, familyName, Kleene]
-
A.
KLE
KLE is the vehicle registration code for the district of Cleves (Kleve) in the German state of North Rhine-Westphalia.
-
B.
Klausi
Klausi is a German diminutive form of the male given name Klaus, often used as an affectionate nickname.
-
C.
Koopmans
Koopmans is a Dutch surname most notably associated with Nobel Prize–winning economist Tjalling C. Koopmans.
-
D.
Karp
Karp is a surname most notably associated with David Karp, the founder of the microblogging platform Tumblr.
-
E.
Klain
Klain is the surname of Ron Klain, an American attorney and political operative who served as White House Chief of Staff under President Joe Biden.
- 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: Kleene Target entity description: Kleene is a surname most notably associated with American mathematician Stephen Kleene, a pioneer in recursion theory and mathematical logic.
-
A.
KLE
KLE is the vehicle registration code for the district of Cleves (Kleve) in the German state of North Rhine-Westphalia.
-
B.
Klausi
Klausi is a German diminutive form of the male given name Klaus, often used as an affectionate nickname.
-
C.
Koopmans
Koopmans is a Dutch surname most notably associated with Nobel Prize–winning economist Tjalling C. Koopmans.
-
D.
Karp
Karp is a surname most notably associated with David Karp, the founder of the microblogging platform Tumblr.
-
E.
Klain
Klain is the surname of Ron Klain, an American attorney and political operative who served as White House Chief of Staff under President Joe Biden.
- F. None of above. chosen
Statements (29)
| Predicate | Object |
|---|---|
| instanceOf |
algebraic structure
ⓘ
classification of arithmetical sets ⓘ human ⓘ many-valued logic system ⓘ mathematician ⓘ operation on formal languages ⓘ surname ⓘ theorem in recursion theory ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| fieldOfWork |
mathematical logic
ⓘ
recursion theory ⓘ theoretical computer science ⓘ |
| hasNotableBearer |
Stephen Cole Kleene
ⓘ
linked to:
Stephen Kleene
|
| influenced |
development of automata theory
ⓘ
development of computability theory ⓘ |
| namedAfter |
Stephen Cole Kleene
ⓘ
linked to:
Stephen Kleene
Stephen Cole Kleene ⓘ
linked to:
Stephen Kleene
Stephen Cole Kleene ⓘ
linked to:
Stephen Kleene
Stephen Cole Kleene ⓘ
linked to:
Stephen Kleene
Stephen Cole Kleene ⓘ
linked to:
Stephen Kleene
Stephen Cole Kleene ⓘ
linked to:
Stephen Kleene
|
| notableFor |
Kleene algebra
ⓘ
Kleene hierarchy ⓘ Kleene star in formal language theory ⓘ
linked to:
Kleene star
Kleene’s recursion theorems ⓘ
linked to:
Kleene’s recursion theorem
Kleene’s strong three-valued logic ⓘ
linked to:
Kleene strong three-valued logic
Kleene’s weak three-valued logic ⓘ
linked to:
Kleene strong three-valued logic
contributions to mathematical logic ⓘ foundational work in recursion theory ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Kleene Description of subject: Kleene is a surname most notably associated with American mathematician Stephen Kleene, a pioneer in recursion theory and mathematical logic.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.