{"entities":{"Q2253183":{"pageid":2263926,"ns":120,"title":"Item:Q2253183","lastrevid":52048478,"modified":"2026-01-20T20:13:42Z","type":"item","id":"Q2253183","labels":{"en":{"language":"en","value":"Category theoretic structure of setoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320759"}},"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":"Q2253183$C9F9616E-CF95-475A-B719-FCE698748287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94124f1fbb4eaf6e33f147d02dd74b2649bd6dc","datavalue":{"value":{"text":"Category theoretic structure of setoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253183$75C2EF91-4D6E-4595-B58B-7D9A73C45AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21647122871ef4e633bee6f7e8f18e7f5179f9f","datavalue":{"value":"1418.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$5FEE80AF-07CA-4581-8E13-153332B3544C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e2909dc69e32b8fc07ac6f20df0f0a9aa48062","datavalue":{"value":{"entity-type":"item","numeric-id":1567198,"id":"Q1567198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$2EF6CD79-0BF9-4743-B8BB-27D9301D54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$5098343C-99C2-40E9-8053-32DB0007F2DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$4996D091-6C78-41E8-BA02-2571EFD22778","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"909f0e97826a0ccd657ee0d4eb1dd9e227371f27","datavalue":{"value":{"time":"+2014-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2253183$3DD59D68-D67E-47D2-AD77-1D18E95025D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$11E03DC6-7782-441C-A806-0ECD59C5065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$4A005C59-E18F-455B-BF8D-BDFFBAB29D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$AF5AB05F-C7F7-4928-B4C5-3CEBF07730F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$2E6D57B1-94BC-468A-904F-42D1B28D4BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6518675a684f9883ed01b224b094722d179f2704","datavalue":{"value":"6320759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$D99E48D7-A897-40C6-8088-692F9BDE8118","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be2dac6ee1773043c25be4969e0e407b4258020","datavalue":{"value":"setoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$64C9BBD6-0CCA-4680-B502-C4396131C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$824D9939-9146-494F-9990-6CE8222F9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$3AA73119-F1E6-4F87-9714-B765836019FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$9743451E-0C95-4B85-8146-61FC656848ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$E9456787-CD5E-47BA-A501-4743B88074D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80580ef6e04e3a47ff1d1da249fd7f94f43ea8c9","datavalue":{"value":"Equiv-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$6C89B01B-451D-4207-B2C9-B4D2CD791F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84b91053648fadfd45e2cfda91b35458e026b4a","datavalue":{"value":"Equiv-inserter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$EE743E91-AE9C-4D3E-BE74-24C9206E4E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d324d47f0a15a828971367420f9c8ed58dace9a0","datavalue":{"value":"\\(\\mathcal E\\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$D394963A-0146-48BC-9088-9238B0A78249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91eb9a6e2f842b363c28e4db5a5936e7b8538144","datavalue":{"value":"\\(\\mathcal E\\)-coinserter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253183$956291E1-B5D7-41EB-AC01-E099A274908B","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":"Q2253183$5B6F352F-F8BA-475C-8027-35EBBD58EBBD","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":"Q2253183$70154AD7-D46C-4CEE-A78F-CFB827616463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9cb664847c34168f87610074c644215391d53c6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253183$29E2B7F6-2A7C-4B64-8C57-1CA484E6174F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f7232c5e86c4f51c945fe5f0dd405762e3a7f20","datavalue":{"value":"W2118319342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$D3690766-0059-41D9-B7B9-F34631BC1C98","rank":"normal"}],"P223":[{"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":"Q2253183$8EE20C0F-C9F1-4304-A9B4-46C9A43C5676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287f31c8e695f0cc11f57a3ba4a985fdf48a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3804881,"id":"Q3804881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$76540651-4458-44F4-AE29-06B56C712EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$A3D410C0-8F45-47C2-A654-F05F55B0892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281e285bfdf0a20755cd465fd6c722b659cf33f9","datavalue":{"value":{"entity-type":"item","numeric-id":4235398,"id":"Q4235398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$49E3FBAF-D17C-4791-86BE-F905E274E9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4a1355c429b833318e2317db69f2286224c0a3","datavalue":{"value":{"entity-type":"item","numeric-id":3583021,"id":"Q3583021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$5136D0AE-62B1-45B8-9B34-F40886ECAE1F","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":"Q2253183$FFBC1B5F-C4BB-4128-8B7C-895BC904D1B1","rank":"normal"},{"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":"Q2253183$79481557-031C-4A87-B87E-11BCD5012033","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":"Q2253183$CDBD8321-2DD3-4061-9206-DAE52E56E0B1","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":"Q2253183$B81584BA-CCC6-4FC5-93DE-DC6854DDE3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$F0A7E3D6-585D-4FF9-9AA5-52CAF0B860DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$06251A5A-912E-4424-BBA7-E1FF80808091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253183$45828981-4C85-4901-9C23-34D511D80677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd5455956b64fa449fd79b3a3ca661ec3087c3c","datavalue":{"value":"10.1016/J.TCS.2014.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253183$75EC7EAD-F6FC-46A2-A6C6-D92851C72FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1141a5de5fa0a2e051608eadb67fd39b9457b6","datavalue":{"value":{"entity-type":"item","numeric-id":512135,"id":"Q512135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ba30d754f66818eded964f774b86b85dd2e874","datavalue":{"value":{"amount":"+0.8322712182998657","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":"Q2253183$71EC8AF9-BAE2-4AD7-86FD-D22A5830D7FC","rank":"normal"},{"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":"2df5da2263a9284a5c65fedf1e18ada0f3b73467","datavalue":{"value":{"amount":"+0.8073092103004456","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":"Q2253183$6960B85B-2BB3-45D2-BC61-F1A7CDE86367","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":"9b62c86c2921554576a9e1cf105075dcf61307ea","datavalue":{"value":{"amount":"+0.7827736139297485","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":"Q2253183$1D038175-587F-433D-9592-9737E3B0C50B","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":"2734ed19ff1b13245e12a67cb13ad7ac57256517","datavalue":{"value":{"amount":"+0.7740366458892822","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":"Q2253183$EE2052A0-F040-41B0-842C-507B2E6E6A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2051e99841f6b9cec7f566b75fdc0b6d66f9139f","datavalue":{"value":{"entity-type":"item","numeric-id":5155691,"id":"Q5155691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8976f9ac18a8d27efaab637dcdf4e7cd570c5f","datavalue":{"value":{"amount":"+0.7668235301971436","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":"Q2253183$3EEF8A5F-AB69-4264-8322-A4820C211C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2253183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2253183"}}}}}