{"entities":{"Q3533518":{"pageid":5563422,"ns":120,"title":"Item:Q3533518","lastrevid":80750336,"modified":"2026-05-06T16:54:56Z","type":"item","id":"Q3533518","labels":{"en":{"language":"en","value":"Relating First-Order Set Theories and Elementary Toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5356371"}},"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":"Q3533518$8F1FDC16-A2E7-441F-807B-7EFF2FB9F4E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1d3109f2bdd895ac172c8e8d45234ad5fb8f160","datavalue":{"value":{"text":"Relating First-Order Set Theories and Elementary Toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533518$274B2076-7AFC-46F4-ADCB-6572FE67390A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db34aa4d779fe9767cf82b87cf71167c37bff651","datavalue":{"value":"1152.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$87474E10-B369-405C-9CEE-94757E8AB8F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$24119D49-EE01-43D1-B053-13ECAAAAF6DB","rank":"normal"},{"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":"Q3533518$08ED874D-8B07-40B5-922D-25341EFE7E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$C6715FA5-6562-4A82-8E96-11A1B2A203DA","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":"Q3533518$1A144DEE-061B-48F7-863E-2D1594B315F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce2682f37ccf1c72d79d2718b6b4105746a4167","datavalue":{"value":{"time":"+2008-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533518$05D0E466-FE38-4741-B88F-0054F9857ACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0ff97e210ac7e9e138dbdaff073236e023ee2da","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/12288963/set_models_announce.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533518$1B16B659-1C25-4B6F-A6CE-E3C08DCFA20B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$2AA5BF1A-8D3D-43DB-8A85-847645DD04A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$982B72B6-A480-4344-94C3-23546E3D3FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$B5529211-961E-4DC9-A402-FCA564E8A484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$22494CDE-C03B-4E06-AFC0-A84161863885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$918A8773-6C6C-4051-96CA-9184D58F0B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c618dd84807a756bb1c9b49bed874a6566e2ac1","datavalue":{"value":"5356371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$442FB681-E07C-49E1-97A8-CFFF55C714DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048784080871557cf2a6518754d32eac92da7793","datavalue":{"value":"first-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533518$58F4F7C8-E676-4F84-A942-4243138CF416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533518$E8209D6D-1782-4F4E-B8A9-66DA8BE97D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533518$CAD0A74B-3761-4C61-A987-4AB0B216C229","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":"Q3533518$8FACDB44-55A0-4FF5-80CF-E504A997BD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d5f9856071be487b023e9a040ab809c8408aae","datavalue":{"value":"W2144833073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$00C77075-CA9E-407C-BA8F-1A2E6CBC932C","rank":"normal"}],"P223":[{"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":"Q3533518$26318903-4A55-4BCA-9439-D0DCCF5E807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$272D32CF-2031-4926-8CEB-D12E92BF9EBF","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":"Q3533518$497F0858-4634-4C9E-8A22-FF452EB1B0E2","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":"Q3533518$C6E7957D-05C5-4887-87BC-10E881A9B55A","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":"Q3533518$DFE8812E-8E9C-40A4-B452-659D71BC22ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3087d2a8414125d399dc685079f00da5eb3954","datavalue":{"value":{"entity-type":"item","numeric-id":1861492,"id":"Q1861492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$EACA2B34-70F7-4ECA-9ABF-D2093160268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38d57b28f1dfd16bb90952011bca60c1374c697","datavalue":{"value":{"entity-type":"item","numeric-id":1886324,"id":"Q1886324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$9F875667-51D1-4BCE-9A59-172F7175AFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe159d01a9a01c0322eeaad0673b992f0884415","datavalue":{"value":{"entity-type":"item","numeric-id":5946048,"id":"Q5946048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$2992F9F6-A2EF-45B2-B616-038E31803F7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f252586471fc6302f00ce5be99607a1496655bfd","datavalue":{"value":"10.2178/BSL/1186666150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533518$0DBE7C63-A331-4208-93E2-C77E9B0B0AF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533518$3E63BBC4-78CE-4CC7-A0C6-918F6CDD0733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392070b7da4411464c8465c93c28be27085bfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":386623,"id":"Q386623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e6e704d6e50f71f3e450941960ea52a637e6d8","datavalue":{"value":{"amount":"+0.8593727350234985","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":"Q3533518$E3D8812D-047D-417A-BE91-DFEF6AC2BF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54709a6f673f644ce42b4811f4136a63885141","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066ebca5dcf4b3c5d96a263f1ec63e3e8a01d844","datavalue":{"value":{"amount":"+0.7655430436134338","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":"Q3533518$738EF441-CA3D-4CDB-8A4C-D5BF7C49CACE","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":"961567d8f9fb1d2fd04e462de212877a9f6bb12c","datavalue":{"value":{"amount":"+0.762025773525238","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":"Q3533518$8A2A840B-6966-48AA-9976-EF95475FB4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c1e67d55f6150e9d21e52af2bd84fd0000627","datavalue":{"value":{"entity-type":"item","numeric-id":1115435,"id":"Q1115435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33d36e0727c06a95cfb2abf2be0bc7a513a1150","datavalue":{"value":{"amount":"+0.7528992891311646","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":"Q3533518$EFD2CB69-CBCD-4685-8D00-FC8FE15B6A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d6f38aeace496590f4546d2fa593b10ad485bc","datavalue":{"value":{"entity-type":"item","numeric-id":3353231,"id":"Q3353231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7096e3e22881e65040fb62a13a20456b61083c","datavalue":{"value":{"amount":"+0.7334533333778381","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":"Q3533518$91ABD31B-9019-42B1-A95F-A695416F755E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating First-Order Set Theories and Elementary Toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_First-Order_Set_Theories_and_Elementary_Toposes"}}}}}