{"entities":{"Q6060678":{"pageid":13194833,"ns":120,"title":"Item:Q6060678","lastrevid":58647216,"modified":"2026-04-06T04:15:30Z","type":"item","id":"Q6060678","labels":{"en":{"language":"en","value":"On equality of objects in categories in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7761010"}},"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":"Q6060678$6D974133-1E0B-490E-ACA2-2CD23C5C6269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"431323ebe512a7f25627e53973084de16bbbac4c","datavalue":{"value":"1528.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$32D0B1D7-DC15-446C-B7E0-F2D3028ACF93","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":"Q6060678$6C2AAFBF-F12A-4A09-924E-EFFE522F3F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2042b1414b93bc40245c70d5e20b5b936393c3d9","datavalue":{"value":{"time":"+2023-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6060678$8E4D987B-68A2-4021-9F2B-EE6202B39BAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c734c72d5c6aa5f76d33b6a6fc2732bf0c75ea7","datavalue":{"value":"https://arxiv.org/abs/1708.01924","type":"string"},"datatype":"url"},"type":"statement","id":"Q6060678$8F9DF584-F873-403C-B6CE-64F04B7C4069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$9F9933A8-56FD-490E-B4C3-2293FF6F0792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$68CFC4C4-D7D7-4957-B91C-56403D9C5F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$3AE561B1-906B-4DA6-811C-6F5E5BB767D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efc3975f7475b2c34357d0f587cb84aa5d554f3c","datavalue":{"value":"7761010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$F5E786B3-66C8-4BC4-B2FA-33FF99FBBCFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060678$22F13EDE-83FD-4F48-8EEB-1595FFBA24DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060678$3DAA7A5C-6DD1-4EC6-B3CA-903015CA9855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060678$3084A56A-41E4-48AF-9323-2520C49093B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5c87fcd639a8f5d38124c5c135c89f5eadb015","datavalue":{"value":"setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060678$7D970B73-8C31-40C9-B0F6-7D221932E43E","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":"Q6060678$8AA0DCC4-5A5E-4F8E-88B8-D927A8178525","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060678$B7E6130F-DEA7-4F92-A993-93D4BEDC9517","rank":"normal"},{"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":"Q6060678$0826D5AB-6734-4F29-A63B-C37B66A275C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daa098fc8f491dde63d70462e82ffca856fca899","datavalue":{"value":"10.4230/LIPICS.TYPES.2017.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060678$68C1A7C3-87D5-4135-BF55-4ADD8EFDAADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e928f884c209eb2bfe9bc06f762ddea086367c","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24a7b8412b4863b23a66976f0ba3775763e5737","datavalue":{"value":{"amount":"+0.7723617553710938","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":"Q6060678$86C4BE8C-F160-477B-9CB3-BDC26D95B9C8","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":"6f32bc68cc256056d15e5217c6a248cbe2935e57","datavalue":{"value":{"amount":"+0.7679483294487","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":"Q6060678$57D17F72-FEBF-410C-B8F9-43F0C1538221","rank":"normal"},{"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":"47d44011dd3b063a23ba2f0f92d39fc59562d712","datavalue":{"value":{"amount":"+0.7663705348968506","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":"Q6060678$E37686F0-F3FC-4D16-B639-E5CA9EB43AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec398ff0e36df32693bb7006d90742085732a4ca","datavalue":{"value":{"amount":"+0.75566166639328","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":"Q6060678$2E4BE460-21D9-4BEF-93D2-62B1BECACFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce5ea5ed2738891daceab520080dcf2ade0c158","datavalue":{"value":{"entity-type":"item","numeric-id":3225739,"id":"Q3225739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89abe61818fb6290231451c8f9c8f2879b7842e","datavalue":{"value":{"amount":"+0.7530136704444885","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":"Q6060678$CA1155BF-4620-4066-8670-3B4637A0C1EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6060678","badges":[]}}}}}