{"entities":{"Q448336":{"pageid":450103,"ns":120,"title":"Item:Q448336","lastrevid":62019768,"modified":"2026-04-11T03:13:58Z","type":"item","id":"Q448336","labels":{"en":{"language":"en","value":"Constructive toposes with countable sums as models of constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078323"}},"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":"Q448336$77293CB1-5F6B-4299-A8D4-FA6D66EFA31D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66021de62bec63255281aa7964e7ac0e9ee57f1c","datavalue":{"value":{"text":"Constructive toposes with countable sums as models of constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q448336$B2AC13A7-B474-4DB7-B909-FB0F2536D0F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9207dfac2d4efe4280dcb4ec32316cd5e5363a60","datavalue":{"value":"1275.03145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$3342C94E-A1E3-4F35-8712-958EE8A75987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$515BB829-E077-4136-BCF5-C06C3AC9AAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$FD04E913-D6F9-42DB-9CA5-B0D9EC1DC068","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":"Q448336$1E36E4AB-1124-4EC5-BCFE-FE330F0222EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e785076c925608e90781bb4173656a454ded85","datavalue":{"value":{"time":"+2012-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q448336$668AAE17-F458-49A4-91BF-17A294EB2770","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1ce8b2fdc257d26676d3094debc8c3086b5b693","datavalue":{"value":"The authors define a constructive topos to be a locally Cartesian closed pretopos. Using ideas derived from Joyal and Moerdijk's algebraic set theory, they show that any constructive topos with countable coproducts is a model of of a certain system of constructive predicative set theory CZF. They point out that, since there are numerous natural examples of constructive toposes with countable coproducts which are neither complete nor elementary toposes -- and so in which impredicative set theories such as ZF and IZF cannot be interpreted -- their results provide a purely mathematical reason for considering predicative set theories, one wholly independent of the constructivst rejection, on philosophical grounds, of impredicative and non-constructive principles.","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$7B5E3C09-3183-4E4B-9D4E-E33820F07260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$4C09A9EB-BD5E-4A6C-9E02-603012719120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$F50E0DDC-AA95-4352-8BC4-EE0C5BB06C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$8B74A0D3-04A5-43D4-8D3F-734829155F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$90DBDF32-895E-498D-98E9-A851DAD1C22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00c5a47262c74796355fb20a12c5f464722459c","datavalue":{"value":"6078323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$5D38B3F1-B91B-4442-99A6-40C089D50703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$73008139-089C-49D0-B2B6-5CDEDB342976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$0E7F825A-10AE-4DF4-8816-643AAB4E66B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$6E4FF334-BAF9-4A77-BB98-544409E15A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf13a28ab0b8316b0322ec6346c4a7ab65bb5c2","datavalue":{"value":"constructive topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$A970654D-629E-45F1-AD8C-9166B8999ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121c0e7c8eadf27528909a6de22bd2bbe83a6f6d","datavalue":{"value":"CZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q448336$5E920925-A252-4852-B878-51A6CC2609A1","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":"Q448336$587F2350-0B48-41DF-B08D-0E55131ECC0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b75e40a638778e63919362dc3c161453f70d0c16","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.01.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q448336$9B21FF32-6DFE-4E98-AFFC-C81674D311A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d769c0da13b1bf5d2951d3d743dfd5b58fe2b2cb","datavalue":{"value":"W2042711307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$F5A1961D-D1B5-4B3C-B559-80D91AC4773E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$468C9F92-AAA4-42BC-9535-31C24BCC9814","rank":"normal"},{"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":"Q448336$C05D16DE-6973-43C1-9C0B-4C6F905ACA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598f4b2615da1120018e8303582109fdc14b325","datavalue":{"value":{"entity-type":"item","numeric-id":386623,"id":"Q386623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$B1422D93-5764-444E-B091-A7CEB4BEA0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561dc594cef4b4728020e26bb4b62b264d3e9a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$5294BBAF-444F-46E9-A0C0-47D138FBCA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006f5c7cbee5b7b2a5fe6f4372e1354f30be4828","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$05D7C55C-0BA0-41C6-A666-3EBEA81FB47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da73f76b6bfc84494ca2cb82fa33f8e416d9775a","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$D98F0AB5-7957-4DE1-919E-8F044AEBA37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b889b4f45caff3a44574bbbf25ca7e91ac30f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3656421,"id":"Q3656421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$7FCB7B6F-7049-4594-8F11-2768904D339C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e31d134a9421659dedcb7b75576c1f6a45b56","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$7CC04FBF-A952-4713-AF4E-21D765B8A709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323041d450c8be119127dcf747a7ea70b03a53fa","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$04E1BBEE-2FD1-4EDA-B9F7-7D6A9DC9CBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f583bfb838bb3bece0d3f05ed8f7931227a6","datavalue":{"value":{"entity-type":"item","numeric-id":4936141,"id":"Q4936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$28F8A0DB-3C2A-4C88-BE17-49BF61A43982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$4C3A57A6-A632-43CF-9905-4B8F4F94655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$76F1234E-3DEF-4CD9-B795-F737BA39A19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$28DAE9BF-504E-4E77-8F5A-74B1290E7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465037e234e8d440839159ab8a177f9b5c89161d","datavalue":{"value":{"entity-type":"item","numeric-id":3963000,"id":"Q3963000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$1B2153D3-3150-412E-BF63-88EF5F5FA8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$4E1CBCE6-75B2-43D2-9079-7382CAD7583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$4E7344C1-26E2-41F6-8713-0D7D2476CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879333b705ddee55c839f1d500c79a4b9b1e89","datavalue":{"value":{"entity-type":"item","numeric-id":4807625,"id":"Q4807625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$CF8D1C15-CFCA-4A4B-92C0-1DE09963D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea4a271005fc25e8062ed676a6abcbe028087bd","datavalue":{"value":{"entity-type":"item","numeric-id":3146246,"id":"Q3146246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$CBC464E3-EEF2-4615-9599-7A032A6BA3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356176b4c2fc289e7fbb7b270efe9a342ccd0395","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$A119F600-3CC1-4306-9A3F-C6DA8BF18C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47357dc7566b31a484df0badb274a2eb37dbd905","datavalue":{"value":{"entity-type":"item","numeric-id":1861488,"id":"Q1861488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$4097B385-66E3-468E-9D41-2D5A148169D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$4EE04685-2F27-46FB-8B1B-9A8502501248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$40D6B35F-0BF3-491E-A1D0-F13F88AAFACD","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":"Q448336$C61A2DDC-8722-4375-8C68-4D7FB7BF912E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$CA6A7498-1C7B-4DFF-9629-9F6DBB90E332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37730e85f18a0b3a092689bde24076bb894b3d5","datavalue":{"value":"10.1016/J.APAL.2012.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448336$33B4DD4F-2637-4D60-990C-FB80DF044CFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c050c1ef7acf777146fd862e268415cfc0c98950","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448336$E105D721-6EC5-420F-AC69-68D2F2170FC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b811cf4c0cb2dac863c6cb610bcaac1301e3ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6c9027a655d60d8b65d82f616924facd1b8243","datavalue":{"value":{"amount":"+0.7699283957481384","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":"Q448336$D2AFED1F-38C1-4B71-BB4B-F01DC8D08F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbd848bc04dd79b349b04c731ea0ea452535ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c45711004882972794af1a4ef6aed4ba806a2d","datavalue":{"value":{"amount":"+0.7632993459701538","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":"Q448336$1FB676DE-7D9B-4537-AAA5-B596CE4DB1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3e02e3940872055caa26498fdb9387cae123","datavalue":{"value":{"entity-type":"item","numeric-id":5718563,"id":"Q5718563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b1b2163ed77929e55d4008a3db694721eda4ba","datavalue":{"value":{"amount":"+0.7526622414588928","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":"Q448336$E10E28AE-5A49-4A3D-B282-9D4E727BAEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6d5a1c9a37a03d1d65a80bdd581c690c5cec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2267746,"id":"Q2267746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e19201becc930e180dcea2b76485376a3a3a24c","datavalue":{"value":{"amount":"+0.7477723360061646","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":"Q448336$9998CA5C-E54B-49A4-A3C4-9435C3CD74D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c1837a5f245b2fced9182e4dcc76b4b4ee086","datavalue":{"value":{"entity-type":"item","numeric-id":651324,"id":"Q651324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bd9808e60ad78cc4729363c34982c32db819f7","datavalue":{"value":{"amount":"+0.7447592616081238","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":"Q448336$7BE3AFF2-2D23-4998-8AF3-E6128DE9CD3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive toposes with countable sums as models of constructive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_toposes_with_countable_sums_as_models_of_constructive_set_theory"}}}}}