SHMARQL

Leslie Lamport

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

American computer scientist
Leslie Lamport
rdfs:label
"Leslie Lamport"@en
skos:altLabel
"Leslie B. Lamport"@en
"Leslie Barry Lamport"@en
schema:description
"American computer scientist"@en
schema:dateModified "2026-11-09T00:50:50+00:00"^^xsd:dateTime
schema:version 2566812752
wikibase:identifiers 44
wikibase:sitelinks 44
wikibase:statements 100
p:P1006 wd:statement/q92613-277e2aea-41e7-e47c-26c9-11c3c55ac40d
p:P101 wd:statement/Q92613-70a4470c-45cc-fc2d-87da-bccf474acb7f
wd:statement/Q92613-8ffb590c-45a9-adcb-4376-9d6b9bbeda58
p:P1015 wd:statement/Q92613-30BC6AEE-453F-40D7-8F3D-C89F499FD7BF
p:P103 wd:statement/Q92613-a87a7136-497e-378a-bea8-02845bc7780a
p:P106 wd:statement/Q92613-34808904-4f39-b0c1-e4b8-0bcbc1b32a27
wd:statement/Q92613-79175101-41a2-fa3a-ed43-c12742ee9409
wd:statement/Q92613-B8487E5D-B4B9-444E-B8DD-8484916C350C
wd:statement/Q92613-E2ECA638-7BAB-4F15-94C6-95B6F1297E1C
wd:statement/q92613-63188720-C48E-4207-B429-21511C240FD0
p:P108 wd:statement/Q92613-125c8f26-4799-845c-36c5-1e321733a539
wd:statement/Q92613-3f2c44b7-404f-852e-7bd7-76a4eae8e733
wd:statement/Q92613-4d34cff0-4c27-88fb-b7f5-0fb553ccf290
wd:statement/Q92613-e518f1a4-49a9-2562-caaf-42af00ad66ad
p:P10832 wd:statement/Q92613-5BBEB52D-5137-4086-885E-FD253F4902D8
p:P11182 wd:statement/Q92613-8B25B17B-9E11-4FE9-9144-0B561A3BE907
p:P11496 wd:statement/Q92613-EDF87724-3586-43C6-B219-3DBB0DF039BC
p:P1153 wd:statement/Q92613-783e82d6-4a5d-0a84-8c1d-88e13fe90e72
p:P1207 wd:statement/Q92613-15EC9C69-17D9-48D0-9D7E-B41279C381ED
p:P12458 wd:statement/Q92613-34BB52BF-8B6A-46F6-9469-F9BAEAE46D01
p:P1280 wd:statement/Q92613-DAF228E2-6A85-4964-9A58-D08A6AC45F67
p:P13049 wd:statement/Q92613-61ED6305-6E45-44DD-B038-2E91306E3234
p:P1315 wd:statement/Q92613-0E0B2ACC-4035-4B75-992B-8BBBD7929BBF
p:P13408 wd:statement/Q92613-C8A8017D-C459-4E91-AD85-F257B598B88E
p:P13591 wd:statement/Q92613-843834F4-50FF-439A-B428-E5374BD24986
p:P1412 wd:statement/Q92613-4457aa57-48e4-594d-c7fb-6f1345b46500
p:P1417 wd:statement/Q92613-7D89C246-2E38-41E9-A6AE-F998D0FEF2E7
p:P1556 wd:statement/Q92613-AA5D9869-A0D5-41C3-BD0C-DE841DB39008
p:P1559 wd:statement/Q92613-c3b23a54-4160-3704-9584-f939902024db
p:P166 wd:statement/Q92613-0bc4b6f6-472b-7e62-0cb0-aea5dbec7d7d
wd:statement/Q92613-13d250ab-4384-7584-6b6b-3ba5957b9e93
wd:statement/Q92613-2ab49142-4c89-5c49-ec55-e89e4b0cbcb1
wd:statement/Q92613-3f9ee763-454f-a442-cafa-7c275dc5c4db
wd:statement/Q92613-59264575-A86E-4678-B054-260B739C5BC6
wd:statement/Q92613-75d37b7b-4c76-b663-feb5-066fa219aa4f
wd:statement/Q92613-95b8d6e9-4429-a95b-dc27-e8b0aba49c17
wd:statement/Q92613-9C3545AF-FF91-4AB2-A3BD-2317C07E1E08
wd:statement/Q92613-a9123718-4b73-2118-652f-6909679f7988
wd:statement/Q92613-aa4b8bbd-48d1-450e-33a5-67c64a6c43db
wd:statement/Q92613-e16c7fce-4cde-808a-33b3-5faa73d4ca00
wd:statement/Q92613-e6096450-4d42-1cf5-e58e-f4921614fb7b
wd:statement/Q92613-f0a63f28-416c-acaa-e4a3-7661f837a80f
p:P1695 wd:statement/Q92613-b626e90c-8f52-4a0f-a183-413aae9ddd16
p:P18 wd:statement/Q92613-A3D2206A-FE34-458E-A480-DCDAE552FEE4
p:P184 wd:statement/Q92613-6df9ab6e-46fc-37d2-0123-ebf8c9ed44dc
p:P19 wd:statement/q92613-C36243C7-6A94-4976-8FAD-3AA0F921D177
p:P2021 wd:statement/Q92613-BCAA9457-A7FB-401C-8C77-C7CC867BEC0E
p:P21 wd:statement/q92613-E1A3E4AB-FEBA-418B-8282-88F36DFC1B9E
p:P213 wd:statement/q92613-D2953866-6161-4EBA-BEDC-D35F37FCAEFF
p:P214 wd:statement/q92613-EDE2D2AE-B7D3-46F6-AD05-A678C399BDBF
p:P2163 wd:statement/Q92613-76DD107E-4005-43DC-88E1-87EE3EEFDD69
p:P227 wd:statement/Q92613-36C3A0B5-318C-4583-A85E-5E8552F09DA4
p:P244 wd:statement/q92613-90B7D1B4-D348-462B-A3A3-46B75B4515C5
p:P2456 wd:statement/Q92613-d31fefc1-4590-fd6d-e5ac-869c6dd3415a
p:P268 wd:statement/Q92613-DAA2679B-E6FD-4C65-91DF-E62FDCF0F7A8
p:P269 wd:statement/Q92613-FDBC1671-8D11-4135-A778-4885F70C969A
p:P27 wd:statement/q92613-30FE7C4F-BA02-45C1-B5F4-908EF68482CE
p:P271 wd:statement/Q92613-1773C89B-B138-4A2F-96D7-36F598D36D2E
p:P3065 wd:statement/q92613-6a5329ea-4c91-d0ba-fc5c-7445ebeb5e5b
p:P31 wd:statement/Q92613-0C3C99C2-360D-4B80-9433-2FCB67DFABEA
p:P3368 wd:statement/Q92613-7EE1E7A1-B46F-4457-9CB1-4CEAF0B4B87B
p:P3417 wd:statement/Q92613-9C6A914A-41FA-4FA8-B356-30B8909AF0D0
p:P349 wd:statement/q92613-2C8E1BD7-A3FB-4CEF-9DE6-C0535A0EED90
p:P373 wd:statement/q92613-0E6D61FF-E516-40C1-9C18-F2900B78C681
p:P3874 wd:statement/Q92613-041b9b94-496b-8654-256a-94d356ac5c15
p:P396 wd:statement/Q92613-2F1F8F8F-AB19-493E-8D4C-352F575A920D
p:P3987 wd:statement/Q92613-CB356016-0B9F-4D59-B65B-D0C70D3BB5AE
p:P463 wd:statement/Q92613-2111E756-DD7F-4053-BD13-4AB596E35B6C
wd:statement/Q92613-278A8E41-9283-4580-86E3-3C276D36774A
wd:statement/Q92613-8C772AF3-9D16-43D1-8288-B7772D43076D
wd:statement/Q92613-fcfe43c8-4d3b-7272-1582-acd30eba6ef0
p:P4955 wd:statement/Q92613-EE189233-6550-4A0B-88F2-93AE742DE999
p:P512 wd:statement/Q92613-581cce35-4d87-a71f-3f87-b1b77815099b
wd:statement/Q92613-e11f06e9-4602-b935-8227-d187f4fff4c6
p:P5380 wd:statement/Q92613-2EFE7C22-C5BE-4C19-8627-C3072CD68AEE
p:P549 wd:statement/q92613-1C3C3D23-32DD-46FB-8D67-4FFFBCFB967A
p:P569 wd:statement/q92613-7F750339-5FC0-4F7B-8F7C-8B183A6729F7
p:P5739 wd:statement/Q92613-B5EC51A7-D246-4D8C-AA00-FA2D47C21CC6
p:P6104 wd:statement/Q92613-875010E6-A0F4-4DB8-88D6-A37F7AB32A29
p:P646 wd:statement/Q92613-85234D2C-5FBF-4E7A-9731-DD5346AC7F7E
p:P6479 wd:statement/Q92613-f197b681-4b78-51f0-4d61-8c286b1d46d8
p:P648 wd:statement/Q92613-E4B0FB5A-DC6B-4C04-AC77-D3597BC52BC5
p:P69 wd:statement/Q92613-045f7cee-44f6-2cdd-2edd-d9ba327b77d8
wd:statement/Q92613-7B291F8D-F242-4892-93DC-4766A6B4C912
wd:statement/Q92613-b808662e-4a62-cd2a-ed18-6c04159cf78d
p:P7184 wd:statement/Q92613-AFC1A96D-8F4A-4201-AC21-EC0406C4F667
p:P7293 wd:statement/Q92613-ADB7FFFD-26CA-47CD-A381-2B43048E863D
p:P734 wd:statement/Q92613-1877E808-E9D0-4E01-B1D5-45B952399B22
p:P735 wd:statement/Q92613-808F955D-B07A-4A2A-B124-11C415361E7F
p:P800 wd:statement/Q92613-1f8624f8-4e87-7023-cfb8-9a9f32e09659
wd:statement/Q92613-3f605609-4c64-13a6-e393-3a07b19b6c4b
wd:statement/Q92613-530b5f5a-4350-6f05-6f4b-5753bfffe30c
wd:statement/Q92613-63eaabc9-477b-240b-4fe0-0b631c461bc0
wd:statement/Q92613-ab602e6a-4f3b-c2fe-4755-2fe08444d282
p:P8179 wd:statement/q92613-39b808c3-450a-817b-6b98-d40e563adcd7
p:P8189 wd:statement/Q92613-14702D55-30D7-4CC4-9C71-A28807D6A22E
p:P856 wd:statement/Q92613-FD41C45B-5EEA-4BEB-A7CF-B70CDA23735F
p:P864 wd:statement/Q92613-07237637-4622-066c-e642-9debe3102606
p:P910 wd:statement/Q92613-0B48C14C-5344-4F1A-944F-908AF0EDB5E9
p:P935 wd:statement/Q92613-BCCD2EEA-9229-49A8-8AC3-97C4987AE71F
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p071801502>
p:direct-normalized/P1015 <https://livedata.bibsys.no/authority/90401042>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140845216683443712.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/44417132>
p:direct-normalized/P2163 <http://id.worldcat.org/fast/157469>
p:direct-normalized/P227 <https://d-nb.info/gnd/170465918>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n85197221>
p:direct-normalized/P2456 <https://dblp.org/pid/l/LeslieLamport>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb12572554j#about>
p:direct-normalized/P269 <http://www.idref.fr/035040696/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA00289830#entity>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00470060>
p:direct-normalized/P5739 <http://catalogo.pusc.it/auth/45077>
p:direct-normalized/P648 <http://openlibrary.org/works/OL720767A>
wdt:P1006 "071801502"
wdt:P101 distributed computing
computer science
wdt:P1015 "90401042"
wdt:P103 English
wdt:P106 mathematician
writer
programmer
engineer
computer scientist
wdt:P108 Microsoft Research
SRI International
MITRE Corporation
Digital Equipment Corporation
wdt:P10832 "E39PBJgMD7pxVhPkHyVXGP9kXd"
wdt:P11182 "23624"
wdt:P11496 "1140845216683443712"
wdt:P1153 "7005489216"
wdt:P1207 "n93129494"
wdt:P12458 "166773"
wdt:P1280 "32976739"
wdt:P13049 "170465918"
wdt:P1315 "1071194"
wdt:P13408 "29821"
wdt:P13591 "person/f4408138-5e47-42d4-b03d-3912bd75aa14"
wdt:P1412 English
wdt:P1417 "biography/Leslie-Lamport"
wdt:P1556 "lamport.leslie"
wdt:P1559 "Leslie Lamport"@en
wdt:P166 honorary doctorate
Dijkstra Prize
honorary doctorate of the Henri Poincaré University
Turing Award
ACM Fellow
honorary doctor of the University of Rennes I
IEEE Emanuel R. Piore Award
honorary doctor of the École polytechnique fédérale de Lausanne
IEEE John von Neumann Medal
honorary doctor of the Christian Albrechts University of Kiel
wdt:P1695 "a0000001155676"
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Leslie%20Lamport.jpg>
wdt:P184 Richard Palais
wdt:P19 New York City
wdt:P2021 3.0^^xsd:decimal
wdt:P21 male
wdt:P213 "0000000063073806"
wdt:P214 "44417132"
wdt:P2163 "157469"
wdt:P227 "170465918"
wdt:P244 "n85197221"
wdt:P2456 "l/LeslieLamport"
wdt:P268 "12572554j"
wdt:P269 "035040696"
wdt:P27 United States
wdt:P271 "DA00289830"
wdt:P3065 "A003492261"
wdt:P31 human
wdt:P3368 "266772"
wdt:P3417 "Leslie-Lamport"
wdt:P349 "00470060"
wdt:P373 "Leslie Lamport"
wdt:P3874 "leslie-b-lamport"
wdt:P396 "MILV019266"
wdt:P3987 "26752"
wdt:P463 Association for Computing Machinery
National Academy of Engineering
National Academy of Sciences
American Academy of Arts and Sciences
wdt:P4955 "109715"
wdt:P512 Doctor of Philosophy
Master of Science
wdt:P5380 "58614"
wdt:P549 "35871"
wdt:P569 "1941-02-07T00:00:00+00:00"^^xsd:dateTime
wdt:P5739 "45077"
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/01bszb"
wdt:P6479 "37275733500"
wdt:P648 "OL720767A"
wdt:P69 Massachusetts Institute of Technology
Brandeis University
Bronx High School of Science
wdt:P7184 "01bszb"
wdt:P7293 "9810541610705606"
wdt:P734 Lamport
wdt:P735 Leslie
wdt:P800 distributed computing
temporal logic of actions
TLA+
LaTeX
Paxos
wdt:P8179 "ncf10991142"
wdt:P8189 "987007452666005171"
wdt:P856 <http://www.lamport.org/>
wdt:P864 "81100244989"
wdt:P910 Category:Leslie Lamport
wdt:P935 "Leslie Lamport"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata