{"entities":{"Q1577478":{"pageid":1588218,"ns":120,"title":"Item:Q1577478","lastrevid":71339784,"modified":"2026-04-13T21:34:48Z","type":"item","id":"Q1577478","labels":{"en":{"language":"en","value":"Functional interpretation of Aczel's constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501501"}},"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":"Q1577478$AC4D98E4-56A7-4630-A613-B2D7DE28A0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b51d18e4cab4af54248f8602c35c851e48aa818c","datavalue":{"value":{"text":"Functional interpretation of Aczel's constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577478$F676BBDD-EE99-4D70-ABD5-E880A9FFFC37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"069f99ff27850516ff8847a872314f934d24cce8","datavalue":{"value":"0959.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$A658A434-DBAE-47AD-BC53-F5D107C0B7E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fcaf458aa9a822498edd17c608a9c21c84e944a","datavalue":{"value":"10.1016/S0168-0072(00)00007-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$71D3670F-E2B9-412B-9DF8-25459316BFC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f29d23fbbae73ccd3e56314eab48b3694cf512","datavalue":{"value":{"entity-type":"item","numeric-id":1128181,"id":"Q1128181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$C0C23FDE-48F8-4C69-AE73-DD938AA81A9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$DCF32A14-417B-405B-8E8A-D1F1E11B8964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577478$B6994C40-C337-4FCB-AABF-38E2655375CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$713214A8-A3D2-4886-87CE-47B21724ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$0DC635FD-EFB8-4BE8-9DE0-489C505E9E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$731E863C-10C2-43A7-9C51-227D3BA0176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$8311342D-C9D2-4CCD-BCB6-5D6250762C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$628AF6F9-9E36-49E6-B00A-F69C90F860F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e5f0080dfbd26b4de6d1c6278d48c268503a937","datavalue":{"value":"1501501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$789DB0D5-E144-4066-9534-A737360CBEC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577478$BC41AE43-8C9B-4A9D-ADFB-570593476673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585a1515079e6d696eab0f24378271f40c8288a8","datavalue":{"value":"Aczel's constructive set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577478$AE34F8C7-1942-4D89-89D6-44FB3464BA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f10f0466f1d13134276add8deeb2780967a9304","datavalue":{"value":"constructive set functionals of finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577478$3DC14664-1945-4CF8-8735-83B6E0B54068","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":"Q1577478$480CDC60-2835-460C-817B-B09779300793","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$ED175C03-66CD-4E0F-938F-153E06342B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$68690995-73D9-4F73-BE2B-FB13B71121E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$3BBAD6A5-7B80-4F5C-ADB9-C42F6CBDC08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c134c8834faa3b9ef54e42e1a13616bb20168fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1295369,"id":"Q1295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$9DFCD4D5-2F45-4FA7-A2CC-27E5042CEF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$61952D93-D889-48D4-8B21-7767F133FA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$01EE1EAE-E224-4C20-9742-0FF2C0EE2991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$4C18EF79-DD75-4486-8365-D57192E59A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$87F45154-AD73-4B60-B19C-439170D0CF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$55957F7A-130E-4DD8-AC98-11684F472EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$4479B876-F537-490E-AD77-8EF97BBE6E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52f964e47cbf034a9823e01276538f3988d8802","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$AF056588-7C49-4652-A5D0-786B4782430D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21b3933a73171f21e0c9085ecd8522337907b75","datavalue":{"value":{"entity-type":"item","numeric-id":1590194,"id":"Q1590194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$E94FDE68-2C6F-4D02-BA19-E3297034F6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251e60abfae9090712a279dcf1b0df7455dcc717","datavalue":{"value":{"entity-type":"item","numeric-id":1128184,"id":"Q1128184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$BDA5469B-48FC-48C1-8691-F3F8F516667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$F03FBBA2-4841-4D25-90E5-87141AC4FC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c73cd5fda05977140e570b3928fb7689071435b","datavalue":{"value":{"entity-type":"item","numeric-id":4184831,"id":"Q4184831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$08D8F1C2-0F81-4C6D-890F-86C4BD4E159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$0F5DA139-C056-4EBE-9A62-CD51E451BD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074a712a58bc537fb2d270d864571d02a6ca0842","datavalue":{"value":{"entity-type":"item","numeric-id":4085710,"id":"Q4085710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$37733B16-EBF2-49AD-9E72-8C836DD5DCDE","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":"Q1577478$F1955C29-E577-4DE7-952A-7A90CD151221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c580708844e63dd3330399b919fc421c9659ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3997237,"id":"Q3997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$61D34111-29F8-4FE4-9A1C-42394A9C9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$9B6978FF-56A6-44F1-AE4A-431CA6A2D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$C6544087-A461-4AE2-8FF7-F24C7ABCBBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$79698CEA-D4D8-48BC-8C57-E423A936E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332d1484ef56c049acd75f3683bc7102acbea27e","datavalue":{"value":{"entity-type":"item","numeric-id":5625138,"id":"Q5625138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$1E7D24ED-0728-4BDD-BA3D-5D663B59E844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9783bd9af412b69d250467049a5712964830102f","datavalue":{"value":{"entity-type":"item","numeric-id":4002004,"id":"Q4002004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$45E47792-5B3E-4096-9BBD-EBDB7A5EFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$11113EB1-5B4F-4CFB-9276-9306F21D2119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68633294b75b82f4404bca2080b91b9e400dc074","datavalue":{"value":{"entity-type":"item","numeric-id":5931215,"id":"Q5931215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$C4E7DBAF-1A4D-4377-BF44-2F10D13551C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$8576AC38-A778-4C3E-B19E-246992FE48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$D5FE95F2-CE4A-4B78-9623-7A68AAB4AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$0453046C-4266-4C05-B6A7-4EBA2E4548BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577478$36B5803C-C606-41ED-930A-4AF81FE64C10","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":"Q1577478$51075D43-44C7-4D40-8C2F-C367A2A94DBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3610bc52825e81d13e7e418f4e8c5c2dd83e43d","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00007-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577478$3C812B05-5A36-4117-B644-FACEA503E364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fffb94e3718591fb1aaadaa28bbc4c2907a4057","datavalue":{"value":"W2064038675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$10C85DCD-06AE-4C64-A0DD-FE26898E4805","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5dbafbcace8d555b018f432c8c6caed417504982","datavalue":{"value":"Q127156077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577478$F0BBFADE-034B-416D-A4B9-769A63785F1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663a6362854082b09fe2fe423549e8a7671153e5","datavalue":{"value":{"entity-type":"item","numeric-id":4981444,"id":"Q4981444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4398d8c8624125944b1862cecc880e1b9bd599","datavalue":{"value":{"amount":"+0.91535621881485","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":"Q1577478$990A64F3-2786-4DC3-B86E-6AB44EA71D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd908aea5851c16b5f2d6f34761aac607705a1da","datavalue":{"value":{"entity-type":"item","numeric-id":1868168,"id":"Q1868168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6d9d48cefe27a6c86cd7a4c7c190c9212f8492","datavalue":{"value":{"amount":"+0.8645737171173096","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":"Q1577478$9B14181A-B9A2-41E1-8697-C247AEB4940E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835cf8f8055c9f07f170d70eba8a448d71316b1","datavalue":{"value":{"entity-type":"item","numeric-id":2836179,"id":"Q2836179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157e5146b518127ff1a450a1a4d34314c2dff524","datavalue":{"value":{"amount":"+0.810542106628418","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":"Q1577478$EC77114A-0EA2-4B7C-9DF9-9348CE808EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1507afc774026e87094fbc6fa5d6fd6e3eeb31ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a9be4ced26df0e61d763c52488420b0bf10e8c","datavalue":{"value":{"amount":"+0.8082563281059265","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":"Q1577478$EED50452-9B30-4ED4-8B66-C7B91F59749C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional interpretation of Aczel's constructive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_interpretation_of_Aczel%27s_constructive_set_theory"}}}}}