{"entities":{"Q958492":{"pageid":960340,"ns":120,"title":"Item:Q958492","lastrevid":65665086,"modified":"2026-04-12T04:08:36Z","type":"item","id":"Q958492","labels":{"en":{"language":"en","value":"Aspects of predicative algebraic set theory. I: Exact completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378332"}},"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":"Q958492$A933203B-BFB0-4AFC-AFDF-2BAF55835A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a119c5700f599ac3b7407b8e5dc86b63c277aef8","datavalue":{"value":{"text":"Aspects of predicative algebraic set theory. I: Exact completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958492$41CAD8E5-43A6-4DEC-99BD-7A129118EF62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31e20448b8ad9e3faded6bf920df878b408b11b3","datavalue":{"value":"1165.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$0F4DF6C0-EA2A-482E-8336-47D340917299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$F19D5115-C249-40AE-A12C-31BAC7B3FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$B90B8A51-FDD4-4FE7-9291-F687200323E1","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":"Q958492$200FF708-C73C-4B91-A199-AA1BBFDA9C3A","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":"Q958492$BBF8BD5A-4046-4941-952B-2A9608C58419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdb09e16c3444b4388eef95ccdde2fafa68e7cd3","datavalue":{"value":"https://arxiv.org/abs/0710.3077","type":"string"},"datatype":"url"},"type":"statement","id":"Q958492$B1FE54D7-318E-48A5-A22C-A3C54FE6EF9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d29d33f5f43fa9addcf30f86146e065e90923f8f","datavalue":{"value":"This paper is the first in a series of three papers on Algebraic Set Theory. The authors introduce the notion of a predicative category with small maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main result of the paper is the proof that such categories can always be conservatively embedded in categories that are exact.","type":"string"},"datatype":"string"},"type":"statement","id":"Q958492$990EC13D-4058-42C1-A080-D4C2908ECE4B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$DAFF8DAF-F39A-4791-AE99-1BF8A53A4D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$FED6AD81-15C0-4372-91F6-A968A4B4D6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$28540A4A-56B4-4C69-A48A-03A7B0BF30B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$6058BFF3-BE8A-44BB-8CF0-449EA73D49AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$A5FCEE8A-23DB-4492-9808-86B0DBCAF046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"981850ce8cfa0ac540f2a02f1f0d5bc6ba737b9b","datavalue":{"value":"5378332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$F00417F3-CAB2-49B2-8498-0D06C38BC053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q958492$0BD41747-1567-4915-BE7E-5B67EA98DEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da76ae51b8087bf2f5752f13bee7c912e7b935d0","datavalue":{"value":"exact completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q958492$EBF30D7A-6EF8-4CAB-BC81-EBF48190090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q958492$BA1F9401-676B-44D5-94E4-BEB9AD5AA13D","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":"Q958492$139FB0EC-7605-4AB6-A323-01EABBD5D621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1379d3d3d70fb4f5e1751638813fd9d352355248","datavalue":{"value":"W2152342937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$ABEEEEAD-478A-49F1-8EBC-2F5E531C37D2","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":"Q958492$2A4554F9-6D1E-4658-A1A2-F0A08722EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fd0cf3a1ed8a18f45d83900c4627ec6ec2c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3533518,"id":"Q3533518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$0C4B2F82-62CC-4A7C-9F5C-C08557B68E51","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":"Q958492$79579509-800D-40B9-B2EF-B50FB2D2F552","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":"Q958492$98824C94-BA2B-4861-AEBA-9F9E183227DB","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":"Q958492$0A61BB92-FECA-4A15-98F8-881CA1C2782C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$D8A036BA-DE44-42E9-9270-9AA1E33449C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd37b97b4eaeb5306e7d549aab3d43f2b2932ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1257873,"id":"Q1257873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$BDC79F83-D03C-49A1-860D-C9041D0CA996","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":"Q958492$A9746933-B726-4898-AA8F-04BFD800B93B","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":"Q958492$CF50DA8E-B6BE-4289-8FE1-BA6D56972D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4048422c687d3e6181c5cd1a18d1ae1de21c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1171570,"id":"Q1171570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$86C58A3B-8781-46AA-991C-F806E1EF8664","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":"Q958492$863F538D-CE9F-4A12-A984-D120C7AFAB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045df3f6824215fa33a64f7eb0a4723deab884a4","datavalue":{"value":{"entity-type":"item","numeric-id":1092043,"id":"Q1092043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$72AD053E-4391-4A3E-8091-665E1E4150FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$6615F9FA-1D6E-44CB-B976-1B566AEE2AA6","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":"Q958492$783B2725-B796-4FEE-B94D-1167783F610D","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":"Q958492$AA2197BB-9636-4917-A44B-95E840E6D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b5781079c2d8ea8f6ed9a439c0fbeb87621581","datavalue":{"value":{"entity-type":"item","numeric-id":958487,"id":"Q958487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$11D4840F-D4BB-4386-B286-D14730740BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$EDD262A8-1B3C-4951-A751-97D364B2F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$F1B181F6-284C-4712-80E8-AE48EF5B029C","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":"Q958492$5C17646C-B0F1-4E55-A29D-C6126A2D7205","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":"Q958492$9B9FFAC8-AE2D-458B-93C6-A43CDAD1E72D","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":"Q958492$B72ECA25-7904-445C-88BF-E07D29C0449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ad803b7ef5458992773eaef85f0daa375fc075","datavalue":{"value":{"entity-type":"item","numeric-id":5939822,"id":"Q5939822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$806DED63-7949-4555-B5E4-0891F65E4A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$CEF12C14-5895-4432-8B7B-80907FC75ED0","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":"Q958492$B928AC08-2DA5-488A-A46A-5C1CEF8A2B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$A1FD86D4-A6D5-484F-A23F-8D2606B1F448","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":"Q958492$AF62DAF3-3E1D-47EC-BB35-C7263C60EF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$AE06E0BF-E2EC-40AD-B8F0-2BFE46AA48CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$ACE2C325-BD95-41E9-9EBD-7B290B694E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$49B9C41B-E995-47CA-A23B-05B7CF5FB33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a9885188da958c0124762509ca39d0da6b2e","datavalue":{"value":{"entity-type":"item","numeric-id":886236,"id":"Q886236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$8B952263-5686-4D94-B09E-BE253EDC3C71","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":"Q958492$0C6ED564-2A66-4FCC-9E06-7CC5DEEC9246","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":"Q958492$E7993BA1-9F1E-46FB-BD1C-6900D65CCCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$B025DC60-1546-43F5-B753-14AF65CE3A65","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":"Q958492$9B401A0A-0967-4660-9928-46102D207096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46647a1b1c0ace5f68320ac3333d55769fd925f3","datavalue":{"value":{"entity-type":"item","numeric-id":5422303,"id":"Q5422303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$EF178A6C-7D15-428E-B869-D293F0E64482","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":"Q958492$8BEDC37C-5095-42CF-9ED1-44034666E597","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":"Q958492$9A4D3535-56C5-4DE6-94F0-1BFDDE1143E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af71b99c4ab39190586cc470340b640401162ae0","datavalue":{"value":{"entity-type":"item","numeric-id":876384,"id":"Q876384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$2A811FB3-99BE-47C1-BCE7-F83C7A7D37AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26834783197c6a881875fa9e4f66880dee84a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":1843491,"id":"Q1843491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958492$53D0E727-9AF1-4D0D-A036-51F12AAEA0A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59eb4ff8b2088716dc9c05b46895f3ad4d6c018d","datavalue":{"value":"10.1016/J.APAL.2008.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958492$9147CDCF-C3C0-4405-A180-204469CBD37D","rank":"normal"}],"P1643":[{"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":"36e834ddcd43c9c606e28051a96ca676eea8df00","datavalue":{"value":{"amount":"+0.8914317488670349","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":"Q958492$524735A9-8750-44BF-B1F2-3995CB6BDD22","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":"d864cdf4127f1db4187fa0a2c8487036b9713157","datavalue":{"value":{"amount":"+0.8418289422988892","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":"Q958492$0B73AC17-D486-4380-B86D-52C40BD9C072","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":"67792c3275648101d64633c4cf30e9540c1c2cd7","datavalue":{"value":{"amount":"+0.8071241974830627","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":"Q958492$8BB98EB0-AC58-406A-901D-09C0D810C7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882c742186c44e767e75b590b882b1a818a7efc","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eca0f7414e0c6b6a3de6eb18cd8068ad4892ce","datavalue":{"value":{"amount":"+0.8008000254631042","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":"Q958492$B7B676F4-7098-4395-8608-FD2F6C653846","rank":"normal"},{"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":"5e771a433ca7b72614865cdb4c6728251288bf29","datavalue":{"value":{"amount":"+0.7964498996734619","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":"Q958492$2DB24554-112E-4F4A-A6FA-D65C70670FF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aspects of predicative algebraic set theory. I: Exact completion","badges":[]}}}}}