{"entities":{"Q1713020":{"pageid":1723761,"ns":120,"title":"Item:Q1713020","lastrevid":68887992,"modified":"2026-04-13T02:54:25Z","type":"item","id":"Q1713020","labels":{"en":{"language":"en","value":"Characterizing partitioned assemblies and realizability toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006253"}},"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":"Q1713020$97EFE0AF-6A1C-4D5C-975C-2DEFA8219556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a36f9afc7bb9471e026b8e029ec013765f77c66f","datavalue":{"value":{"text":"Characterizing partitioned assemblies and realizability toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1713020$F286F487-6316-44B0-B6D4-0AC1A89C693E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d599202c38aff3911e739e45d86097b04f17514f","datavalue":{"value":"1422.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$8E6761BA-A398-431D-A342-5E85BF9BDF66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca6076d2d4cf97e6395c92fd68e50d20bea8c46","datavalue":{"value":{"entity-type":"item","numeric-id":476120,"id":"Q476120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$9F16300E-AABB-4128-9824-FB54237C83F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$C3A9CC3F-6DDF-4DB6-9ED9-E01AE5CF2FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd39a34925a9d3eaa0799a6ae0cd2538d190ed0d","datavalue":{"value":{"time":"+2019-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1713020$C456F1BE-CC26-48F8-AA82-C9AB5C1175F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ce007ad0bab07f4fb7a08c42ab4cecc7bf496ea","datavalue":{"value":"https://arxiv.org/abs/1404.6997","type":"string"},"datatype":"url"},"type":"statement","id":"Q1713020$640D6D2C-37D1-46CA-A522-7CD6AC3DE53D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec4a3794094740b680abc338338e24f55158640b","datavalue":{"value":"The article describes a characterisation of realizability toposes over a partial combinatory algebra (PCA) \\(A\\) as the exact completion of the category of partitioned assemblies over \\(A\\) (Theorem 4.2). Furthermore, from this result an extensional characterisation is derived (Theorem 4.6).  The paper, starting from a result of \\textit{E. Robinson} and \\textit{G. Rosolini} [J. Symb. Log. 55, No. 2, 678--699 (1990; Zbl 0713.18003)] in the paper, and adapting the techniques in [\\textit{P. J. W. Hofstra}, Math. Proc. Camb. Philos. Soc. 141, No. 2, 239--264 (2006; Zbl 1115.03093)], first defines the notion of discrete combinatory object (DCO), which is shown to be a generalisation of PCA (Corollary 2.15), thus, via Proposition 2.4, PCAs can be identified with a class of indexed preorders. Then, the category of partitioned assemblies over a DCO is defined as the total category over its family fibration. When a category of partitioned assemblies arise from a PCA, it is shown to have many nice properties, summarised in Corollary 3.9. From here, the sought characterisation (Theorem 4.2) is just one step away.  Despite the rather technical exposition, which is necessary, the final result provides a deep insight on how realizability toposes arise from PCAs, a significant achievement that may lead to further developments, and thus the paper is of interest to anyone interested in realizability toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713020$2E253850-565F-428F-B931-FAAAA0A3EDFD","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":"Q1713020$B1406117-ABF7-46CF-BFDD-3777D474DFFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$9004305D-D51B-474F-91FA-CD63B6342A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$A275439A-1636-468F-A3BA-0B229D7B6747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4d024c75b9cc381c718b29dfacd6090d9fc69b5","datavalue":{"value":"7006253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$B178FD44-E107-40DE-9B73-2DA6E3DED4A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19376f04d1151102d2b103fe77d3b20f896df6a4","datavalue":{"value":"partitioned assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713020$001BECEB-14D4-46E4-8414-3509D4BA7E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3960d9df7c8ab42460179c7cb0ec2de2bbd8a86c","datavalue":{"value":"realizability toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713020$8BF3D9A3-2AC2-4C13-92F5-1DA408B43A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da76ae51b8087bf2f5752f13bee7c912e7b935d0","datavalue":{"value":"exact completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713020$F06665E4-AC27-432F-A4C3-017AE0C48371","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":"Q1713020$FAF16A56-8C68-4920-BDCE-A4F2F553CE61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6939893deef4394a1a877ec4c2c20485ffbcd2c8","datavalue":{"value":"W2887094389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$CA0DEA7D-0082-4907-BE90-3385C56E58F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$3D7104A0-5741-4A05-9050-E9B3102CC52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f6d6164ed6fb9ee91a32579d329b0419907223","datavalue":{"value":{"entity-type":"item","numeric-id":3691902,"id":"Q3691902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$594B7367-DC80-478A-92F6-5ABF97CF1C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$A816A926-286B-4A44-A7BC-84B579193D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6dc9035df7ab29838799ae4dbc2f24c7e569e4","datavalue":{"value":{"entity-type":"item","numeric-id":4783307,"id":"Q4783307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$78721BF4-901B-4D11-ACF2-34A6619A6155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da97b6e5cfa806f17ae514fe5ed6c1dbbc697323","datavalue":{"value":{"entity-type":"item","numeric-id":4444124,"id":"Q4444124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$67244F3F-DD02-4E93-8A9D-2BBC2BD8565F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811242b51b2fbe0f7eaff68ef4417f3f8fbf2e79","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$C5A20AA2-04AF-4B3E-8135-43997A20604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d151b846832cf2f6eacfad1e0e25ddc8b510d6","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$0F8E6212-CF1F-42C0-A742-194B46FA6189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$27AF1834-B86B-4E2B-9809-0F0675657A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e75fbe2efb903b9e1e372b443baaec72df8197c","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$B60C3994-B7D2-4214-BCF3-5B95CA7A81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$D1A22565-6BE6-4813-A862-12C3F4034B7F","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":"Q1713020$54BE7B8B-0BA5-449D-8E32-B40A96B5C941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d00faea8d391965b4e73225a490c177fb6948ff","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$00AB55D4-E3FE-4BDB-AC54-A6E0253F954B","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":"Q1713020$ED996865-685D-4583-9BBE-6EE040141874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db007fbf62bb2129d9da6513e720e97a31148f25","datavalue":{"value":{"entity-type":"item","numeric-id":1602851,"id":"Q1602851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$417F33DB-FC71-4DF3-89B0-78DEE4EF39F2","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":"Q1713020$CAD874C6-1ABD-49C8-AA77-73A945EC4400","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":"Q1713020$97CA9425-2CA3-4F28-BF97-A128441B50F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713020$9A839826-E3F5-4B80-9AF8-7B17B005DECE","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":"Q1713020$0BE00939-4160-4130-801D-77009ADAFAF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c9dc8f075c9591eadd2571bc1d6cea10ee594c9","datavalue":{"value":"10.1016/J.JPAA.2018.08.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713020$61328909-176B-4372-8BF0-8B39E39EA069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeddfa7e222858745110683417fd4b0159288cf","datavalue":{"value":{"entity-type":"item","numeric-id":5156775,"id":"Q5156775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879714aca4fd64c3600c3fc0d31d40d9a2e6daff","datavalue":{"value":{"amount":"+0.8138889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$CA2A6247-FD4E-4BBE-B107-2A46570500DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8ceaa2b9e18dd3a3ef84d6a6e7e56c3a8f3a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78dcac115f002d61039a7ddfaa032f5caba206fc","datavalue":{"value":{"amount":"+0.8124089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$CA350AE5-D766-41EB-87AF-4EF489B8AAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09194dae190080008f9aeca1734cb03ab1aa4db7","datavalue":{"value":{"entity-type":"item","numeric-id":1602851,"id":"Q1602851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2673ea3c4275c23734304af5a9896301dbb1e2fa","datavalue":{"value":{"amount":"+0.807243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$A2006045-CD3F-4FCC-B250-8DD1F0BA957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c300031121640aa7e69099115190657f9cb78c","datavalue":{"value":{"entity-type":"item","numeric-id":3386753,"id":"Q3386753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2df60401018cc3ebd904070d60c0f602341c29","datavalue":{"value":{"amount":"+0.799685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$32BB1877-23DA-44C7-A278-56D73B4A0C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2022a3dfb3d9eecc5739b984a420cbcbc12bb984","datavalue":{"value":{"amount":"+0.79483604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$08AC18E5-B545-4AFF-B1BF-AB97D42AFFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c500e46ae37c57df52a0c433156a84ee6c5881","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7910424ac6030930c86bab50547d912df534a096","datavalue":{"value":{"amount":"+0.7842937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$F4AB84C1-F9E8-48F7-AD40-FDEDCFF5B2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40023c02db5b5ca35f4a520a5fba0168a814a71","datavalue":{"value":{"entity-type":"item","numeric-id":3146246,"id":"Q3146246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e266742057f975da08b426a31f2fa4328b91cb","datavalue":{"value":{"amount":"+0.78422225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$A2CEDA39-71D9-4BEE-A002-6DE9F15BFAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19788c435fc0aa531f06344ed2c0d89f7d6c822","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b377022888b056b7a4246bf48213c9153c788537","datavalue":{"value":{"amount":"+0.7731544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$0A471D23-4C82-4395-B040-A9FC65893585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa971499527defc8c3c59ee2f05dd76d0fe0abf","datavalue":{"value":{"entity-type":"item","numeric-id":3146245,"id":"Q3146245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaaefe31f8f0cf2090c8db8bd62af9ee55f4bc97","datavalue":{"value":{"amount":"+0.77139056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$DD142A26-1E5F-4BE6-A677-50C10A08CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a1df4a6d622049f958426103a247d748c18a84","datavalue":{"value":{"entity-type":"item","numeric-id":866493,"id":"Q866493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7450db4de7ea8202408333c080b78efc55ec893","datavalue":{"value":{"amount":"+0.75846666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1713020$395B811E-DC6F-4523-8DA4-1ACE2EB3C145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing partitioned assemblies and realizability toposes","badges":[]}}}}}