{"entities":{"Q6350432":{"pageid":13485034,"ns":120,"title":"Item:Q6350432","lastrevid":42212746,"modified":"2025-05-28T09:49:22Z","type":"item","id":"Q6350432","labels":{"en":{"language":"en","value":"On the Nielsen-Schreier Theorem in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6350432$3AA8FD41-117A-4EE2-9898-F6290B204690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5081527b72a0ed3a06d32e1e791fb6a87f329626","datavalue":{"value":{"time":"+2020-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6350432$28D6DCA6-7864-4E24-A09B-8510B0681BBE","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"62eda0ea2b6e4cea4c951de34cc84589a9b4d8d8","datavalue":{"value":"2010.01187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350432$7800623E-DB91-47DB-B9E4-C842C52FF6AA","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350432$AABA1AF4-C521-4BB6-BF46-6D00412FDDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350432$6A82E417-043B-4FE1-B556-A80FFACD2E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"c8ae73f0176a16e701f26bc8833962e4fdcb175a","datavalue":{"value":"math.AT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6350432$7931B334-1F88-4A7B-B48F-05820ABFD47D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6acf738f1447b2416e62fc4cc1888d5b6288c94","datavalue":{"value":{"entity-type":"item","numeric-id":782836,"id":"Q782836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350432$5670E68A-D275-423E-9BA3-6E7550B1BF60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350432$9D594027-6077-4E90-A8BC-FFA64206C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350432$D9BBE760-6E78-4087-8F21-ACAFDCFA8DF1","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":"Q6350432$A067AFF7-DACF-4CE8-BE49-8146AC057935","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"675daa778d5381bd3c31fa70f802b33f78551d2c","datavalue":{"value":"https://github.com/awswan/nielsenschreier-hott","type":"string"},"datatype":"url"},"type":"statement","id":"Q6350432$7601189F-C919-43CC-9182-9E17B7C3F25B","rank":"normal","references":[{"hash":"ad8ca67426c279645e84996c36ecdaf6b0d2d48d","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"65bd1b4f874409a7b210ecfe4083fade5a7645a5","datavalue":{"value":"https://paperswithcode.com/paper/on-the-nielsen-schreier-theorem-in-homotopy","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"40318106cdf5f57314430b7229708325a20cc4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5028473,"id":"Q5028473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350432$6944D318-3F38-4B86-8150-087D0A31CE3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6350432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6350432"}}}}}