{"entities":{"Q5016215":{"pageid":7045792,"ns":120,"title":"Item:Q5016215","lastrevid":91093298,"modified":"2026-06-04T22:14:27Z","type":"item","id":"Q5016215","labels":{"en":{"language":"en","value":"Higher order functions and Brouwer's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443769"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$3CED2FB2-2B05-45D7-8AC2-F507EE8B2FEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"513d71ebe73be6888871f5da119567823240b96b","datavalue":{"value":{"text":"Higher order functions and Brouwer\u2019s thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5016215$6DF7EB26-142D-4CCE-A2DC-E35D143C76E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12032952233d8fb51425f2b12524ae47daf2787f","datavalue":{"value":"10.1017/S0956796821000095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016215$A6E8A804-E08E-4F1E-85DB-1ADDFB8321FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$AA83CD0B-81E3-42A6-8903-DDA9F2AAC10D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$405702E8-129C-43E3-AB8B-DE1B59160F2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5016215$E1F51052-3675-443C-A0EC-24671568D03A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"579c0473f7d27add6dabce1001fe56adc0d56d3d","datavalue":{"value":"https://arxiv.org/abs/1608.03814","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016215$F8F533A5-1D45-4F69-AF3B-283310E9FF42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016215$AF9F7E03-C2D6-4697-A9EE-43B30CD186CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e56336d4be7fce1a2dd9d2cfa5603b42beb3e537","datavalue":{"value":"7443769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016215$6903DF7A-F7C1-4E87-9F7C-6A754528A434","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$30B056A8-FB35-4514-B9C5-D825E8B5B0C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7aaec12b0f7c5a5eb58eb7ccb9a7efc91d0f40c","datavalue":{"value":{"entity-type":"item","numeric-id":3399181,"id":"Q3399181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$0122C419-C7D3-49C0-A92D-EF65F74A57B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723181149bc76fc04bd81827f7c4179af95f0f31","datavalue":{"value":{"entity-type":"item","numeric-id":5145297,"id":"Q5145297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$9D354662-4856-4BD1-B0E0-F91E6E618BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b5b6e9f021e031867879536327c2da7df83afc","datavalue":{"value":{"entity-type":"item","numeric-id":3005437,"id":"Q3005437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$1C770BC2-7FBA-452F-913C-0784FEF4E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2721ca29a9c620a594fc68dd6ee98284334a8fc","datavalue":{"value":{"entity-type":"item","numeric-id":2811334,"id":"Q2811334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$8DF0DCD0-E4A5-4505-91A1-7FEC00FB7105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1a861358bd0353d0f8a6abf7486568be23b76f","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$544D4C4A-8273-4A7A-9F84-9D265C41B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e3f915abf61a33091940b2e7199423f76f10b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144677,"id":"Q5144677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$307B22E9-FB89-4FBA-A8F1-E08E30BB0FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f493278e2dff9c0dc2e9bc612ea2467f9385fc","datavalue":{"value":{"entity-type":"item","numeric-id":5253929,"id":"Q5253929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$1F48FA7B-A36C-48FB-B025-3ECE09ACFE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00b5895e99d191ea2985b1dac8cd0296ccfe42b","datavalue":{"value":{"entity-type":"item","numeric-id":5369482,"id":"Q5369482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$F1F6E935-70EB-40B7-B215-5DB019CAD667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$DC1E5929-3B36-419D-AC08-30FFAD4D18E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$FCD7F60A-761A-4723-B597-A2FE7050494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93bfe091c0eaaa12b537a69c57e801ec8d10e88","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$5135A0D1-EF95-43F0-8242-2C7FF1B51F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae492942142e58a54ecb797d3fb05b571a684f","datavalue":{"value":{"entity-type":"item","numeric-id":3335779,"id":"Q3335779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$1BA3A6EF-79CE-4931-8DDC-E7947B57AD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc79590f2a7d7523a275ff43898ee75c1591f79","datavalue":{"value":{"entity-type":"item","numeric-id":3693527,"id":"Q3693527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$25EE2695-B897-4A92-A865-34738B0EDA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317e22208e2347fc8fe10d4fd3b808788b549011","datavalue":{"value":{"entity-type":"item","numeric-id":2849429,"id":"Q2849429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$B206B5A4-BAA1-4C18-8E26-32D6C72BA67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4309b42a8cb11579a3939b6c640ec49294c00c29","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$0781CD49-503C-40C8-B84F-4C3911B9A27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5f50e2009d6adda718fb79348816d4b7d97383","datavalue":{"value":{"entity-type":"item","numeric-id":3431544,"id":"Q3431544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$866F817D-699F-4EC8-90B7-971AF5AA494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$EF675080-7027-4107-B40A-0D9286C3E369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$D9D69ECB-5620-4533-9915-B5BCC6EAD6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$F7FB0754-ABBC-4625-86FB-3302E7A59B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a424ec46240998a5103a81d1d0521dfe9810f16","datavalue":{"value":{"entity-type":"item","numeric-id":2986815,"id":"Q2986815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$8434A0A8-B814-41FA-AA4C-74826B769259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f6b4a66f9e8feb8a1f63c1710afd4d7b087156","datavalue":{"value":{"entity-type":"item","numeric-id":4635893,"id":"Q4635893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$B7EB9335-5060-43E6-A480-432BF0C2DB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$51B0F08E-AEF2-4F6B-931C-1E4FA915C9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$42AA3A0F-B721-4A19-8E5C-CB972DFE2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$65413CA2-D0A5-4282-8DBA-61EC8418F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$7462DD54-396B-4ABA-8F64-77D67D6DDC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2290b2f23ea5f7526969bf89295f840ed5c21","datavalue":{"value":{"entity-type":"item","numeric-id":2817707,"id":"Q2817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$EACD9D17-F8CD-46CF-98BE-0434EA0B1108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$D1436CD4-6F2E-4F1B-8B85-37778BAF73D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$1532C7EB-1386-4511-9CC5-D7E9342DB55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$F00AAA13-B258-4BEA-B953-5B4A86ACC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$BEE60817-411A-40C1-A076-ECB22CEB8C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49392d2473e1f6ad8055d0f901a113cae0d6d889","datavalue":{"value":{"entity-type":"item","numeric-id":4638975,"id":"Q4638975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$BC481059-9774-4DD1-A8F6-1A8BA0E93335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880dd2d891bee7d89376be3d87fc756a3f8aa32d","datavalue":{"value":{"entity-type":"item","numeric-id":5144660,"id":"Q5144660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$6D425201-9B80-4CEC-B275-A84328A11A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57f187571f495f2879ea76bbed5158f67922b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5144620,"id":"Q5144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$40AC4049-A017-401E-B2DA-21E045C52DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b53e3422dfc360fa3b48ba2b1f2f733c0acd83f","datavalue":{"value":{"entity-type":"item","numeric-id":5253924,"id":"Q5253924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$FBC740D3-7DDB-4EC6-9B72-7B81FE067FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5684a36bec92b21620fadc7675826463b2988db","datavalue":{"value":{"entity-type":"item","numeric-id":3870893,"id":"Q3870893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$2012A12C-066D-4B88-AC6D-0EFEEB974B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$2483EA0C-FB6F-4E40-B581-254AB5D9CA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35181534544b2cf98751b1d73e36c3557869be39","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$AC718793-4E1B-42FD-A38F-0C6AC0C534DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b166763a6fbe376540d0eb64b66ab1a857db6c","datavalue":{"value":{"entity-type":"item","numeric-id":5718564,"id":"Q5718564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$B943699F-CA64-42EF-88E4-EF0E820851EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$8974EECB-6BF9-491F-BB92-05484C851A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$BDA3FCFE-4E3E-41A4-9BD4-B5A7AF7C1B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64873a55818a99abcf6a940b7c53adc9e01b03c9","datavalue":{"value":{"entity-type":"item","numeric-id":4795983,"id":"Q4795983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$66B84303-4E61-4673-A9E7-835819344FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa11a04c0f140295c802cb4c1b4a898935164e1","datavalue":{"value":{"entity-type":"item","numeric-id":5316409,"id":"Q5316409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$38DC3062-91F1-49AF-9F55-67F132913F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de3b4e9df890fe6a9a0e73ed4b1da2089af2588","datavalue":{"value":{"entity-type":"item","numeric-id":3143725,"id":"Q3143725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$BE3C6522-7906-4FFD-B060-DDEE01D2A4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5936835a9e4ba0ac0bc472068162c27a6cb583","datavalue":{"value":{"entity-type":"item","numeric-id":798316,"id":"Q798316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$94165FFC-1056-4EB9-A64B-9152923C40C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b682b3d610b7f1c0e51a3b82a067c0a36847b2","datavalue":{"value":{"entity-type":"item","numeric-id":4530611,"id":"Q4530611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$6CAF367A-B6DD-48D4-912B-CB349A90100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$2504F7D0-42A2-43DE-AB75-358F85E3BF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$6C8DC60E-90CB-46E6-9AD8-4D38F336D85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54119931c8652f34e4e925c180bdb5fe3fa48863","datavalue":{"value":{"entity-type":"item","numeric-id":5109510,"id":"Q5109510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$FF7F33A6-5CF2-47DB-804C-31F977CAAA3B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"038bcc550c6670d87a90009c617d8488d73a75aa","datavalue":{"value":"Q126372058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016215$8B0EDA04-0628-4A81-A75E-BC3B94C3A3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a622eb97b0fbb091c3d81562e3fd66f3426336","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e5cd26ed1d368e78a6ef03f637f164e79681c8","datavalue":{"value":{"amount":"+0.7722560167312622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5016215$19B2D15F-9E24-488B-8984-A50A605172EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8828299090c314b8625f3001dbc4da921fe889fe","datavalue":{"value":{"entity-type":"item","numeric-id":5144666,"id":"Q5144666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0c6460db50303eac82b33fb0161022ad7bdd9d","datavalue":{"value":{"amount":"+0.7403830885887146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5016215$14659FA3-8319-4BDC-82A8-D7D3A0B31B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db6c560262dea147d39c3c6ffea00c84eb2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2219099,"id":"Q2219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efba4afffeea110853b38c025ad59b897cee25f1","datavalue":{"value":{"amount":"+0.7386509776115417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5016215$8A07C077-BF74-4C2D-82A3-9FD107EC594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ac7e2522bcc8ba4ac44b829f3eca2eaf83bffb","datavalue":{"value":{"entity-type":"item","numeric-id":5144620,"id":"Q5144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91b8293b6d884984e9ebda7d47dff7d21819fc4","datavalue":{"value":{"amount":"+0.7378575801849365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5016215$1A8959C5-123F-4960-AAD8-6434805FF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2e7b9e363259d7c02dc44541a1b5aed443816","datavalue":{"value":{"entity-type":"item","numeric-id":2417962,"id":"Q2417962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ab6a7689dfa64969c3d041db2eef76b147584f","datavalue":{"value":{"amount":"+0.7371962070465088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5016215$FC4204C4-5D3C-4316-8FBE-E689E95C0806","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016215$06021F72-0E4E-4ABF-AA36-DFA68EC0A7F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher order functions and Brouwer's thesis","badges":[]}}}}}