{"entities":{"Q6634616":{"pageid":14245768,"ns":120,"title":"Item:Q6634616","lastrevid":103655258,"modified":"2026-06-06T07:50:32Z","type":"item","id":"Q6634616","labels":{"en":{"language":"en","value":"Towards constructivising the Freyd-Mitchell embedding theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7940407"}},"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":"Q6634616$574533D3-C4FD-42C1-BD65-9FE2BE342BA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47192a6bb2e9e86fd879047d90e1d5534e97faae","datavalue":{"value":{"text":"Towards constructivising the Freyd-Mitchell embedding theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6634616$01645125-BD7E-4204-9EEB-894616B29350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e01c93b64788afd53444390d541807bc759253d","datavalue":{"value":{"entity-type":"item","numeric-id":6394509,"id":"Q6394509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$A1F95A6D-E8AD-43C3-93A0-15A39F9646A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$332E7D4C-6D71-4208-8BB8-F871C381716A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ca17898941fdbe8400e66b2749b84d39a2e722","datavalue":{"value":{"time":"+2024-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6634616$DB2176B9-C785-4462-97F8-C6C163B0BFF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634616$044E2AE8-F324-457B-975B-6FE10FF3BAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634616$6EA6C1F8-ACE4-4F36-A4A5-64526D34AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"874dfa4324e8981fd5ab2c9cd58239d856ba2cf5","datavalue":{"value":"18E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634616$4A3FB87E-D69D-4EDD-88A3-E95F72B2A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634616$979E2B62-9188-4E3A-A1BF-F464FD57077C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e61227c827cbf139a9890899d07b51eedc6348","datavalue":{"value":"7940407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634616$9A38DBE7-A093-4E28-B4C1-76EF90376068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a31ab86cd523896325e82b57766151c1464838","datavalue":{"value":"abelian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634616$B1312616-32B7-4F21-B11A-4866C3D5DB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634616$FA3F419A-73C9-410F-BFDB-7C03D769866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121c0e7c8eadf27528909a6de22bd2bbe83a6f6d","datavalue":{"value":"CZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634616$ECD0B239-17DB-4453-8910-68ECF685F89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a9513e672ba500d4a0dede05a06a67f1b0a1a7","datavalue":{"value":"IZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634616$3829B077-0791-4FAC-A779-94B88C633238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634616$157C64A5-194B-452F-88A5-58E7B6943D81","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":"Q6634616$211C0164-29CD-45C1-BF83-F8BBDD350E31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$A81A8FAB-5A97-44B7-AA8C-B09627BB4C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$F4DC0311-BB42-41E1-8343-E217CF375240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$F16B6696-03F5-4B60-8F29-F647694DA675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab86a8c84c5879698e1310e11375196d796b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":5648522,"id":"Q5648522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$2F1EB770-D973-462E-BB12-A741B8FEE727","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":"Q6634616$CE924D36-A2B7-4EB4-B7CA-BCB3CDD5B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf86ba5aa8534c693e31e3bd810983f6af28205","datavalue":{"value":{"entity-type":"item","numeric-id":2377052,"id":"Q2377052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$A48DB462-AFCE-486E-8668-B30D83C6481A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4896c7f232be2280186161c63bb88ecf6df81ec","datavalue":{"value":{"entity-type":"item","numeric-id":2654162,"id":"Q2654162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$B5EF7312-FEF9-49F8-BCEF-4F13A8307733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460d081e3157c835561f219f6576c910c0630d7b","datavalue":{"value":{"entity-type":"item","numeric-id":4267500,"id":"Q4267500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$96431B8D-BED1-445E-A5D4-E9171AC954DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632770c7cb0ea522c1fbf1f6192566e3d922640e","datavalue":{"value":{"entity-type":"item","numeric-id":5207556,"id":"Q5207556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$60D37BD4-E414-425D-A6B0-36E778749341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634616$B3291B6D-D401-46F0-947C-B63ED33932CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf7dde79414031c8a7b2b0d7c3cb5112ca797e0","datavalue":{"value":{"entity-type":"item","numeric-id":1084490,"id":"Q1084490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bbe7e5d64ea233cdc0eadad7f648d14840d3c8","datavalue":{"value":{"amount":"+0.8276597857475281","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":"Q6634616$C1A0EC29-8AEE-48F4-AA62-2D170D35BF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a324770152289d4b0b9cb28f5fce97b5b1e93405","datavalue":{"value":{"entity-type":"item","numeric-id":1333211,"id":"Q1333211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3dfa6d39eec5381181428ffd778d20dadbe550","datavalue":{"value":{"amount":"+0.7569858431816101","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":"Q6634616$694D2288-C6B5-48CF-821A-7CA0075B185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb123bb31125510c95f0c59de6d67747b0afee3","datavalue":{"value":{"entity-type":"item","numeric-id":3646336,"id":"Q3646336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6627e8f10347cde33ae81c390f315d181dc54c8","datavalue":{"value":{"amount":"+0.7441184520721436","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":"Q6634616$779BCCBA-6116-453F-8AB7-9FE8CD50B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4862563c8cef5373180a723df21b7fdb1744e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2197781,"id":"Q2197781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c1b1eb80416170bd2f58a0fd20ca8a94c631a6","datavalue":{"value":{"amount":"+0.7406682968139648","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":"Q6634616$88D561F3-561D-4CBC-8652-4709D2729F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f272f3e04197c4d1202dd81d0252a7e2f097049","datavalue":{"value":{"entity-type":"item","numeric-id":6120737,"id":"Q6120737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f0669684ff5aaf56e4ff9809537d5a2faf6d71","datavalue":{"value":{"amount":"+0.7335641384124756","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":"Q6634616$3F8D354C-6BF5-4657-8ED7-E232F1310AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards constructivising the Freyd-Mitchell embedding theorem (scientific article; zbMATH DE number 7940407)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_constructivising_the_Freyd-Mitchell_embedding_theorem_(scientific_article;_zbMATH_DE_number_7940407)"}}}}}