{"entities":{"Q448334":{"pageid":450101,"ns":120,"title":"Item:Q448334","lastrevid":62019750,"modified":"2026-04-11T03:13:57Z","type":"item","id":"Q448334","labels":{"en":{"language":"en","value":"Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078321"}},"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":"Q448334$1D24B6D4-A4D3-4A4A-92F0-4D487066CEE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c5ac1773187fd83e7791648320c0386a1d5cb6","datavalue":{"value":{"text":"Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q448334$FEBF6F4B-2774-47F2-B5A7-AFDB79E177A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f2dc476a0cda313617f574c55563d86ba648994","datavalue":{"value":"1257.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$9A69B112-F85F-44CD-8A58-ABED1F1FD22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$19183032-3FD2-4966-89A9-0F96A5C660D4","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":"Q448334$8222C5A3-F949-4028-BB5B-456DC84A86C0","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":"Q448334$F48ED0B0-82DF-4BD4-83C2-55ABBFFB492C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b2bc9ae2bf0fbd9a04f8979ba48286a80e632d3","datavalue":{"value":"https://arxiv.org/abs/1201.6272","type":"string"},"datatype":"url"},"type":"statement","id":"Q448334$72718841-951F-410D-8592-766EA96034B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$B6FA448D-4F4A-4B06-94DA-08F05CCACD43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$5E10769E-201C-481B-BE7A-716BB3198BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$02530B52-C6E2-4C24-B2D3-D172FAC31E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$8443D6E2-6F2E-4919-B21A-A859615516EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$760B43B3-9EE4-44F1-9922-839B1A92D3CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a993cf6cd66d6273d7b29c6f9c2f2e6b2ad517","datavalue":{"value":"6078321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$65744EDE-DC79-4B69-9A1C-032855844002","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e4c5278cd41c6f497ca441bb63f5dc6ee5447a1","datavalue":{"value":"categories of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$AC0C41AD-38BA-4495-B4DF-5BCCD492853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$C3C9242E-CE80-4379-996C-243EB7F30195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce352e59101cf9ea5ddf98482a4d12d0e085048","datavalue":{"value":"Bishop's informal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$65B666A6-862B-48C8-AA3A-D48443A75C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40300541ed4f8ff0cc0346604aec871135f47a7","datavalue":{"value":"Lawvere's elementary theory of the category of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$CB40A84C-2100-4846-91AB-157DDCC8E926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$A8673834-6690-4AF8-BEBB-9C647ACDFD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251310ab32a6fa4f6d261eaa1116cb5de128dba1","datavalue":{"value":"structuralist foundation for constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$339D86DF-B080-4818-8C2F-5904289FAF4A","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":"Q448334$83A521B0-D24E-4EF7-814E-5E891BD74149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e91e8e009865781d86a938114422f5d411f837c","datavalue":{"value":"W2120588128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$1333BBEC-E992-490F-8402-693745D5B13B","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":"Q448334$DFF3579D-7166-4D72-AD83-B426C9C7F704","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":"Q448334$B2A90BC7-D209-4324-A241-9D7FFA5C6BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$041B04AB-1FAD-4758-8ADE-2E98B255D9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f6a6893359ffbe91108962b27d4ad64b47707","datavalue":{"value":{"entity-type":"item","numeric-id":5604461,"id":"Q5604461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$FE4417B8-0399-4736-BCFA-9C13B9230639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$4ACF858D-F4F7-4C57-BFFE-417490A4E8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$8324E793-8047-437E-BA22-3673E23B34A8","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":"Q448334$FB56D9EE-9D9E-41F1-B9F6-18A6BED9C3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea8891ad84a2aec608000845a42a128dbfb37a0","datavalue":{"value":{"entity-type":"item","numeric-id":4679166,"id":"Q4679166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$7C3128A1-AE21-4011-8426-D82541C7E54B","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":"Q448334$3FBC742F-9235-418D-B62C-19DECCC00CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$3A03ED41-915D-4F2C-97AB-941AF5FAA140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$42D7FD9B-D953-4EF5-A6FA-5DE414C5094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$5E08CCCD-EBCA-405A-9571-DE1FD250D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$884B7602-9558-4656-927E-C5E28FC94129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27caefcbe36fcbb968908f13ae56541ce46c1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4470295,"id":"Q4470295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$61CC4B75-2A87-4069-8BFE-9BA01CA01BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bf4bb1b4b5fce88cfea42623c4466dc9906f66","datavalue":{"value":{"entity-type":"item","numeric-id":1917386,"id":"Q1917386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$B2C72CB9-7E56-431C-85DC-543134319E74","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":"Q448334$B8286BA5-7CC6-444A-9791-0A25EC4A72FA","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":"Q448334$7D51A473-C287-4E6E-B2E0-099D21AD3C4F","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":"Q448334$B90F820D-257E-415F-887F-D3EEC63FF8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eead83a1f6030ac7a2c3ce88e8c75da72567af","datavalue":{"value":{"entity-type":"item","numeric-id":1843432,"id":"Q1843432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$6DFC4EAA-4B17-41AF-82FF-988BE572CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d829bb0ad980197b5fbbc8bc91ce658fe1a7ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5454624,"id":"Q5454624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$AAF2AE61-E0C0-480A-B271-AC5BEEFED688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749ddaf5951eed05fe3c0a297464a97d7d53d406","datavalue":{"value":{"entity-type":"item","numeric-id":2755493,"id":"Q2755493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$1A79CCAA-F34D-4257-9CDB-B576DB078761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792d2ca0d2690e86d04df49a88e97b495821a08","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448334$DA8A0336-A899-4583-98A8-E053A007D67A","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":"Q448334$A63F3D0B-DA5D-471B-92AB-01ECF45280D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5330336ad14ffbcd922198ed311206796d95d036","datavalue":{"value":"10.1016/J.APAL.2012.01.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448334$6059D852-E52F-473E-80AF-62819AB7B537","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0619a39d1fa897328a94291a6e215fdad1269236","datavalue":{"value":"Comparing Bishop's informal set theory with Lawvere's elementary theory of the category of sets (ETCS), the author proposes a constructive and predicative version of ETCS whose standard model is based on the constructive type theory of Martin-L\u00f6f. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop.NEWLINENEWLINEAs one may expect, CETCS is classically equivalent to ETCS plus the Axiom of Choice and the Principle of Excluded Middle. Also, the theory allows to ``reason using elements'' which greatly simplifies its potential application, avoiding most of the rather complex categorical notions.NEWLINENEWLINENevertheless, a purely categorical characterisation of categorical models for CETCS is possible and the author shows it. This characterisation requires to show that the category is locally Cartesian closed, among a few other properties. Since deciding whether a category is locally Cartesian closed apparently requires the use of the Axiom of Choice in the meta-theory, the author reduces this check to the simpler task of verifying the validity of a specific axiom of CETCS. This last result has an independent value from CETCS and may be useful in other contexts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q448334$F1AA9D46-7C88-47F5-961F-2309ABFE7DB6","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":"3320966130712e73478206221a8ecf8481790a36","datavalue":{"value":{"amount":"+0.8032038807868958","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":"Q448334$53851787-0F42-4B77-B6E2-02BFC1EF77BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43999ffd57b30b38ed56de1ae3879b146bb128b1","datavalue":{"value":{"entity-type":"item","numeric-id":5148098,"id":"Q5148098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08db819c6a5ee08aa97ef1839e7aad8d7655bd9","datavalue":{"value":{"amount":"+0.7849392294883728","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":"Q448334$E954879B-0177-44CC-9B65-231AAC9B677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04e63430efaf483a34bc67baaa14b820a6a99ae","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1ac94269c41df4ec69a4ef5c414c67e0f914c1","datavalue":{"value":{"amount":"+0.7670238614082336","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":"Q448334$209DA104-0413-40FD-9677-002511FEB64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab86b167b258cff61ef64d74c4ddd82b12963b93","datavalue":{"value":{"entity-type":"item","numeric-id":5260991,"id":"Q5260991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234f07e5414422884d0f2b887aec68f299e9987f","datavalue":{"value":{"amount":"+0.7606457471847534","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":"Q448334$53A1B266-1A88-4BDE-9A90-08CB6F19DB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e97283fba22e2e7fc61d7183e2fe0aa94af03ee","datavalue":{"value":{"entity-type":"item","numeric-id":1715477,"id":"Q1715477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088a6887bf8e580599126db336500b85df682d53","datavalue":{"value":{"amount":"+0.7593513131141663","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":"Q448334$33FBB777-E2A5-44CA-9417-D3E26E5238E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructivist_and_structuralist_foundations:_Bishop%27s_and_Lawvere%27s_theories_of_sets"}}}}}