SHMARQL

Stephen Cole Kleene

<http://www.wikidata.org/entity/Q335148>

American mathematician and theoretical computer scientist (1909–1994)
Stephen Cole Kleene
rdfs:label
"Stephen Cole Kleene"@en
skos:altLabel
"Stephen Cole Kleen"@da
"Stephen Kleen"@da
schema:description
"American mathematician and theoretical computer scientist (1909–1994)"@en
schema:dateModified "2026-09-17T19:16:28+00:00"^^xsd:dateTime
schema:version 2547126094
wikibase:identifiers 76
wikibase:sitelinks 34
wikibase:statements 144
p:P1006 wd:statement/Q335148-CD11C9C0-A595-402B-911D-8B8C0D991359
p:P101 wd:statement/Q335148-05bb0f95-462f-dfb0-7f9a-cbc9dc7e97a2
wd:statement/q335148-20FE0FE1-0CBD-46F0-BE65-D8AD29E0A428
p:P10141 wd:statement/Q335148-5A9A4D55-1CA9-4BCB-B2A5-1A6CE976512C
p:P1015 wd:statement/q335148-de6332b0-44c2-150b-b9d1-d9b049691b63
p:P1026 wd:statement/Q335148-ae19f4d1-46c2-9ae6-281f-f631436ab7b9
p:P106 wd:statement/Q335148-00470C1F-A81B-47D4-A9CD-DC90BB1480EE
wd:statement/Q335148-3133E785-0DB9-43C5-9FED-2C865EFF6FA8
wd:statement/Q335148-6EF33563-67CC-4897-984C-297737C5727E
wd:statement/q335148-726E03DF-2D2E-483A-9369-9C6B2165ECC3
wd:statement/q335148-7E333CFD-E679-4F49-A34B-0BC5A7FE8B48
p:P10757 wd:statement/Q335148-9B2AD76E-67B7-496A-9167-D0551704DE47
p:P108 wd:statement/Q335148-483e1281-4775-0094-5b81-7622cd30b151
wd:statement/Q335148-484e9396-40df-3d4d-bc2d-3aa27934ab0f
wd:statement/Q335148-62915f9f-49c4-aa92-1bed-603f3f553047
wd:statement/Q335148-F8F20834-07E0-4F2A-909A-C639CA1E839A
wd:statement/Q335148-c59e4485-42b7-90e9-74a5-7b0935e27ecb
p:P10832 wd:statement/Q335148-70C8252A-8047-49B1-B7A3-BF09BA32A39F
p:P11496 wd:statement/Q335148-BFEED689-C144-42E2-B219-7CF717C89F12
p:P1207 wd:statement/Q335148-0F37E1C0-8BC2-439B-80D6-792C4ACF32F0
p:P12458 wd:statement/Q335148-3B8DD6F7-0146-4594-91F2-820F3C78BC34
p:P12582 wd:statement/Q335148-33A9EE23-7701-422C-9CFD-CBDEF7BDF030
p:P1280 wd:statement/Q335148-9BC6B3A8-A0D0-40F4-9111-EAB2B6A455B2
p:P12946 wd:statement/Q335148-EEF9F6A5-3E64-475F-8901-FB4314C7AD72
p:P12975 wd:statement/Q335148-A30ED18C-4D1F-4CD1-A2E8-0CD218B3520C
p:P13049 wd:statement/Q335148-711E11D9-6BB5-4CB3-95A1-EB92E0A5BFC9
p:P1343 wd:statement/Q335148-B8B3CD5D-611F-4C5D-8668-0B281B17FE0F
wd:statement/Q335148-f06119e7-6d22-4fbe-be09-616c1930cb5c
p:P135 wd:statement/Q335148-f7d783f5-4934-06fa-f66e-bf1e28dee150
p:P13591 wd:statement/Q335148-620968F5-5ECF-4CF7-BCC7-AB265EB9A9DE
p:P1368 wd:statement/q335148-0ca33564-4ed3-4117-b20a-78b55da8dec8
p:P1375 wd:statement/q335148-e3d18508-44e9-e0e4-6e8f-f6d2c151977a
p:P13951 wd:statement/Q335148-0095947F-2954-4290-B44D-0BDD0CBE447A
wd:statement/Q335148-936B26CF-2FA2-436F-9D09-1373956A9D5B
wd:statement/Q335148-AC7462EE-1864-4F35-8FD8-5F948AF9B1B3
wd:statement/Q335148-BADAEA75-58F2-4590-804A-564F662E1C8C
p:P1412 wd:statement/Q335148-7B5ACC9C-DFD6-4646-9488-DDDA5A7B0917
p:P1417 wd:statement/Q335148-942346D7-0BB2-4E08-B414-FAE73BB028AF
p:P14178 wd:statement/Q335148-1790A673-3422-4A39-8BAD-661B121EEFAD
p:P14225 wd:statement/Q335148-B029F263-682D-4605-B664-F948D56ED4B6
p:P1477 wd:statement/Q335148-dcf938ee-4fbc-faab-7891-9d216ae92685
p:P1556 wd:statement/Q335148-9b2a243f-4de6-af18-caba-9efe41a3441a
p:P1563 wd:statement/Q335148-512E130A-809B-4CCF-85C0-90CF4BAACAA4
p:P166 wd:statement/Q335148-434dd540-4fc7-5bba-bf57-58ad54e5e760
wd:statement/Q335148-82E21C58-DB68-4D53-823D-46A843E755F3
wd:statement/Q335148-D2C2DA28-5BF9-43BA-925E-039B15158036
p:P1695 wd:statement/Q335148-83b41462-6870-4a6d-9b22-8ed71afd9ee1
wd:statement/Q335148-9e0d88eb-8e2e-45a1-8224-493ace30d691
p:P18 wd:statement/Q335148-ADD5EA7D-0EAA-4D72-83EF-03CBA67C01B6
p:P184 wd:statement/Q335148-142DD9FE-6ABD-4229-BC93-522176F405B8
p:P185 wd:statement/Q335148-2AA77713-3820-434B-B52B-665EDDD7D123
wd:statement/Q335148-446f84f8-4419-4fa6-9a0f-2bc5f5fe3786
wd:statement/Q335148-5b0a6e41-51c0-42a4-86df-3f1c11fb6997
wd:statement/Q335148-682cbc1f-daaa-4e8e-a842-c9f3f40cd476
wd:statement/Q335148-8311d170-ba23-455c-a961-76e058dfc46f
wd:statement/Q335148-ADB2C15B-9A39-449F-9116-6EB46F32FE20
wd:statement/Q335148-FCF82039-435B-4D63-8E06-E0827E6C1EB1
wd:statement/Q335148-af86e09b-2129-4bc5-8ef5-aa3091859d4c
wd:statement/Q335148-b0d6178e-a55d-4d5e-8825-4a7b7d46fb16
wd:statement/Q335148-bef45f61-fa0d-455d-afc4-9e45bf479cc4
wd:statement/Q335148-dcec687c-9026-43df-8176-84447410aaa3
wd:statement/Q335148-ed27ac1f-a62c-4bc2-ba19-15a8af6b04c3
wd:statement/Q335148-f3df2cf5-adea-4744-a274-a79574a3d492
p:P19 wd:statement/q335148-57C92382-E91F-43C3-B3D6-A1C2AEE45FCF
p:P20 wd:statement/q335148-8C7C5C33-6BA7-4D94-ADF0-76F5DA6790C4
p:P21 wd:statement/Q335148-83F9A34E-3ACB-4EDE-8D2D-972CBFBBF3B0
p:P213 wd:statement/q335148-EF37DBB5-DF94-4990-994E-5B949C5BB81D
p:P214 wd:statement/q335148-5AA0973C-EA72-408B-9F40-9A6A3065D44D
p:P2163 wd:statement/Q335148-858C1AFF-59AE-4257-BD27-EE556B91DE8E
p:P227 wd:statement/q335148-3C53D62D-2724-44E6-9CC2-EBB598FD2650
p:P2381 wd:statement/Q335148-6ae17422-4550-1971-3572-b5d2ad523a98
p:P241 wd:statement/Q335148-00bf95e9-4c09-c6cf-0763-cec6b39e1c7d
p:P244 wd:statement/q335148-9FD18EF7-99FF-4644-836C-FBC08767C7F7
p:P2456 wd:statement/Q335148-ccd7b863-40bf-bcc7-540f-4d6227e794da
p:P268 wd:statement/Q335148-D142A919-385B-4C52-BBEB-2DD11242165D
p:P269 wd:statement/Q335148-886B57B3-3F53-4D75-9914-68E047A05ABF
p:P27 wd:statement/q335148-E2606F65-70E0-4978-BF09-D116AB57B3AD
p:P271 wd:statement/Q335148-CEC03D9D-C10D-4D4D-8ADA-2EAD1A7CEC4E
p:P2949 wd:statement/Q335148-90D6A19E-CE76-4B4D-A063-8CB23321AE0E
p:P2963 wd:statement/Q335148-F7709E44-C5A4-4868-9FCD-0309C95934FB
p:P3065 wd:statement/q335148-803fb312-4ab5-2280-1457-8342bf0d99dc
p:P31 wd:statement/Q335148-588A6753-D587-4E92-B492-F8AF255985AB
p:P3219 wd:statement/Q335148-C0856FC7-6DF4-4066-906E-4564003E79C4
p:P3222 wd:statement/Q335148-062680EA-D399-4C7D-80ED-5DB8B5C927C7
p:P3365 wd:statement/Q335148-B50D082F-3E16-4D8B-85B2-E92401F53DF5
p:P3368 wd:statement/Q335148-60EE33E1-D96B-4AC6-B060-5ADC70F1BDCB
p:P3430 wd:statement/Q335148-50F0201A-A84F-4934-9E7F-1FB9ADDC9F63
p:P349 wd:statement/q335148-6202638D-E62D-4100-B732-C2636AE9303D
p:P3630 wd:statement/Q335148-956E8C77-225B-4FEE-8851-EFCF3249732D
p:P396 wd:statement/Q335148-F715C161-134E-4B4A-8220-73252521D7CD
p:P3987 wd:statement/Q335148-5D9ED5DB-EC3E-4520-AD59-6188361FB055
p:P410 wd:statement/Q335148-8a0243c5-4c82-cd9b-7843-e27f9858900d
p:P4215 wd:statement/Q335148-7366A258-15E7-43FA-9E76-732E8BEA7EB4
p:P463 wd:statement/Q335148-0280BB09-AEA8-4CA6-9978-E87EF27ED5BF
wd:statement/Q335148-9C73FA54-FF67-4DDF-9E4F-21B746CCF2CE
p:P4955 wd:statement/Q335148-625386AD-7BFE-486A-879E-7BDE20E839B8
p:P5019 wd:statement/Q335148-13BC6AFD-26A9-4428-A528-0D0B52DBB002
p:P549 wd:statement/q335148-B901C51D-4E1A-4DFD-AA36-B65839517A8A
p:P5587 wd:statement/Q335148-E693A654-F068-4FDA-A7FB-139C52D0DBBB
p:P569 wd:statement/q335148-3B538541-6DF4-4150-B40A-28620B4F208B
p:P570 wd:statement/q335148-1A22D35B-80D3-47F3-B752-C10D6908158B
p:P5731 wd:statement/Q335148-11C87808-F4F7-4A5F-BF61-A39874EB3633
p:P5739 wd:statement/Q335148-17C3627F-1FCB-4C67-A6B8-F83EC7DB3833
p:P607 wd:statement/Q335148-7abb5f0b-4507-8184-db55-f96d18530d02
p:P6104 wd:statement/Q335148-74F64E05-A34E-452C-B3C8-2F9DDB74C156
p:P6394 wd:statement/q335148-fea23bda-4c9e-d240-ac33-a0696aec2c98
p:P646 wd:statement/Q335148-9D5EFB91-881F-4660-8CB0-FE31EF6DB59D
p:P648 wd:statement/Q335148-20597318-63E1-4033-815F-C9AC3072432C
p:P6594 wd:statement/Q335148-1E4BED8C-232A-481E-9BAC-766759C90109
p:P6706 wd:statement/Q335148-97200617-C074-4A66-A445-937BD4F737B5
p:P69 wd:statement/Q335148-723E08A1-7F52-4ABB-8B1D-325451F9C0BE
wd:statement/Q335148-7BB9F1F0-2FCA-4FAE-B5B0-C029645D4E40
p:P691 wd:statement/Q335148-D5FA1A64-B67D-4526-88AD-0087EED9ECA8
p:P7293 wd:statement/Q335148-702256C2-6DF6-448E-B3AC-708AE8845E5C
wd:statement/Q335148-E5065A22-76B6-4A41-AE35-1B74F84BBA19
p:P734 wd:statement/Q335148-58376aaa-4b1c-fe21-6cbe-f44da06573db
p:P735 wd:statement/Q335148-526f1389-45c7-99f3-6278-b76cfc1458eb
wd:statement/Q335148-FE70E1D0-CB0E-4028-9504-720CB50EEE28
p:P7666 wd:statement/Q335148-9E9636E5-65A1-43A4-BADA-0C0A5B8B8E0E
p:P7699 wd:statement/q335148-5e2584fa-404a-9583-1b94-21601faffa9d
p:P7902 wd:statement/Q335148-F09963E3-B315-487C-84F2-6517907DF71F
p:P800 wd:statement/Q335148-054b3c71-4d17-7f9f-835b-2f900e59678b
wd:statement/Q335148-0999b747-4529-70e9-f025-d57d2186b4f0
wd:statement/Q335148-2707417d-4f0e-8aee-e42c-2daa45018f63
wd:statement/Q335148-4100e635-4d15-3b24-8a6e-85ee7319acb5
wd:statement/Q335148-43c65513-4140-0ae0-d904-aaef92b7bc62
wd:statement/Q335148-5ce47b12-4724-5565-972f-2b4cf867bed5
wd:statement/Q335148-64468e27-4b63-80bc-f7a9-8c952d70fb0a
wd:statement/Q335148-69011052-4655-4e47-1041-3152b3d0ef86
wd:statement/Q335148-6cc89d46-4524-16dc-1574-2326f2789281
wd:statement/Q335148-89afcdaa-4119-6dda-465c-414999ac530c
wd:statement/Q335148-a3cf9abf-400d-a28a-9ce6-5977954c4296
wd:statement/Q335148-babf16a6-4bab-adea-0de2-0a0565d38699
wd:statement/Q335148-c47d9b68-41f4-2469-b0cc-da21e036480f
p:P8179 wd:statement/q335148-8671696a-4e72-05f8-675a-3e5be28f5a65
p:P8189 wd:statement/Q335148-DE2EF3A7-C1E9-4C23-9416-13E835AFF600
p:P864 wd:statement/Q335148-4565cf9f-4388-cd56-f905-3f624f3eb7d1
p:P866 wd:statement/Q335148-998FDEB1-6784-45C6-8899-933E79EDC9F2
p:P906 wd:statement/Q335148-0EA20738-5B93-4CFA-84DB-95C438918A13
p:P910 wd:statement/Q335148-2A510EF9-5C5E-4549-AB05-38B47C8D7B9E
p:P9247 wd:statement/Q335148-B1D95159-48ED-4CD3-BDEE-E7992EE07339
p:P950 wd:statement/Q335148-0EC5424C-9AF3-42B6-8FA6-899528E02694
p:P9621 wd:statement/Q335148-98FBC811-7001-4482-A503-CD85157D4B82
p:P9964 wd:statement/Q335148-E03A1FD4-E373-4BE0-9955-183B955DA806
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p068466587>
p:direct-normalized/P1015 <https://livedata.bibsys.no/authority/90708278>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140282266572222976.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/41901318>
p:direct-normalized/P2163 <http://id.worldcat.org/fast/1721826>
p:direct-normalized/P227 <https://d-nb.info/gnd/136329632>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n79106427>
p:direct-normalized/P2456 <https://dblp.org/pid/09/6481>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb12281199v#about>
p:direct-normalized/P269 <http://www.idref.fr/031634052/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA01672795#entity>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00445849>
p:direct-normalized/P5587 <https://libris.kb.se/gdsvw5900d3krs9#it>
p:direct-normalized/P5739 <http://catalogo.pusc.it/auth/43205>
p:direct-normalized/P648 <http://openlibrary.org/works/OL2709233A>
p:direct-normalized/P906 <http://libris.kb.se/resource/auth/193770>
p:direct-normalized/P950 <https://datos.bne.es/resource/XX1331417>
wdt:P1006 "068466587"
wdt:P101 theoretical computer science
theory of computation
wdt:P10141 "63881"
wdt:P1015 "90708278"
wdt:P1026 wd:Q56040843
wdt:P106 logician
university teacher
mathematician
philosopher
computer scientist
wdt:P10757 "527889"
wdt:P108 United States Navy
Princeton University
Amherst College
University of Wisconsin–Madison
wdt:P10832 "E39PBJt8m48C4bXHvjmFPXbw4q"
wdt:P11496 "1140282266572222976"
wdt:P1207 "n00715007"
wdt:P12458 "96880"
wdt:P12582 "20110810105223908"
wdt:P1280 "48020579"
wdt:P12946 "Stephen+Cole+Kleene"
wdt:P12975 "5254"
wdt:P13049 "136329632"
wdt:P1343 Armenian Soviet Encyclopedia, vol. 5
Great Soviet Encyclopedia (1969–1978)
wdt:P135 intuitionism
wdt:P13591 "person/329c757b-c205-4e22-bc7a-8d69de88216e"
wdt:P1368 "000049297"
wdt:P1375 "000387811"
wdt:P13951 "134673"
"134865"
"588905"
"982973"
wdt:P1412 English
wdt:P1417 "biography/Stephen-Cole-Kleene"
wdt:P14178 "jx20061215011"
wdt:P14225 "981005797911209366"
wdt:P1477 "Stephen Cole Kleene"@en
wdt:P1556 "kleene.stephen-cole"
wdt:P1563 "Kleene"
wdt:P166 Guggenheim Fellowship
National Medal of Science
Leroy P. Steele Prize
wdt:P1695 "a0000002080172"
"a0000002874426"
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Stephen%20Cole%20Kleene.jpg>
wdt:P184 Alonzo Church
wdt:P185 Douglas Clarke
Gene Fuerst Rose
Clifford Spector
Paul Axt
Richard Vesley
Shih-Chao Liu
David Philip Kierstead
Joan Moschovakis
Dick de Jongh
Nels David Nelson
Robert Lee Constable
Yiannis N. Moschovakis
J. W. Addison
wdt:P19 Hartford
wdt:P20 Madison
wdt:P21 male
wdt:P213 "0000000114711821"
wdt:P214 "41901318"
wdt:P2163 "1721826"
wdt:P227 "136329632"
wdt:P2381 "189342"
wdt:P241 United States Navy
wdt:P244 "n79106427"
wdt:P2456 "09/6481"
wdt:P268 "12281199v"
wdt:P269 "031634052"
wdt:P27 United States
wdt:P271 "DA01672795"
wdt:P2949 "Kleene-2"
wdt:P2963 "37361"
wdt:P3065 "A003458053"
wdt:P31 human
wdt:P3219 "stephen-cole-kleene"
wdt:P3222 "stephen-kleene"
wdt:P3365 "stephen-cole-kleene"
wdt:P3368 "1306242"
wdt:P3430 "w65t4dzp"
wdt:P349 "00445849"
wdt:P3630 "257649"
wdt:P396 "RAVV071503"
wdt:P3987 "57809"
wdt:P410 lieutenant commander
wdt:P4215 "Stephen Kleene"
wdt:P463 National Academy of Sciences
American Academy of Arts and Sciences
wdt:P4955 "102495"
wdt:P5019 "kleene-stephen-cole"
wdt:P549 "8012"
wdt:P5587 "gdsvw5900d3krs9"
wdt:P569 "1909-01-05T00:00:00+00:00"^^xsd:dateTime
wdt:P570 "1994-01-25T00:00:00+00:00"^^xsd:dateTime
wdt:P5731 "8919"
wdt:P5739 "43205"
wdt:P607 World War II
wdt:P6104 WikiProject Mathematics
wdt:P6394 "a11975519"
wdt:P646 "/m/07476"
wdt:P648 "OL2709233A"
wdt:P6594 "stephen-cole-kleene"
wdt:P6706 "Kleene,+Stephen+Cole"
wdt:P69 Princeton University
Amherst College
wdt:P691 "jx20061215011"
wdt:P7293 "9810556696505606"
"9810668100205606"
wdt:P734 Kleene
wdt:P735 Cole
Stephen
wdt:P7666 "stephen-cole-kleene"
wdt:P7699 "LNB:BRZU;=Bf"
wdt:P7902 "136329632"
wdt:P800 The foundations of intuitionistic mathematics
Kleene's algorithm
Kleene's recursion theorem
lambda calculus
Kleene algebra
Kleene fixed-point theorem
Church–Kleene ordinal
Kleene's O
Kleene's T predicate
Kleene–Brouwer order
Kleene–Rosser paradox
Kleene star
Kleene's theorem
wdt:P8179 "ncf12091057"
wdt:P8189 "987007263900105171"
wdt:P864 "81100029226"
wdt:P866 "k-c-cole"
wdt:P906 "193770"
wdt:P910 Category:Stephen Cole Kleene
wdt:P9247 "56983"
wdt:P950 "XX1331417"
wdt:P9621 "kleene"
wdt:P9964 "136329632"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata