{"entities":{"Q6149909":{"pageid":13284216,"ns":120,"title":"Item:Q6149909","lastrevid":98901482,"modified":"2026-06-05T18:45:45Z","type":"item","id":"Q6149909","labels":{"en":{"language":"en","value":"Univalent categories of modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813327"}},"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":"Q6149909$1EF6395A-6D68-40C3-BFA7-2B027B61F934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfd0f7645a5f89c0c004a6d7c322714cb7b21661","datavalue":{"value":{"text":"Univalent categories of modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149909$453B1A42-E3E9-492D-97CD-6B6CE14C843F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a28f8a4a41ebd786419597615593fd7e17843c","datavalue":{"value":{"entity-type":"item","numeric-id":6149908,"id":"Q6149908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$3CE95B6B-AA00-4329-ADE4-DE9F572B56F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$6D0F1B0E-7AA8-4EF5-9C80-18F82C5356E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149909$51DFBE1E-CBA5-4F33-8646-4B09F7691AC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf071de15343dc4c12ea3eb2dda3f9e10874a01c","datavalue":{"value":"https://arxiv.org/abs/2207.03261","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149909$BDA0E92E-D229-494E-B445-F34F9AD45BAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149909$BCF31AF2-8A52-42BC-966D-280BF339B90E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d2d20078f9e767a0283fb66f34de52e50f56677","datavalue":{"value":"7813327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149909$D40CF5BB-7965-47A5-8673-C4394E82FB6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149909$30891449-13E5-4E6C-9512-0D9F904341DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85250b0f5793fddfbfacbacf1a198f152b6c2ef","datavalue":{"value":"homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149909$C929E686-78E4-4147-96D0-3D48B0EC0243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91ef38fb9a25c0b1567a62d8bea71fbe9fb6e49","datavalue":{"value":"Grothendieck category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149909$CDB38CAE-29E1-4A0D-87ED-E86D92379C33","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":"Q6149909$1879BD10-3DE8-4738-A4DE-A8FD39E0DF29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b62f5ab8c491bad9a433ca6faefa688bc410b254","datavalue":{"value":"W4381734619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149909$4F5E160B-6AB1-42E6-BEE3-E42038C9B1DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94b192bcb1f1438fac6d7d940c39373c38eae5","datavalue":{"value":{"entity-type":"item","numeric-id":4527392,"id":"Q4527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$998088BE-841B-453F-9D3B-024038C46434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$A14FE16D-8934-487E-83B9-1A6FA9B55195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7796ade5d95d830046874260059bc796b79d0f22","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$BAEC6A2C-EF2A-4E71-B0E3-1910A0515606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1febea15b16883b6fa74cd9fa2a2b822654ace19","datavalue":{"value":{"entity-type":"item","numeric-id":5116337,"id":"Q5116337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$76B63BB2-946F-491A-B54E-89459A2F2931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9767b4f993764f1a6ae8e85667cc0e126d88ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$456CF406-5DFB-4A19-8551-96A82B76AB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bcf72e34202ef3780d0d06cef55661055f1e31","datavalue":{"value":{"entity-type":"item","numeric-id":3934679,"id":"Q3934679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$FB8FFC29-FCAD-41C7-9812-9E04E51718FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$4C412B97-E760-48EF-BBFD-6E35108EA9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce9517eaffda9162f57983a2e69733579a3ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":4173541,"id":"Q4173541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$65408FA7-F49A-436D-9721-B65A5C53A5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$9954A479-575F-4036-8F3E-D5C9945412BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3714445feaecb01348c47d8cc9de8195e7231f66","datavalue":{"value":{"entity-type":"item","numeric-id":2980980,"id":"Q2980980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$A055110E-E282-4CB7-ADEB-FA22879BF87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$97236FE4-D561-4F92-AFCA-25072151F031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$9910959C-1001-4D1F-A8A1-4FC5E6713320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d398db1823f8f65b6e0de1539541ea266676db46","datavalue":{"value":{"entity-type":"item","numeric-id":3379615,"id":"Q3379615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$E35F555F-B9D3-413E-9347-B85DF841A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$E01B590E-0B92-49C7-9C93-283A8B17AAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ac96d82cd41ae98c0042f2d69104f73384410d","datavalue":{"value":{"entity-type":"item","numeric-id":3686867,"id":"Q3686867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$A98D39F5-EB6E-4933-9CE1-908FF90FC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149909$ED72D4B8-EFA0-4165-A846-47FD7F7E258E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ead32ca43d43953bc3e0099df31a6eac9ef57c3b","datavalue":{"value":"10.1017/S0960129523000178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149909$1CF62B17-42A4-4B27-9027-DACF928BBCCA","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":"Q6149909$77E1051B-2C90-4EEC-AB40-1FDBB2BC817F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Univalent categories of modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Univalent_categories_of_modules"}}}}}