SHMARQL

Tony Hoare

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

British computer scientist
Tony Hoare
rdfs:label
"Tony Hoare"@en
skos:altLabel
"C.A.R. Hoare"@en
"Sir Charles Antony Richard Hoare"@en
schema:description
"British computer scientist"@en
schema:dateModified "2026-10-25T17:49:43+00:00"^^xsd:dateTime
schema:version 2560774245
wikibase:identifiers 77
wikibase:sitelinks 48
wikibase:statements 175
p:P1006 wd:statement/Q92602-9B58DC2B-3036-48DA-845A-426C8A3A134A
p:P101 wd:statement/Q92602-ac030996-4cb6-d37d-b01c-a20da9b64666
wd:statement/Q92602-fdea7d15-4ee8-eee6-2e14-264628aeb9d3
p:P1015 wd:statement/Q92602-21DC854F-A873-4CBA-8F57-EFB0E3B8AEAE
p:P10227 wd:statement/q92602-68697c2c-422f-958c-a17d-fc3aec1cd012
p:P106 wd:statement/Q92602-35DB76CE-FD44-44C5-BBD8-05FE8B1B7B44
wd:statement/Q92602-B2FD8908-897F-4D17-994D-B2989C32BD5D
wd:statement/Q92602-CAE23AE4-4909-4CB5-9794-FEE3236426B2
wd:statement/Q92602-F51DFB58-0E54-489F-89B1-A704FE005340
wd:statement/Q92602-F82957BE-860A-4C6E-8BED-161E495E3C97
p:P108 wd:statement/Q92602-7bb029f7-4855-e6d3-63cb-9cb906c355b6
wd:statement/Q92602-A29C4F5E-A4D3-4981-BA4A-816FAC30BED2
wd:statement/Q92602-DE8400BD-4E12-4561-9B10-78882C8CAF01
p:P10832 wd:statement/Q92602-f07ab277-4aa2-9345-c5b3-c804e40878ad
p:P11182 wd:statement/Q92602-399E5DEA-28A3-475D-834E-16B589582BF1
p:P11249 wd:statement/Q92602-A365F810-016C-4DCA-9B86-5F93888D6015
p:P11496 wd:statement/Q92602-DA6C50F7-00CB-476E-AA3F-2107B5C44E81
p:P11514 wd:statement/Q92602-79CBD8BE-EF49-4A27-A2A8-327CF29612CB
p:P1153 wd:statement/Q92602-19a86262-4105-e3ef-8b8b-e3512971edc5
p:P1207 wd:statement/Q92602-23DE345B-3550-4A41-BD31-E4EB84C4AD4E
p:P1280 wd:statement/Q92602-D03797AD-1585-4B8F-B7D7-4EFADC6406A3
p:P12946 wd:statement/Q92602-1A0563BB-F51C-48F8-BBC4-616D2A16FB6B
wd:statement/Q92602-AA958679-9922-4CD4-B521-168E45F85785
p:P13049 wd:statement/Q92602-CC8C1BFF-5858-488B-90BE-A08145D366C6
p:P1315 wd:statement/Q92602-61D5AAE1-2FFD-4462-B54A-4685F53CA605
p:P1368 wd:statement/Q92602-B0F8F4B5-9F7F-415C-AA81-6FF63BFBA6B9
p:P1375 wd:statement/Q92602-43494E77-FCC0-4F35-A477-99D8CA39C758
p:P13951 wd:statement/Q92602-D41C907E-F01B-429A-A1EB-1ED59BED9394
p:P14091 wd:statement/Q92602-2577FB54-4571-4299-B7C7-843C97314FA8
p:P1412 wd:statement/Q92602-3CC85C3F-ACAA-4E13-9323-DDCE5638F2B1
wd:statement/Q92602-82ed4031-47fe-da20-d185-478abf222291
wd:statement/Q92602-a0bb9ec3-4400-a28d-0770-575b40bec2d0
wd:statement/Q92602-b59feede-4c1c-0630-1a6a-19dce00d4550
p:P1417 wd:statement/Q92602-1D98B733-47AD-469A-BC96-1A8698185A7C
p:P14178 wd:statement/Q92602-BB460667-565C-4F2B-BC78-3EEAAC82BEDB
p:P14225 wd:statement/Q92602-E9C6719F-2AF7-49DA-98A8-824D792DC654
p:P1449 wd:statement/Q92602-06b3e748-4464-6850-038f-c6d9933e7edf
wd:statement/Q92602-79cec1b9-4e1e-eb63-601d-730f9b087052
p:P14536 wd:statement/Q92602-A11125D5-EAD6-4367-950D-11B07413BF3A
p:P1477 wd:statement/Q92602-5fa89faa-48b4-4ad0-e30f-1fd471594315
p:P1556 wd:statement/Q92602-1F7F7951-E148-4634-A251-74B79A8D4910
p:P1559 wd:statement/Q92602-f1ac8e85-4bfa-7dce-90a7-7ce2b31d354d
p:P166 wd:statement/Q92602-12B4EBFF-E93B-4178-A246-251849C11B33
wd:statement/Q92602-1ADEBED0-680C-407D-BCA2-0C384860B45B
wd:statement/Q92602-1D79F0D9-C611-4305-9584-A7880266D0F6
wd:statement/Q92602-3070A670-7317-496C-9E94-2A3F706DD9A8
wd:statement/Q92602-3B990772-31D6-431D-94DF-C9E7E085E118
wd:statement/Q92602-48720EF4-5EDF-4532-89F5-64BCB2D02D2F
wd:statement/Q92602-67F4BCBF-D2D9-4063-9F71-D9469A447EDE
wd:statement/Q92602-7FE9D54D-2A6C-4FE6-8CAC-51AC25621914
wd:statement/Q92602-9A75B196-F23B-4FF7-9AB1-13AC83D032F6
wd:statement/Q92602-9F9C5ECD-96BC-4FFD-9B03-00A7BF3A9C1D
wd:statement/Q92602-A6CAB344-6C7A-4CC8-BB49-75FBC805FAE0
wd:statement/Q92602-AADF97DA-B9D6-4ADE-ACE1-5D864B484994
wd:statement/Q92602-D59F9A23-CD15-4B28-8468-C22D5CABB144
wd:statement/Q92602-E1BBD26E-037F-4251-8870-664336CA5C0A
wd:statement/Q92602-F32F82D8-DE24-4971-B3F1-2994DFDE0042
p:P1695 wd:statement/Q92602-9C950960-A823-4AD0-91A6-40EBD2A53313
p:P18 wd:statement/Q92602-C3F281DA-2CAC-4DA3-B303-7F7E478663CC
p:P1819 wd:statement/Q92602-46F6C285-B47E-445B-80B9-8081CE66C173
p:P184 wd:statement/Q92602-5c042567-48f6-3dac-f201-9a758697d243
wd:statement/Q92602-bdba0635-454c-7a37-933e-8ec4d66b7a40
p:P185 wd:statement/Q92602-061cbfb9-1998-4db1-bb83-9bb1a0aa5ace
wd:statement/Q92602-1dc01e04-de58-430f-8d6a-4b0ac2f6d24a
wd:statement/Q92602-2661867d-4b87-4c4c-a8fe-971e2e75398a
wd:statement/Q92602-35eb7422-4121-e047-be0a-18c74a90ff9f
wd:statement/Q92602-3b09c170-8a46-4a4a-b10b-f7f9feea7112
wd:statement/Q92602-3b1c222b-89d8-400c-beda-81f7732bc80d
wd:statement/Q92602-3e3ef13c-a130-49ed-ad22-0eb0c09293a8
wd:statement/Q92602-4d0cd49c-86b0-4546-9ab4-0d766d0d7a3b
wd:statement/Q92602-52bc195b-dbd9-4f28-8c47-b0252c3f5d7b
wd:statement/Q92602-554d35fc-47ca-f98c-5f7b-c9c5e396b421
wd:statement/Q92602-5665d862-782a-4ade-8df6-57661e66c1c7
wd:statement/Q92602-5f818e21-d5a1-44d3-8fbc-97b2c04826bc
wd:statement/Q92602-78825f12-d8d2-42b1-8c33-782b537cd17d
wd:statement/Q92602-82b5d843-cd8d-42f8-92b7-4efd9c4d4a90
wd:statement/Q92602-83d3e5ac-974b-4212-b3e6-442da83221c4
wd:statement/Q92602-87a09a74-b87e-4adf-8b2b-bfc47c38a763
wd:statement/Q92602-96490f76-0317-4b88-9f3a-7a45e7fc3a23
wd:statement/Q92602-9db77623-307b-4097-97cb-51da99ce43e5
wd:statement/Q92602-b0817cc2-4a26-efa7-12c3-c4eba847a3e2
wd:statement/Q92602-cdfbc42b-5d8b-46f5-9c92-e73f43f8b4c3
wd:statement/Q92602-d84931aa-fc5b-4d95-90fa-3d3868520dda
wd:statement/Q92602-ebe0080e-4c4e-497b-a3d8-02fb5c1b7e87
wd:statement/Q92602-f5693bbc-ff65-457d-9a44-9ec573f7678f
p:P19 wd:statement/Q92602-9F1D013A-01CE-418F-8ECC-A3D825AFCD46
p:P1971 wd:statement/Q92602-ba6e3f9b-4255-f759-b088-3bd84d18fbff
p:P20 wd:statement/Q92602-71ede192-4f48-b029-8cb1-1c8da1f0cbd1
p:P2021 wd:statement/Q92602-47BABE2C-CA73-4B66-A610-39B5857F6758
p:P2070 wd:statement/Q92602-A6719ECB-714C-4C7D-8CAC-26DE19CC4B7E
p:P21 wd:statement/Q92602-98DBF6BF-F1B0-48FE-89BD-EB4139BEE441
p:P213 wd:statement/q92602-EF01C82E-8E65-496F-A055-56551B7C2283
p:P214 wd:statement/q92602-155B451B-4BA3-48A6-95F2-694DA5B6D875
p:P2163 wd:statement/Q92602-3262DDFC-B279-4237-A180-DF0871F93FAA
p:P2179 wd:statement/Q92602-48D3E7FD-5558-44A6-8508-0ABB7D807036
p:P22 wd:statement/Q92602-E88B39A8-B694-4C4D-AB4D-F001F90EAA83
p:P227 wd:statement/q92602-00329C9D-C534-4DF4-B5D6-D3DED2B780F1
p:P244 wd:statement/q92602-B010A7C7-2CD5-48BB-BE41-BA03E99C8838
p:P2456 wd:statement/Q92602-30715921-47ee-6771-a556-7031a6800593
p:P25 wd:statement/Q92602-4FB8CD67-BDA7-4A75-896E-015B096147DE
p:P26 wd:statement/Q92602-99ed6ce7-4049-cb37-4f1c-96c2a2ae45a5
p:P269 wd:statement/Q92602-0FC643EC-8510-4AA6-9918-31BA422B76A0
p:P27 wd:statement/Q92602-8CF8FB0F-26AF-4191-8265-CEC15041E364
p:P271 wd:statement/Q92602-17C582D8-C30D-48B1-B872-ECB695FB0F19
p:P2924 wd:statement/Q92602-ff227dcf-4129-3b59-10f2-17e437d9d3c5
p:P3065 wd:statement/q92602-8261594f-43aa-8db3-6498-bd0b580bb448
p:P31 wd:statement/Q92602-3B9AD054-A1A5-4798-BCC4-5B21B6AB1B04
p:P3222 wd:statement/Q92602-13BC04D1-FB5C-46AD-99B9-EFFB7131E0B1
p:P3368 wd:statement/Q92602-6CD4B7CF-F18D-4590-A6A6-7D03BC7EEBC5
p:P3388 wd:statement/Q92602-A1358A45-9F79-4850-9D04-A8EE8A9F4B97
p:P3417 wd:statement/Q92602-47DCF27E-A30C-434B-8705-7AF99C0B54C0
p:P3430 wd:statement/Q92602-14DB098F-3E05-4961-B04F-597138E510B6
p:P349 wd:statement/Q92602-3138DC5B-25E4-46E4-8543-4E9A4CD73F53
p:P373 wd:statement/q92602-41FCF5CB-CF5F-47DE-B1BB-F3E76EE46E73
p:P396 wd:statement/Q92602-7FB61A93-880E-46D2-AD7B-60232E987490
p:P3987 wd:statement/Q92602-2B370BC0-3195-4CDD-B7A7-BD61115CC291
wd:statement/Q92602-5766FC6C-0A4E-4E80-BA03-58C9BB1AECD1
wd:statement/Q92602-B042C6DC-1E9C-45CD-A6BB-48F206E5051C
p:P409 wd:statement/q92602-3d2d16e6-480c-582b-9956-826822129fa3
p:P4629 wd:statement/Q92602-447F7E95-66C6-402F-A46F-844CE76AA04F
p:P463 wd:statement/Q92602-0D012DFA-E27A-430D-B0C0-4E1C5E050C4A
wd:statement/Q92602-5E50DFF9-D474-4215-BB6E-610ECE2C0E4C
wd:statement/Q92602-6F4B6767-563D-44F0-8C3D-28DE5FCBA26D
wd:statement/Q92602-74662A9F-E587-4F33-9787-2D42FCC8A406
wd:statement/Q92602-D739EC3B-5A9A-49A5-9D45-B378916DECA4
wd:statement/Q92602-FB1C885D-7D0F-4E4A-8403-950C27BBFC48
wd:statement/q92602-214ED5AA-F31A-4B80-ABD6-E471A694C59E
p:P4638 wd:statement/Q92602-308C5173-4178-4356-A664-0C5AD4040000
p:P4789 wd:statement/Q92602-3c42d6de-43c0-a577-8a36-d177e7c8f4df
p:P4872 wd:statement/Q92602-ADB55255-6E7D-43CF-9883-BFF126EC07AA
p:P4955 wd:statement/Q92602-0b48e171-4198-f94f-4e17-4a4b6448a548
p:P511 wd:statement/Q92602-A8B53523-BA56-4E71-8590-70CC173AB1F4
p:P512 wd:statement/Q92602-22F244C3-1F24-426A-BD14-5F481F8A9BE1
p:P5297 wd:statement/Q92602-F733AE1C-2B1B-4E8A-BBAA-4632E5C1CC7C
p:P5361 wd:statement/Q92602-B3108204-0327-4755-86B7-DF96F4E0D7CF
p:P5380 wd:statement/Q92602-b5ae5a3e-4098-6de0-b5e3-764a36fb2d83
p:P5463 wd:statement/Q92602-0C1FB5F8-BD93-4438-891C-142C3021C417
p:P549 wd:statement/Q92602-6d05fee2-4a1b-0687-eaa3-35365179f4ab
p:P5587 wd:statement/Q92602-706BB11C-7E64-4C9F-8914-561890DA37B8
p:P569 wd:statement/q92602-ECC458EE-35D6-4F3F-87B2-9D6DDCD49F2B
p:P570 wd:statement/Q92602-ee6adcb5-44c1-9d32-0fb6-1d5e475ec34c
p:P6104 wd:statement/Q92602-A960573C-861C-43F9-A5FA-81F405453641
p:P6262 wd:statement/Q92602-DEAF141D-818B-48C3-AF70-B0FACB4387FB
p:P646 wd:statement/Q92602-C7828E3B-55C2-474A-9306-D4AB4822BC04
p:P648 wd:statement/Q92602-08753A09-DB94-4228-9295-269235632A2E
p:P6886 wd:statement/q92602-3064e3eb-48c6-3864-83f7-87390066f76d
p:P69 wd:statement/Q92602-12136bec-455d-06bb-878c-a4456b9aa28c
wd:statement/Q92602-26f4159c-4eb7-adc1-c8ba-ac6c6a2458c9
wd:statement/Q92602-50127AF2-094B-448F-9216-8F070CCA15FF
wd:statement/Q92602-7D5AFA05-ADEB-4DAE-9B90-B12A200E3B05
wd:statement/Q92602-97D26FB3-A619-4011-8244-171F36A1D39A
p:P691 wd:statement/Q92602-1F71E9C0-6152-47CF-B605-320B3D5A362E
p:P7184 wd:statement/Q92602-CB434D81-C217-4842-A125-1CA866DE0A70
p:P7293 wd:statement/Q92602-E0612D89-7CBE-4156-A5C5-D678972CA750
wd:statement/Q92602-E1E64396-1836-4B7A-A34A-48BE9673F751
p:P7305 wd:statement/Q92602-5CE436A7-951A-4DE9-B7B9-EA6A90AD8863
p:P734 wd:statement/Q92602-B5C48B14-05CF-4F63-8624-E7040D50705E
p:P735 wd:statement/Q92602-5088da8b-4d51-c185-6fd6-fe4d4ae39b88
wd:statement/Q92602-5CB4B006-CAF9-4634-ADFE-C0D805313DF1
wd:statement/Q92602-e9070427-467b-52f4-1e94-2401316da180
p:P7699 wd:statement/q92602-1551a02c-47fd-7aec-a235-8b093581c7ee
p:P800 wd:statement/Q92602-0e195756-4ee2-da3f-08b1-3da4aafdbef7
wd:statement/Q92602-33a771a1-4a51-e1c8-3a63-608bd873a1b2
wd:statement/Q92602-3e8727ed-441e-50b2-9345-888611237859
wd:statement/Q92602-6a4a8ad9-442c-aec0-bb1b-febc21672ff3
p:P8179 wd:statement/q92602-af257f9c-4bd3-9e3c-0782-29aea25b2ba9
p:P8189 wd:statement/Q92602-8AE0B48D-A160-4CB1-A6A1-BCB604B3B902
p:P856 wd:statement/Q92602-B27A7235-2711-4B73-8944-617631D88D08
p:P864 wd:statement/Q92602-3a30fc93-4ccb-1d73-d1dc-fed68c8433bb
wd:statement/Q92602-68D23C45-1FDA-41E2-A1FD-041668C545FD
wd:statement/Q92602-c2bd7e68-4f01-1cd1-0826-63d49657c438
p:P8669 wd:statement/Q92602-3aad41f6-4b8d-923c-5a38-e0ec4240fe8b
p:P906 wd:statement/Q92602-D134E386-F679-4F77-A1F6-A12F77588FC1
p:P9545 wd:statement/Q92602-0817E566-9DD4-44C1-B4C9-1F924A179D89
p:P9871 wd:statement/Q92602-F06AD655-A196-488D-B197-06525900C74E
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p074960059>
p:direct-normalized/P1015 <https://livedata.bibsys.no/authority/90243370>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140845216609620352.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/108123782>
p:direct-normalized/P2163 <http://id.worldcat.org/fast/1463049>
p:direct-normalized/P227 <https://d-nb.info/gnd/119103265>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n84148204>
p:direct-normalized/P2456 <https://dblp.org/pid/h/CARHoare>
p:direct-normalized/P269 <http://www.idref.fr/059577576/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA00020063#entity>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00443453>
p:direct-normalized/P5361 <https://bl.natbib-lod.org/wd-HoareCAR(CharlesAntonyRichard)1934->
p:direct-normalized/P5587 <https://libris.kb.se/gdsvq7z02f16w2r#it>
p:direct-normalized/P648 <http://openlibrary.org/works/OL220593A>
p:direct-normalized/P906 <http://libris.kb.se/resource/auth/61170>
wdt:P1006 "074960059"
wdt:P101 computer science
informatics
wdt:P1015 "90243370"
wdt:P10227 "vtls000015172"
wdt:P106 university teacher
writer
programmer
engineer
computer scientist
wdt:P108 Microsoft
University of Oxford
Queen's University Belfast
wdt:P10832 "E39PBJd8dcpHCjCXDjKtFghmBP"
wdt:P11182 "81600"
wdt:P11249 "14742690"
wdt:P11496 "1140845216609620352"
wdt:P11514 "khoar-entoni-b40486"
wdt:P1153 "7004618288"
wdt:P1207 "n95002488"
wdt:P1280 "79318883"
wdt:P12946 "Anthony+Hoare"
wdt:P13049 "119103265"
wdt:P1315 "861391"
wdt:P1368 "000065181"
wdt:P1375 "000697965"
wdt:P13951 "286679"
wdt:P14091 "1147-hoare-charles-antony-richard"
wdt:P1412 English
Ancient Greek
Latin
Russian
wdt:P1417 "biography/Charles-Antony-Richard-Hoare"
wdt:P14178 "mub2011666475"
wdt:P14225 "981005660523009366"
wdt:P1449
"Tony"@en
wdt:P14536 "369798"
wdt:P1477 "Charles Antony Richard Hoare"@en
wdt:P1556 "hoare.c-a-r"
wdt:P1559 "Tony Hoare"@en
wdt:P166 Faraday Medal
Friedrich L. Bauer Prize
Fellow of the Royal Society
Harry H. Goode Memorial Award
Fellow of the Royal Academy of Engineering
Turing Award
ACM Fellow
Computer History Museum Fellow
Programming Languages Achievement Award
Computer Pioneer Award
honorary doctor of the University of Madrid Complutense
Fellow of the British Computer Society
Kyoto Prize in Advanced Technology
IEEE John von Neumann Medal
Knight Bachelor
wdt:P1695 "a0000002460079"
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Sir%20Tony%20Hoare%20IMG%205125.jpg>
wdt:P1819 "I00277482"
wdt:P184 Andrey Kolmogorov
Leslie Fox
wdt:P185 William James Stewart
Stephen D. Brookes
David Andrew Naumann
Andrew Philip Black
Peter Lauer
Jeremy Jacob
Masud Malik
John Elder
Jim (Wolfgang) Kaubisch
Richard Kennaway
T. Yung Kong
Geraint Jones
Christopher Dollin
Alex Teruel
Bryan Todd
Stephen Page
Clare Martin
Ken Wood
Stephen Brien
Paul Rudin
Augusto Sampaio
Bill Roscoe
Cliff Jones
wdt:P19 Colombo
wdt:P1971 3.0^^xsd:decimal
wdt:P20 Cambridge
wdt:P2021 4.0^^xsd:decimal
wdt:P2070 "11627"
wdt:P21 male
wdt:P213 "0000000121467986"
wdt:P214 "108123782"
wdt:P2163 "1463049"
wdt:P2179 "10011377"
wdt:P22 Henry Samuel Malortie Hoare
wdt:P227 "119103265"
wdt:P244 "n84148204"
wdt:P2456 "h/CARHoare"
wdt:P25 Marjorie Francis Villiers
wdt:P26 Jill Pym
wdt:P269 "059577576"
wdt:P27 United Kingdom
wdt:P271 "DA00020063"
wdt:P2924 "4694918"
wdt:P3065 "A003375047"
wdt:P31 human
wdt:P3222 "c-a-r-tony-hoare"
wdt:P3368 "642223"
wdt:P3388 "95124"
wdt:P3417 "C-A-R-Hoare"
wdt:P3430 "w6vt663z"
wdt:P349 "00443453"
wdt:P373 "C. A. R. Hoare"
wdt:P396 "CFIV069117"
wdt:P3987 "543592"
"556844"
"567"
wdt:P409 "35198576"
wdt:P4629 "Hoare, C. A. R. (Charles Antony Richard), 1934-"
wdt:P463 UK Computing Research Committee
Royal Society of London
Association for Computing Machinery
National Academy of Sciences
Academia Europaea
Accademia Nazionale dei Lincei
Bavarian Academy of Sciences and Humanities
wdt:P4638 "p14062.htm#i140620"
wdt:P4789 "U20298"
wdt:P4872 "165296355"
wdt:P4955 "198295"
wdt:P511 Sir
wdt:P512 Doctor of Science
wdt:P5297 "MhFY57dKVKi9eWc2EDEAfGS1D8s"
wdt:P5361 "HoareCAR(CharlesAntonyRichard)1934-"
wdt:P5380 "20012016"
wdt:P5463 "Hoare_Charles"
wdt:P549 "45760"
wdt:P5587 "gdsvq7z02f16w2r"
wdt:P569 "1934-01-11T00:00:00+00:00"^^xsd:dateTime
wdt:P570 "2026-03-05T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P6262 "microsoft:Tony_Hoare"
wdt:P646 "/m/09tcw"
wdt:P648 "OL220593A"
wdt:P6886 English
wdt:P69 Lomonosov Moscow State University
The King's School Canterbury
University of Oxford
Dragon School
Merton College
wdt:P691 "mub2011666475"
wdt:P7184 "09tcw"
wdt:P7293 "9810640595405606"
"9810693943405606"
wdt:P7305 "3912119"
wdt:P734 Hoare
wdt:P735 Richard
Antony
Charles
wdt:P7699 "LNB:ZNA;=BF"
wdt:P800 communicating sequential processes
Hoare logic
quicksort
null
wdt:P8179 "ncf12094773"
wdt:P8189 "987007262637405171"
wdt:P856 <http://www.cs.ox.ac.uk/people/tony.hoare/>
wdt:P864 "81385591905"
"81548013995"
wdt:P8669 "hoare-charles-anthony-richard"
wdt:P906 "61170"
wdt:P9545 "209745"
wdt:P9871 "4046"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata