{"entities":{"Q512135":{"pageid":513902,"ns":120,"title":"Item:Q512135","lastrevid":62448165,"modified":"2026-04-11T06:09:08Z","type":"item","id":"Q512135","labels":{"en":{"language":"en","value":"Constructions of categories of setoids from proof-irrelevant families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688536"}},"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":"Q512135$A5902E0E-8D74-4806-BE42-64AB2617B362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4818535f83bf844ff77c6f211624488746d0b1","datavalue":{"value":{"text":"Constructions of categories of setoids from proof-irrelevant families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512135$4B85F790-E2CE-4D50-90A9-979815182E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b58fa3eb170c7e66a5e50d4308cfe79bafd0dc","datavalue":{"value":"1390.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$D2596D37-B3B8-44D7-894C-E5122BAD3210","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":"Q512135$D0F2C78A-D4E8-4AD4-8A7D-1376124DB1AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$77A0A9F7-EC7B-462F-9BEF-22AE4358D981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-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":"Q512135$80BF3FA4-C616-4780-AAFA-FFCDF9E02F11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d955ecbf6b164f4c51678e4bcb21c4ff68a2ea7d","datavalue":{"value":"The paper illustrates two categories of setoids with equality on objects, showing they are isomorphic within intensional Martin-L\u00f6f type theory. Both categories are constructed from a fixed proof-irrelevant family of setoids, and they differ by the way in which arrows are defined. It is worth reminding that a proof-irrelevant family \\(F\\) of setoids over a setoid \\(A\\) is a map associating to each \\(a \\in A\\) a setoid \\(F(a)\\), and to each \\(p : x =_A y\\) an extensional function \\(F(p): F(x) \\to F(y)\\), the transportation function, such that {\\parindent=0.6cm \\begin{itemize}\\item[(1)] \\(F(\\mathrm{refl}(x))) = \\mathrm{id}_{F(x)}\\); \\item[(2)] if \\(p,q : x =_A y\\) then \\(F(p) = F(q)\\) hence the proof-irrelevance; \\item[(3)] \\(F(q) \\circ F(p) = F(q \\circ p)\\) when the compositions are defined.   \\end{itemize}} Both the examined categories' objects form the index setoid, whereas the first category has triples \\((a,b,f: F(a) \\to F(b))\\) as arrows, with \\(f\\) an extensional function; in the second category arrows are triples \\((a,b, R \\to \\Sigma(I,F)^2)\\) where \\(R\\) is a total relation between the subobjects \\(F(a), F(b)\\) included in \\(\\Sigma(I,F)\\) of the setoid sum of the family.  Clearly, the first category identifies arrows up to transportation maps, while the second one is simpler to use as the transportation maps disappear.  The construction of the first category may be generalised to show that the full image of a category along an E-functor into an E-category is a category.  The clearly written paper follows [the author, ibid. 51, No. 1--2, 35--47 (2012; Zbl 1241.03005); with \\textit{O. Wilander}, Log. Methods Comput. Sci. 10, No. 3, Paper No. 25, 14 p. (2014; Zbl 1341.03012); \\textit{O. Wilander}, Math. Struct. Comput. Sci. 22, No. 1, 103--121 (2012; Zbl 1261.03176)] in the text, and deepens the previous results. It is of interest to those working on the fundamental notion of equality in intensional type theory, especially considering the contribution as part of a series of subsequent articles describing ongoing research.","type":"string"},"datatype":"string"},"type":"statement","id":"Q512135$2CB405BC-FE2A-406C-A434-1EA3E2612CAB","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":"Q512135$EF34F6DE-A013-480F-8967-48DA32E26D7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$C2119A83-3EF9-42CC-AF93-C6B655841255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$37872AD3-BB11-4612-840A-88419BDAA7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$193ED7D3-0C69-428F-AB91-E9B957B2BA48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6deb31b902a9e8768329120648cbc91f7b1372f5","datavalue":{"value":"6688536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$EE9E92F1-E027-4B27-B06C-8BE9397C4B6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q512135$08CD13F6-2599-4313-A461-0D90B23F2D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"369d809faf45cd7c2feadd7217eb1a0d072ebf93","datavalue":{"value":"proof-irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q512135$4F08408D-AA5D-43C2-AA49-6F2622BC3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q512135$34634A30-00F7-4B37-86A1-F70ED6DAADDF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"773739e4df4ad44a32f1e435389fe5d3d092832e","datavalue":{"value":"Q59611793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$F4737EF2-0105-489E-88FF-3E87885FFCAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$BC631F01-0968-45FA-ABF8-72F86D003A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$A8BE7877-070B-4FC6-83FF-4A23E1A7D11C","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":"Q512135$1306E7C9-530E-4219-80AE-0C89A4762617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05196d9ab2d76ceba262d4d9d887acecb1e6ce5","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0514-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q512135$2963FC13-9752-4902-8BEB-E2A2A962A379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84eee047d8ba88f915d888df7da733c1cfe128c1","datavalue":{"value":"W2547417032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$AE9DDAE4-13FB-4A90-B520-231952C6B581","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aa05cbdf7e9c30715a43e649084cfac28e9645","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$570AE654-93A7-4259-92B7-34051A859865","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":"Q512135$B908FBFF-93D1-47E5-A8FB-390E0C4F98C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$EF3CB6DC-90F0-4117-BAD0-98BF6012FA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$EBF815BF-0324-4769-8612-E5154D44BA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$64740457-52E3-4289-AA2B-4897DD159D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$F3713E48-AB05-4DDE-8106-2CD8822662C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67326b6c80e797a30d875f6865221006e1499ed","datavalue":{"value":{"entity-type":"item","numeric-id":661282,"id":"Q661282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$5E34CFB2-BCE8-4A99-8FA9-5C80768EDE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85eb75282babb0af671593e89da706c05d1d3353","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$CB238AB7-6A53-44FF-BC7F-2E3284576177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aaf86fabca44d27a21b4a56193dd936bc2bda49","datavalue":{"value":{"entity-type":"item","numeric-id":3225739,"id":"Q3225739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$282FD162-309A-49D7-9B4E-9D7548FFC812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a234671073586eef42c780e73238387eb7c6833","datavalue":{"value":"10.1007/S00153-016-0514-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512135$5A866D98-7051-49FE-8CE0-B804951BE143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49608af8a7eb2241f410a9eb5a6be8e573db90e","datavalue":{"value":{"amount":"+0.8063351","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":"Q512135$AE545114-E8B3-4DFD-8BC5-1682C60E330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ed81439ed83a13718dc68ae40cfbc243d6e92d","datavalue":{"value":{"entity-type":"item","numeric-id":2253183,"id":"Q2253183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c46b4da3a07bb847ad802f8baaa87df4ec49ad","datavalue":{"value":{"amount":"+0.79787654","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":"Q512135$21A47755-2501-4197-B721-C08CD68B3C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b6bc96852a3f96ef80253f516081e59b013060","datavalue":{"value":{"entity-type":"item","numeric-id":661282,"id":"Q661282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa99c7e6afd3def691cbacfb5ccab901f81d98eb","datavalue":{"value":{"amount":"+0.76331747","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":"Q512135$C5B20898-700B-44A7-B2DF-B0636C877A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd2a7c5ae41bbaf82e6faeb8738632585b8325c","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0723743f6c666414bc307ef88c8031775e153a","datavalue":{"value":{"amount":"+0.7613314","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":"Q512135$E347F1CD-A2D9-4BD4-804D-1BFEDE895AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750bd0f5f42ed9491e9506dfb6c78a8ed5a5f8fa","datavalue":{"value":{"entity-type":"item","numeric-id":6083693,"id":"Q6083693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8258b45cb6dec2fb27e8cee5f0cc4296549408","datavalue":{"value":{"amount":"+0.75323206","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":"Q512135$820C773D-1F70-4C0D-B309-0C9D9934376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5630c0d64d652235db02577c863c7a557d399a2","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6730b804ee124a193f2af4cbb9a49033cb4a1f47","datavalue":{"value":{"amount":"+0.7527702","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":"Q512135$8D542D28-8A22-4CA9-99B5-35CE8C3D4013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4812a7d6b59d8f5f1f89ca14a5340ca0a59f18","datavalue":{"value":{"entity-type":"item","numeric-id":6060678,"id":"Q6060678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9094040ccb19a410b5de93d0abd554c5b8045eda","datavalue":{"value":{"amount":"+0.74492776","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":"Q512135$A26622DD-D319-4F7F-9F06-CF1875078B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6e695831ef9f3566c5479e96850cef9ab3b79a","datavalue":{"value":{"amount":"+0.7398462","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":"Q512135$1C11D471-0F33-4EC7-8A81-96E7AC43AB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f9789da1f5f4c6f90a3201c5d33629f48d3d2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233391,"id":"Q2233391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20fa5af3eb72c9a1751a0ac90f8db0c4ad7a056","datavalue":{"value":{"amount":"+0.73972356","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":"Q512135$F0EA6F79-51C3-4ED6-8E51-85FA690A5B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93edd0fd8f1bd98dcb4b22588553bb0548ad89d","datavalue":{"value":{"amount":"+0.73514336","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":"Q512135$4AA444D2-E451-471E-99D5-AEC8C70E90E9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512135$B96B5545-A826-4ED9-B25F-96189CEC4652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructions of categories of setoids from proof-irrelevant families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructions_of_categories_of_setoids_from_proof-irrelevant_families"}}}}}