{"entities":{"Q5028473":{"pageid":7058050,"ns":120,"title":"Item:Q5028473","lastrevid":55399597,"modified":"2026-02-17T15:37:58Z","type":"item","id":"Q5028473","labels":{"en":{"language":"en","value":"On the Nielsen-Schreier theorem in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471707"}},"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":"Q5028473$11D0B215-6948-4EAE-9CAD-86265ED531F2","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":"Q5028473$68DB2E82-C814-45FB-B0DD-C1E08F824FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028473$831091DE-3039-4285-BCD4-BDD810A54C53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ae5637f16c2fb2f78d3813e1069e8690f4908a","datavalue":{"value":"https://arxiv.org/abs/2010.01187","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028473$404594ED-3128-4BC4-A6FE-8C74866A1051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d36674cb4ac6edb846ed5e28f9ca10f2d7a44b1a","datavalue":{"value":"https://lmcs.episciences.org/8989","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028473$3CB88E89-5821-4FA5-88CF-BCF4851734A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028473$F056976C-F1E3-40D7-B5E8-4BDB7666501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028473$7CCA61CF-5C9E-4003-BF5B-C69B1FAF3F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f189cc20933d30b904d08c71c8091db6a85ce14","datavalue":{"value":"7471707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028473$65E977E9-AF89-4ED9-AB91-EDCE34607371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028473$D2BC5587-1B08-4FC6-B61F-7EEAF05B2FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028473$D8B1F1A8-88AB-4450-A804-88754D09D3AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e9b09c47e4b49c0108868947f797bbd493cb767","datavalue":{"value":{"entity-type":"item","numeric-id":1350644,"id":"Q1350644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$256369F7-3A57-4CAC-BC44-C47B6509A53C","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":"Q5028473$EF1AEF0A-3892-40F6-94A4-CC8C13394BF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a84d7f025fe089d6e584e6350bccb5dbd2c6927","datavalue":{"value":{"entity-type":"item","numeric-id":5763502,"id":"Q5763502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$76AF7B47-D763-4FD6-8256-7DEC2D2E39CD","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":"Q5028473$E8622645-7A75-441D-8B8A-05473F0D47CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2241d0638acceab3a071c5ce6e89c217aafb89b","datavalue":{"value":{"entity-type":"item","numeric-id":4477208,"id":"Q4477208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$C4BB9023-C186-466A-80F2-7214F087699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f6f04e0829cea3174d08000975cc9f5ac02599","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$7D47698E-1C5D-4961-AA10-61AC270411F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb637d585507a220c73811dcfa601db209365621","datavalue":{"value":{"entity-type":"item","numeric-id":3682654,"id":"Q3682654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$9D5CF26E-86FD-415C-824F-97E013CBFD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd781ba0d7a796a2124cea157c1f792cbe4db37","datavalue":{"value":{"entity-type":"item","numeric-id":5145336,"id":"Q5145336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$FEEF835B-1901-4B4B-BB12-612FAF25E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44289a4483f73f7bf90c13b18c9593d50e0792e","datavalue":{"value":{"entity-type":"item","numeric-id":3460525,"id":"Q3460525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$CE334011-6292-4512-9A0E-578CB2ACD7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a293761f357c7c24f5a1aa14e7be5a02e36b4187","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$9AFEF73C-8502-41C5-A921-03804A9330B0","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":"Q5028473$CDE23AE0-D3DA-4660-97D3-627B3BD25960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$4B6812F0-B649-402B-B244-645C97C28C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$ED2A8316-8797-4657-8892-4869EADCD4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343124d81cdb376116d683a17fab24940a988660","datavalue":{"value":{"entity-type":"item","numeric-id":3407081,"id":"Q3407081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$ECC9A74E-7B56-4F8F-A045-C1B2A23744E8","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":"Q5028473$B928DCD7-3C34-4BB7-8B5E-1D113DFC4154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028473$EAA733A2-57DE-45EE-98FE-64E30759BF78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4f9cf423bf3d31bc5f224f4ec5a7af80af7e12","datavalue":{"value":{"entity-type":"item","numeric-id":3460525,"id":"Q3460525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9593012519ee9ebf7af93a51a0f9677c61e43d","datavalue":{"value":{"amount":"+0.7913121581077576","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":"Q5028473$36149F17-7F2D-45F8-8200-94699D386C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63eb2f0bb0cf372f4dc3b1e93d4dd67c0c3b6462","datavalue":{"value":{"entity-type":"item","numeric-id":5145336,"id":"Q5145336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20e4e2c8c9f36c2c870928b1b3a7667a2843c23","datavalue":{"value":{"amount":"+0.7497076392173767","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":"Q5028473$C7C23193-8295-424D-BE27-C77741DDC73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa8d144c31a4fdaf2e3587b9633487088c45c45","datavalue":{"value":{"entity-type":"item","numeric-id":5109218,"id":"Q5109218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36201caf1a9ba65a8f999a8b7c63d63d6d94cac5","datavalue":{"value":{"amount":"+0.7493088841438293","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":"Q5028473$AEDF1F40-287A-4019-AC92-C2CF943E90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f34e4cc650b64ebb003303883a13e97b05d02","datavalue":{"value":{"entity-type":"item","numeric-id":5145293,"id":"Q5145293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c13370e8498a8022ac05c40b30cfcae790eca7","datavalue":{"value":{"amount":"+0.726222038269043","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":"Q5028473$F2D4B04D-22B3-41C8-A285-4D32D9D03F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49e5edc836ac8cdcd2a5e606df7bf1d1a7afce3","datavalue":{"value":{"entity-type":"item","numeric-id":6118828,"id":"Q6118828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01dd4721d9e96b329b5cdcf5c88730ce7f55de7","datavalue":{"value":{"amount":"+0.7236137986183167","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":"Q5028473$89F98ADB-8CD5-4FD8-A4FB-66246604AFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028473"}}}}}