@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

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