{"entities":{"Q958487":{"pageid":960335,"ns":120,"title":"Item:Q958487","lastrevid":65665041,"modified":"2026-04-12T04:08:36Z","type":"item","id":"Q958487","labels":{"en":{"language":"en","value":"The associated sheaf functor theorem in algebraic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378327"}},"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":"Q958487$221736FC-839F-4F8F-9B41-C25B2E806F4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1ad556e1a92b698346ccd9da486910d809182ec","datavalue":{"value":{"text":"The associated sheaf functor theorem in algebraic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958487$9C1625C9-9981-455A-8EB7-9C14EDED017E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a4b7f9a34388af0b148bad4407f8234e5bceb7e","datavalue":{"value":"1159.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$69B732F0-332B-4F02-906D-F127E1AF5E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$5BDF4849-BD9D-4FA8-AE15-2AA3DE96B71E","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":"Q958487$60F370B6-7190-4C01-BAE8-5D070177580B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q958487$A503B7BD-77AA-44C9-AA1C-8CAC117490E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e241632beb3011c7a13b15bf4c8f29109e085e","datavalue":{"value":"http://eprints.whiterose.ac.uk/113165/1/associated-sheaf.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q958487$C7ED5EFA-92E0-4730-8023-C6718D0843CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3e25c3cb374283061acee8cd7bce8d48931464d","datavalue":{"value":"Algebraic Set Theory has developed as a means of constructing models of nonclassical set theories in a manner analogous to how models of classical set theories are constructed using the method of forcing.  To quote the author's summary: ``We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.''  The version referred to above is the following: If \\((\\mathcal{E},\\mathcal{S})\\) is a Heyting pretopos equipped with a class of small maps (think of a category of classes in which a notion of smallness singles out the sets), then for every internal Grothendieck site with small covers, the inclusion functor from that site into the category of internal presheaves over that site has a left adjoint which preserves finite limits.","type":"string"},"datatype":"string"},"type":"statement","id":"Q958487$E02CEA75-0E2A-4363-AEBA-3B5C596AD292","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$D3FF517E-385B-42C6-A0F3-EF31038A0579","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$9ADF08D0-00F6-4FBA-8244-C44B3D7BA82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$1CCF18CF-31C9-40FD-A285-C36CEC9CC46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$15919AE1-698D-44B2-AA62-831C7F8D7D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$D973979C-5DD4-4F60-AF4D-B2051AD9C04F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cef02591902b6fa331547c250cdf62ebb5a9c29","datavalue":{"value":"5378327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$F1136526-1C5D-40EF-A9C1-670673482CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q958487$1EECAF2F-A6CB-4238-ABC2-E1D26ED78943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q958487$6E67F1B1-2EC8-4325-BBF0-73B4CA4D7689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q958487$01297F69-4E08-4A73-92E7-A71B49B2AA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3871d418be825d620f4db809c0a516520ff5687f","datavalue":{"value":"Grothendieck site","type":"string"},"datatype":"string"},"type":"statement","id":"Q958487$306C4F5B-E2CB-42D1-844A-43E9A1637CB7","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":"Q958487$81C23C01-83E9-43F1-84F2-1283C512B012","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937d63882c23998114663da5df8c23b6049858ac","datavalue":{"value":"W2062722679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$B6036175-DEA0-4C85-9BF4-411A29CE661D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e348924190226d9cddfcd2e10fcdcfd743eea946","datavalue":{"value":"Q61834701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$E95325A3-52F6-452B-B5A4-D8D7D7772E18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$7BA4DA1F-E1EB-4E97-8E0D-6F0D1AEA2F95","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":"Q958487$F79FB8D6-13D4-4D2D-9F12-8909A9F1F794","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":"Q958487$7C6AA264-CB56-4AD8-917E-B675C345942D","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":"Q958487$A080CFA0-7DA0-4610-BE85-DFB3A0E32EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f2a9c4107417f16e161affcb7a96a57c75d6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4205438,"id":"Q4205438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$FAABDF7A-050C-4D41-BC3A-76F65B2AF617","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":"Q958487$CC1CAE50-0744-4B3C-BC99-1E813719CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$5A302B59-BB96-4CDD-83FE-2FA6D53C0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$36A7C5FB-AAD9-461D-9EE1-295848CBD547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53c4406c0ae34a2078a3b4fd0b58da5333362f","datavalue":{"value":{"entity-type":"item","numeric-id":5904544,"id":"Q5904544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$D5F3D8AD-C0F4-4637-937D-1F49AD8D47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe712bd3d5d1675a3ad0ac1e6dba752efc3651cf","datavalue":{"value":{"entity-type":"item","numeric-id":5718563,"id":"Q5718563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$3F53444D-C83E-4021-A58A-5004BD3E2E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb968eee2def3bd19a576e8c6ba5dfffc39154","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$2FD88CEE-FA2C-4CFA-A146-1BA0CE06F8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$65E5F215-0EE0-44D2-AC49-CA3DE9FDF372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b8a50d072e04db317f274afa3cb6a4301a86ba","datavalue":{"value":{"entity-type":"item","numeric-id":3726114,"id":"Q3726114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$7A24CF9E-12E8-413A-B64A-DA47A893782C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724237f70c627a755cb717675f522e142f8e6815","datavalue":{"value":{"entity-type":"item","numeric-id":1845804,"id":"Q1845804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$A237BD4F-A02D-48B7-93EF-4CC441B088E5","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":"Q958487$D713FA71-A9EB-442D-B25B-587036238AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$A6F02E01-95BF-4070-A996-DAE10E44D967","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":"Q958487$3ABD5A99-8FCF-481A-83E4-E95DBA2B2A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcefe534b5a5b835ed3c83a0316c73efae25b819","datavalue":{"value":{"entity-type":"item","numeric-id":5718693,"id":"Q5718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$40C16803-F575-444A-88F1-D902529BB794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b3b52ebf5668f4e60d02f1db5e8adf1a3fecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5676377,"id":"Q5676377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$EC1135AE-3767-4934-B0B5-F51CC6282350","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":"Q958487$203DBCEE-0E08-4783-8711-8DF9DF8275E3","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":"Q958487$59889C24-DA69-4F5A-A719-B400729B7EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$71FD2933-F985-475A-9B7D-82770E0E888E","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":"Q958487$C6F039E5-B0CB-40F4-BFE8-C2EE5B72CB39","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":"Q958487$83AA16DA-8231-43B0-B98C-066ED3A3BA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca521b774bdb686f91be43a8df4f3507b9668aa","datavalue":{"value":{"entity-type":"item","numeric-id":2575774,"id":"Q2575774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$2219051B-E3D0-435E-BDA2-77340C0ED6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80696d0c1481ebe3a3d5a74c29ad90ccb07ba4f","datavalue":{"value":{"entity-type":"item","numeric-id":4434505,"id":"Q4434505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$63F6B845-9093-4BF4-8005-8313E4297477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$3B301D2D-B6F2-4DE6-837B-1BD96390B131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$32EBBC92-6162-49D5-9130-841490F8AC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4985d33d77c7dc23c39c4b36a8af3cf54c4dbf90","datavalue":{"value":{"entity-type":"item","numeric-id":5655524,"id":"Q5655524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958487$87F09FEB-C564-4CA8-B43E-D3AF5F9DBF6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f32c8c82d3bcbe80ebc6b2d15daf8c467fb7c3bd","datavalue":{"value":"10.1016/J.APAL.2008.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958487$AA86CB46-5B61-439A-A0D8-5DD45B3A3522","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67dc3c4915b64e1dca7bc90c527907ebc3825fe","datavalue":{"value":{"entity-type":"item","numeric-id":3325726,"id":"Q3325726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a560b71844181b028c094fcadad7f78fbaca79a","datavalue":{"value":{"amount":"+0.89899933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$680F1A6B-EEC4-412F-A2CF-4068FE8C55AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff90cbc870d12f19a3a84204bc633604544ab1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3399181,"id":"Q3399181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fbed5170d0af422ebf731313c3933f3027b1f5","datavalue":{"value":{"amount":"+0.8973758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$7ADA075F-9920-4705-B37D-C52670E9BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7866c0ae243280f823f658c93b44a2191618bf30","datavalue":{"value":{"entity-type":"item","numeric-id":5239158,"id":"Q5239158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733a427612940b92c13414ddbfb6dadfc44bca3e","datavalue":{"value":{"amount":"+0.8940739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$AC3FAAAA-3804-466A-9571-6A02FE1C26D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ad46b0a9f7aad2293064431136d3fe7d567beb","datavalue":{"value":{"entity-type":"item","numeric-id":2307525,"id":"Q2307525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e0471075bee823d4a0f95d2301c6f4271cd5e4","datavalue":{"value":{"amount":"+0.89255357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$B0C7CA3E-6979-4DEA-8130-C1B7BD6B5CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa52274c22471b84d375d42c533b9f0f57de7770","datavalue":{"value":{"entity-type":"item","numeric-id":2874237,"id":"Q2874237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cf9c9715ccee121bfde428bf2cfffa705ec0c7","datavalue":{"value":{"amount":"+0.8840729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$684C437F-6823-475C-A165-E1C6B15B111D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd880af3c1369c03c938e742024177a2f2e1cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1330279,"id":"Q1330279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a712367dc3a5acb991aa66c655cb4483fd6f6103","datavalue":{"value":{"amount":"+0.88164365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$E3632FFB-F8FF-4C9D-A263-B00C2AD2EC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba10b433e84814d4cefce8f776da3d74222dc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5541099,"id":"Q5541099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef76db81bd8812c41c3e77bf26f0c765650ae97","datavalue":{"value":{"amount":"+0.8808951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$21C7D19E-7F45-4D35-A713-CC5E4CEB1B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b665801a4cb51fd5c38c8b31bc0d1ca17254f523","datavalue":{"value":{"entity-type":"item","numeric-id":4464699,"id":"Q4464699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd255f391569ecae774485473f69991b868b29","datavalue":{"value":{"amount":"+0.880895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$081B1B08-C981-41CB-957C-0D132C646BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeefa3c396d7912a2995463e174098ae0ba1cab","datavalue":{"value":{"entity-type":"item","numeric-id":1209738,"id":"Q1209738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbf7fd81b9c0c84ff1572a1378dcceab7da8329","datavalue":{"value":{"amount":"+0.8805279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$688C2727-22DC-4A45-8E9E-F0AAD96E8F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d5a200fbf79af244bd5fc3e79c4613aea7610","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1ce549cf7a5dc9255c9c0921594591d92296ba","datavalue":{"value":{"amount":"+0.8795098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q958487$0C7243A5-AE48-4583-8610-843EA14FB7CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The associated sheaf functor theorem in algebraic set theory","badges":[]}}}}}