|
rdfs:label
|
"Arend Heyting"@an
"Arend Heyting"@ast
"Arend Heyting"@ca
"Arend Heyting"@cs
"Arend Heyting"@cy
"Arend Heyting"@da
"Arend Heyting"@de
"Arend Heyting"@de-at
"Arend Heyting"@de-ch
"Arend Heyting"@en
"Arend Heyting"@es
"Arend Heyting"@fi
"Arend Heyting"@fr
"Arend Heyting"@ga
"Arend Heyting"@gl
"Arend Heyting"@io
"Arend Heyting"@it
"Arend Heyting"@jut
"Arend Heyting"@nb
"Arend Heyting"@nl
"Arend Heyting"@nn
"Arend Heyting"@pl
"Arend Heyting"@pms
"Arend Heyting"@pt
"Arend Heyting"@pt-br
"Arend Heyting"@ro
"Arend Heyting"@sc
"Arend Heyting"@sco
"Arend Heyting"@sje
"Arend Heyting"@sl
"Arend Heyting"@sq
"Arend Heyting"@sv
"Arend Heyting"@tr
"Аренд Гейтинг"@ru
"Аренд Гейтінг"@uk
"Аренд Хејтинг"@mk
"Аренд Хејтинг"@sr
"ארנד הייטינג"@he
"آرند هیتینق"@azb
"آرند هیتینگ"@fa
"ارند هيتينج"@arz
"アレン・ハイティング"@ja
"阿蘭德·海廷"@zh
"아런트 헤이팅"@ko
|
|
skos:altLabel
|
"# Arend Heijting"@nl
"A. Heyting"@en
"A. Heyting"@nl
"Arend Heijting"@de
"Arend Heyting"@sr
"Arend Heyting"@zh
"Heyting"@de
"Heyting"@fr
"Heyting"@it
"Гейтинг Аренд"@ru
"Гейтинг, Аренд"@ru
"ارند هیتینگ"@fa
"هیتینگ"@fa
|
|
schema:description
|
"Dutch mathematician and logician (1898-1980)"@en
"Nederlands wiskundige"@nl
"Nizozemský matematik a logik."@cs
"holenderski matematyk"@pl
"matematico e logico olandese"@it
"matemàtic neerlandès"@ca
"mathématicien néerlandais"@fr
"nederlandsk matematikar"@nn
"nederlandsk matematiker"@da
"nederlandsk matematiker"@nb
"nederländsk matematiker"@sv
"niederländischer Mathematiker"@de
"голландський математик та логік"@uk
"استاذ جامعة من مملكه نيديرلاند"@arz
"ریاضیدان هلندی"@fa
"ডাচ গণিতবিদ ও যুক্তিবিদ (১৮৯৮-১৯৮০)"@bn
"ডাচ্চ গণিতজ্ঞ আৰু যুক্তিবিদ (১৮৯৮-১৯৮০)"@as
"ಗಣಿತಜ್ಞ"@kn
|
|
schema:dateModified
|
"2026-10-06T14:46:11+00:00"^^xsd:dateTime
|
|
schema:version
|
2553976762
|
|
wikibase:identifiers
|
54
|
|
wikibase:sitelinks
|
22
|
|
wikibase:statements
|
99
|
|
p:P1006
|
wd:statement/Q641771-7D2B9B00-7331-42EC-8D06-14F5D3802D65
|
|
p:P101
|
wd:statement/Q641771-2D6AAA3F-BB32-435F-8758-A6DB12453436
|
|
wd:statement/Q641771-459C66D2-352E-4C26-B06B-7F0428D3ACA5
|
|
p:P1015
|
wd:statement/Q641771-21D5E192-D87D-481A-821D-54C53F62423B
|
|
p:P1026
|
wd:statement/Q641771-fce9afc8-444d-f7b8-1a87-f9746dbef511
|
|
p:P103
|
wd:statement/Q641771-1B672705-A0A2-4D2B-8A54-E0237FC89350
|
|
p:P106
|
wd:statement/Q641771-3244A30D-02DA-4150-81E4-84BB6ABA03E1
|
|
wd:statement/Q641771-3342F887-6888-418C-BB6A-96923C182DA2
|
|
wd:statement/q641771-37551531-6CA2-45B7-9BB7-1E71FF01CCD1
|
|
p:P1066
|
wd:statement/Q641771-9ad6651e-4cc6-6f1a-3db2-ec6e301f737f
|
|
wd:statement/Q641771-ccde0ca6-4a4d-237d-9437-719a056560cc
|
|
p:P108
|
wd:statement/Q641771-7B08D85C-1C1B-46D1-BE23-8D41F68ADDB2
|
|
wd:statement/Q641771-96A3CE20-CC7A-43B6-A6AF-43F95D032543
|
|
wd:statement/Q641771-F6E2DE4D-CD9B-4D40-AAFD-0F0863BDAE46
|
|
wd:statement/Q641771-bb6f2e2f-45c4-eb74-d9b4-86b6a079f11e
|
|
p:P10832
|
wd:statement/Q641771-5C489867-2CD9-4DDD-92D9-9A8E9CB4A3CE
|
|
p:P11496
|
wd:statement/Q641771-C3CA0020-C368-46F6-9A90-9A57F9F9D347
|
|
p:P11686
|
wd:statement/Q641771-4DC2EBFE-C518-4F19-876C-D5E0F5ADBBEB
|
|
p:P1207
|
wd:statement/Q641771-BD03B95C-939A-4DFF-AC21-D2E593B706F2
|
|
p:P12458
|
wd:statement/Q641771-0E218818-C7FB-4B90-9B63-B94E0D9D139C
|
|
p:P1280
|
wd:statement/Q641771-C68BAAE1-7BA2-48E5-AE07-40772BDAF149
|
|
p:P13049
|
wd:statement/Q641771-2F822031-F93B-485F-98D2-0F4EC60A0EDD
|
|
p:P1315
|
wd:statement/Q641771-967DB03F-0086-4B60-81AA-3A50CAD4F9D9
|
|
p:P1368
|
wd:statement/Q641771-7DDA730A-5506-4D43-B831-A02E79972465
|
|
p:P13951
|
wd:statement/Q641771-7A28E42E-297D-464B-B462-74841A2ACF6D
|
|
p:P1412
|
wd:statement/Q641771-8C62F6D9-ED40-44F7-98C7-A72306BAD1B9
|
|
wd:statement/Q641771-978ADB56-6253-4EE6-8DD2-D1021EC87416
|
|
p:P1417
|
wd:statement/Q641771-CEEA2243-1E2E-4D1F-8AAF-0228ED50C7B0
|
|
p:P14178
|
wd:statement/Q641771-91C03A48-42D3-4171-865D-01908B84F60D
|
|
p:P1556
|
wd:statement/Q641771-9E45E6DF-01F3-44C0-A8D5-2AF1D1CBBBAE
|
|
p:P1563
|
wd:statement/Q641771-B4629059-BCEC-49E2-A21E-4F3529B1A316
|
|
p:P18
|
wd:statement/Q641771-40D2507F-6A9D-4141-8BD0-106ED159CE63
|
|
p:P184
|
wd:statement/Q641771-F71317DB-2E72-46C9-8C3B-BE30CA8E6421
|
|
p:P185
|
wd:statement/Q641771-11d229db-677d-4d7b-a6f0-00d38d5fe9e6
|
|
wd:statement/Q641771-32c968f5-4de4-4096-8118-643d21a3550d
|
|
wd:statement/Q641771-4ce35812-167f-44a5-ba00-ef38e469e267
|
|
wd:statement/Q641771-4e477428-4adb-4f21-568a-27ae6eb04f65
|
|
wd:statement/Q641771-55966347-494e-6461-6ef1-2319d89ccf80
|
|
wd:statement/Q641771-75fb3195-5f3a-4334-b689-727022697430
|
|
wd:statement/Q641771-8fb62bec-8c5f-4199-9f9d-b38a4e0f22ce
|
|
wd:statement/Q641771-9dd16315-211b-4e4f-9343-08efe7ff5fb2
|
|
wd:statement/Q641771-d2196f69-0246-4c81-99c8-83be3e7722de
|
|
p:P19
|
wd:statement/Q641771-289BDAE5-5F3E-4721-9A85-B25E99FC883B
|
|
p:P20
|
wd:statement/Q641771-9B605115-5DE6-4A7B-8669-6714D4EB6D60
|
|
p:P21
|
wd:statement/Q641771-6793C87B-951A-457B-9D23-A008EFC1163A
|
|
p:P213
|
wd:statement/q641771-071158AB-E6E3-4443-8E15-21AC0F6D9008
|
|
p:P214
|
wd:statement/q641771-FAAE303B-34BE-45B4-96F6-08253027DBDE
|
|
p:P2163
|
wd:statement/Q641771-DB52BEEA-C0B1-48EB-B4C9-E9B2D7D14C4B
|
|
p:P227
|
wd:statement/q641771-BFD20E80-406B-40EC-B7F7-055317221047
|
|
p:P2381
|
wd:statement/Q641771-054d29c3-4d6f-3cd0-f81e-ea7683032014
|
|
p:P244
|
wd:statement/q641771-ACEFA386-8913-4745-82B1-6756154D97D6
|
|
p:P2454
|
wd:statement/Q641771-520E6CE6-B72E-4DB3-B99B-96AED0B483B6
|
|
p:P2456
|
wd:statement/Q641771-26CFA5B3-52F2-4827-8CE3-3FE75C2892D1
|
|
p:P268
|
wd:statement/q641771-2BB2F61C-6B63-47FB-9F7E-1824D93D1246
|
|
p:P269
|
wd:statement/q641771-C1E9146D-94D1-4508-97D8-4125802F1509
|
|
p:P27
|
wd:statement/q641771-D9DC55A1-7A36-4A95-9B93-1987CF42DE7F
|
|
p:P271
|
wd:statement/Q641771-939EE0A2-6A79-44B9-8629-3F52B74D1749
|
|
p:P2949
|
wd:statement/Q641771-7D0DD1DD-2CCB-46EC-84E5-FE47E7C71C3D
|
|
p:P2963
|
wd:statement/Q641771-76A13A3C-F207-49DC-9E64-6297F0A535C5
|
|
p:P31
|
wd:statement/Q641771-64D802AE-7DDC-445D-8678-6E5B0C38AE54
|
|
p:P3222
|
wd:statement/Q641771-3F28B32D-93B8-44BB-BE71-631CAB82EA85
|
|
p:P3365
|
wd:statement/Q641771-6B83CD01-8E61-4B23-9CE4-E2E9C8361D97
|
|
p:P3368
|
wd:statement/Q641771-0F0A5972-B045-47FD-9040-AFEC3D2D4574
|
|
p:P3430
|
wd:statement/Q641771-49DC62F5-0B7E-4326-B8B0-B335DD170EC2
|
|
p:P373
|
wd:statement/Q641771-b3d04213-e98e-469a-bd15-86f9ab310332
|
|
p:P3987
|
wd:statement/Q641771-202393DA-D1E8-4246-8C15-71E8E914C5F8
|
|
p:P4215
|
wd:statement/Q641771-F578E73D-A114-4E52-BA76-B7EE1F049068
|
|
p:P463
|
wd:statement/Q641771-6348F4DD-2100-4E7A-A641-E64C5107681A
|
|
p:P4955
|
wd:statement/Q641771-E4FA79FB-4B2E-4E34-A76F-2F95398C51D9
|
|
p:P5019
|
wd:statement/Q641771-C19AA363-D5FF-4B89-8A5C-847D98D92232
|
|
p:P549
|
wd:statement/q641771-28A81834-3E0A-4DC9-9141-A0A3686E7E1C
|
|
p:P569
|
wd:statement/q641771-CE20CA80-3B4F-4378-A16F-50C97D49C15C
|
|
p:P570
|
wd:statement/q641771-BD298255-0C04-4E41-B01C-76DD6E418C2B
|
|
p:P6104
|
wd:statement/Q641771-287B5847-0B09-4389-B1FE-0B13A86E09AF
|
|
p:P646
|
wd:statement/Q641771-FCFCACA0-B556-4BAC-B100-B5DAF5E08C52
|
|
p:P651
|
wd:statement/Q641771-30F3118C-994E-4713-A4E7-59EAD68B5627
|
|
p:P6815
|
wd:statement/Q641771-AE1BADCC-CB80-4719-9D26-8CE2793882E5
|
|
p:P69
|
wd:statement/Q641771-1C136501-413E-439F-8E46-9BCC6B8643F0
|
|
p:P691
|
wd:statement/Q641771-B361FD52-60FE-4531-8E64-3DAD92A1861F
|
|
p:P723
|
wd:statement/Q641771-FBC9C2D8-10B2-4B95-A629-8D883429454A
|
|
p:P7293
|
wd:statement/Q641771-B03896CC-9786-4640-9CD7-0D75A405DBBC
|
|
p:P734
|
wd:statement/Q641771-f07f8b3c-49ef-af76-5876-f1dfab5415e5
|
|
p:P735
|
wd:statement/Q641771-9053FB14-3D1C-4519-893E-3204293E7044
|
|
p:P7902
|
wd:statement/Q641771-EFFE296A-1ED5-473A-BF83-D7028E4A0D4E
|
|
p:P7941
|
wd:statement/Q641771-CE7E87B4-C61E-4F10-B237-8158D1017780
|
|
p:P7982
|
wd:statement/Q641771-89179D9E-313D-427E-9A0D-2F577BE8A6C4
|
|
p:P7993
|
wd:statement/Q641771-803646F3-F672-4337-8527-465C3BBC4F99
|
|
p:P800
|
wd:statement/Q641771-1cc56791-4c2b-70c8-3905-24692c6fdaf0
|
|
wd:statement/Q641771-24499c05-4bdb-3299-7cda-f52b1f7485e4
|
|
wd:statement/Q641771-3c33ca86-4d47-10d6-2b00-154d832f27b3
|
|
wd:statement/Q641771-69a8ac7c-4df0-a437-ff31-0fc164281020
|
|
wd:statement/Q641771-7ee42f8e-47a2-af3a-6935-e5e3fa4e033d
|
|
wd:statement/Q641771-df1091fa-45a2-1ce7-5575-0573dea3d068
|
|
p:P8189
|
wd:statement/Q641771-CFDB0524-436A-4881-A7B8-7FE4F0A4A21C
|
|
p:P8349
|
wd:statement/Q641771-46F0F290-18B4-4ECA-86BD-96DC6AF1A3B6
|
|
p:P8947
|
wd:statement/Q641771-1EDE7FFB-C81E-4B57-8899-D97930FBA558
|
|
p:P9621
|
wd:statement/Q641771-F36006CE-4149-4CA4-8D0A-B35233C8B7F2
|
|
p:P9964
|
wd:statement/Q641771-C3FDE1DA-CD9B-40C2-ABF0-DF9B052CC23F
|
|
p:P9984
|
wd:statement/Q641771-C1671C66-46F9-4B3F-802A-1ADC723E3FB3
|
|
p:direct-normalized/P1006
|
<http://data.bibliotheken.nl/id/thes/p068357044>
|
|
p:direct-normalized/P1015
|
<https://livedata.bibsys.no/authority/90226654>
|
|
p:direct-normalized/P11496
|
<https://cir.nii.ac.jp/crid/1140845216683261824.rdf>
|
|
p:direct-normalized/P214
|
<http://viaf.org/viaf/17289656>
|
|
p:direct-normalized/P2163
|
<http://id.worldcat.org/fast/48832>
|
|
p:direct-normalized/P227
|
<https://d-nb.info/gnd/1027693091>
|
|
p:direct-normalized/P244
|
<http://id.loc.gov/authorities/names/n80006204>
|
|
p:direct-normalized/P2456
|
<https://dblp.org/pid/90/5387>
|
|
p:direct-normalized/P268
|
<http://data.bnf.fr/ark:/12148/cb123086774#about>
|
|
p:direct-normalized/P269
|
<http://www.idref.fr/027663426/id>
|
|
p:direct-normalized/P271
|
<https://ci.nii.ac.jp/author/DA00234624#entity>
|
|
p:direct-normalized/P723
|
<http://data.bibliotheken.nl/id/dbnla/heyt004>
|
|
wdt:P1006
|
"068357044"
|
|
wdt:P101
|
mathematics
|
|
logic
|
|
wdt:P1015
|
"90226654"
|
|
wdt:P1026
|
wd:Q105295298
|
|
wdt:P103
|
Dutch
|
|
wdt:P106
|
logician
|
|
university teacher
|
|
mathematician
|
|
wdt:P1066
|
Gerrit Mannoury
|
|
Luitzen Egbertus Jan Brouwer
|
|
wdt:P108
|
University of Amsterdam
|
|
Enschede Municipal Lyceum
|
|
wdt:P10832
|
"E39PBJbxFfqFcr9ddRtRYTRR8C"
|
|
wdt:P11496
|
"1140845216683261824"
|
|
wdt:P11686
|
"981058512945206706"
|
|
wdt:P1207
|
"n01046091"
|
|
wdt:P12458
|
"570811"
|
|
wdt:P1280
|
"146305635"
|
|
wdt:P13049
|
"1027693091"
|
|
wdt:P1315
|
"859146"
|
|
wdt:P1368
|
"000086689"
|
|
wdt:P13951
|
"133534"
|
|
wdt:P1412
|
German
|
|
Dutch
|
|
wdt:P1417
|
"biography/Arend-Heyting"
|
|
wdt:P14178
|
"mzk2015869227"
|
|
wdt:P1556
|
"heyting.arend"
|
|
wdt:P1563
|
"Heyting"
|
|
wdt:P18
|
<http://commons.wikimedia.org/wiki/Special:FilePath/Arend%20Heyting%20%281967%29.jpg>
|
|
wdt:P184
|
Luitzen Egbertus Jan Brouwer
|
|
wdt:P185
|
Christopher G. Gibson
|
|
J. J. W. Berghuys
|
|
Gerard Willem Decnop
|
|
Ashvini Kumar
|
|
Dirk van Dalen
|
|
Bob van Rootselaar
|
|
Anne Sjerp Troelstra
|
|
Jan Johann Albinn Mooij
|
|
Jacobus Gerhardus Dijkman
|
|
wdt:P19
|
Amsterdam
|
|
wdt:P20
|
Lugano
|
|
wdt:P21
|
male
|
|
wdt:P213
|
"0000000108555789"
|
|
wdt:P214
|
"17289656"
|
|
wdt:P2163
|
"48832"
|
|
wdt:P227
|
"1027693091"
|
|
wdt:P2381
|
"90731"
|
|
wdt:P244
|
"n80006204"
|
|
wdt:P2454
|
"PE00000845"
|
|
wdt:P2456
|
"90/5387"
|
|
wdt:P268
|
"123086774"
|
|
wdt:P269
|
"027663426"
|
|
wdt:P27
|
Kingdom of the Netherlands
|
|
wdt:P271
|
"DA00234624"
|
|
wdt:P2949
|
"Heyting-3"
|
|
wdt:P2963
|
"498223"
|
|
wdt:P31
|
human
|
|
wdt:P3222
|
"arend-heyting"
|
|
wdt:P3365
|
"arend-heyting"
|
|
wdt:P3368
|
"1120856"
|
|
wdt:P3430
|
"w6fs40p8"
|
|
wdt:P373
|
"Arend Heyting"
|
|
wdt:P3987
|
"1023"
|
|
wdt:P4215
|
"Arend Heyting"
|
|
wdt:P463
|
Royal Netherlands Academy of Arts and Sciences
|
|
wdt:P4955
|
"85510"
|
|
wdt:P5019
|
"heyting-arend"
|
|
wdt:P549
|
"45623"
|
|
wdt:P569
|
"1898-05-09T00:00:00+00:00"^^xsd:dateTime
|
|
wdt:P570
|
"1980-07-09T00:00:00+00:00"^^xsd:dateTime
|
|
wdt:P6104
|
WikiProject Mathematics
|
|
wdt:P646
|
"/m/04f1gb"
|
|
wdt:P651
|
"64214067"
|
|
wdt:P6815
|
"id001117"
|
|
wdt:P69
|
University of Amsterdam
|
|
wdt:P691
|
"mzk2015869227"
|
|
wdt:P723
|
"heyt004"
|
|
wdt:P7293
|
"9810673595405606"
|
|
wdt:P734
|
Heyting
|
|
wdt:P735
|
Arend
|
|
wdt:P7902
|
"1027693091"
|
|
wdt:P7941
|
"bwn3/heijting"
|
|
wdt:P7982
|
"25334"
|
|
wdt:P7993
|
"arend-heyting"
|
|
wdt:P800
|
Heyting algebra
|
|
Brouwer–Heyting–Kolmogorov interpretation
|
|
complete Heyting algebra
|
|
Heyting arithmetic
|
|
Heyting field
|
|
free Heyting algebra
|
|
wdt:P8189
|
"987007279140305171"
|
|
wdt:P8349
|
"26309"
|
|
wdt:P8947
|
"64000"
|
|
wdt:P9621
|
"heyting"
|
|
wdt:P9964
|
"1027693091"
|
|
wdt:P9984
|
"981058512945206706"
|
