{"entities":{"Q5139290":{"pageid":7168861,"ns":120,"title":"Item:Q5139290","lastrevid":58449693,"modified":"2026-04-05T06:46:46Z","type":"item","id":"Q5139290","labels":{"en":{"language":"en","value":"Nilpotent types and fracture squares in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7283042"}},"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":"Q5139290$D3F0AB9C-FB7C-42C3-925B-006CA0A27816","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa3605ebc2217fb616c6a96f289389bb190132fc","datavalue":{"value":{"text":"Nilpotent types and fracture squares in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5139290$24B77110-A4EA-46A3-96F9-425D4898753D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08ef83d1f1d269fbd8cf104d65f2fa470cf3cb6d","datavalue":{"value":"1498.18038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$65CB9874-9685-4171-8193-AD3F24623AFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f24426097adc7bb2dae71293ad3d59f223a16bf","datavalue":{"value":"10.1017/S0960129520000146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$EA1241F2-FF7E-471B-A05F-675469579151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca821cdd87eb9515180f49adf70233ecd22c013f","datavalue":{"value":{"entity-type":"item","numeric-id":5139289,"id":"Q5139289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$8463D593-2C29-4EAD-988D-3D539BB71A7A","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":"Q5139290$5251159E-2D52-4B74-A415-897A94661A05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a78190d4c8adc255c405de184aa517737c3fe83","datavalue":{"value":{"time":"+2020-12-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":"Q5139290$B3DB9403-9949-493E-BDA3-386BB089F5ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c987f7e1a88bc9e334c944e8e0abc511521121e7","datavalue":{"value":"https://arxiv.org/abs/1903.03245","type":"string"},"datatype":"url"},"type":"statement","id":"Q5139290$F629CEC2-55D7-4641-ACBE-A918E1BBE1FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$61A88648-215A-43A7-9EAA-7D3C154DD52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$B4EB73E6-91AD-476A-9CA5-CA08AA2A358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95d2338239996b5a652f0958c14ca2334979dba4","datavalue":{"value":"55P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$0681B922-7212-4F40-95FB-87DC1817DF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a626f2bdfa0328af9d23fb451b774749f3536d8","datavalue":{"value":"18E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$7491F158-4D41-4583-BC8E-5584D7E39B99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34038c63f7049085e8ce651f43824595dcbd3aa7","datavalue":{"value":"7283042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139290$10161D77-1170-451B-9FC9-4D4CAD13769D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139290$9D91DDFF-5DD3-4D69-B10F-880467258742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbce0d52512e1b802871f269cad5945b69281c99","datavalue":{"value":"nilpotent space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139290$AAB8136C-365E-4FBF-A0BD-2B55475EB632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9f12bdad95350b456f14ef41e4b4ee56bdda90","datavalue":{"value":"fracture square","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139290$0C9B7293-BDD1-40DE-A129-D43CCD62EAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e72dbe86bef0c8238146e81dd7244f647428ba2","datavalue":{"value":"Eilenberg-MacLane space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139290$E17EB952-E63A-49A8-A1D9-ED2A0D1274EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66d6044c084c8f1acb832ebaa1ee67416a8a5f70","datavalue":{"value":"principal fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139290$7D140804-08FC-4656-8458-A658BE7EFE9C","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":"Q5139290$7F1D4BA3-C167-4A39-B6A2-892EAD44B344","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d72847ba30608d201d25872d3eec4b60481b02","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$B9293D3C-5AE5-4BAD-8E84-DB438673C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb59eb9944ce8d4d551cb0335492e66377b829d2","datavalue":{"value":{"entity-type":"item","numeric-id":2559986,"id":"Q2559986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$04AF2026-999D-4E9A-89C6-4BA61654A983","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":"Q5139290$9CEB1214-50AC-4F03-9A1B-C283A074381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef72d9225bcca269052b29bb5e8d1533112e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5217587,"id":"Q5217587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$8BDAA7FE-8CC5-4F74-A178-8E4BD25100A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9789337a783702eaa057dedf2bbdeefc63c05128","datavalue":{"value":{"entity-type":"item","numeric-id":4086427,"id":"Q4086427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$3D6CD96B-54E9-4150-A24E-6077539232DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$5CA42CD0-8B0F-424D-8D28-0FD59A68CECC","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":"Q5139290$56F742A7-072D-453F-81C9-5533D28F8ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bec90ececc710bc445da68cec7e03a885b9b2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3113883,"id":"Q3113883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$060B3599-3A3F-4341-B992-9752D531C6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3312235afe72a99b4e3f5db3d2955497177b8","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$3515C357-C04F-48DF-86DA-132900C35503","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":"Q5139290$4A68DE26-71F2-4466-AD56-2F94C200459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb6fa3557617f997214f38b77b798a1c458a7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5145685,"id":"Q5145685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139290$FC0AD73D-B9C2-4495-B5FC-6B8551E1B530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e785db3a5dd5e9cce59f5b0e3ceb23f319c42d","datavalue":{"value":{"entity-type":"item","numeric-id":5217587,"id":"Q5217587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebafe036fe95a270b6acd8f9f6e2ea5ffe87806d","datavalue":{"value":{"amount":"+0.7696232199668884","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":"Q5139290$C2CCCEBB-B1CE-4389-837A-8D838E40D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69958b58d5ef0279a094c266f30de31a27ef6fcc","datavalue":{"value":{"amount":"+0.7402081489562988","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":"Q5139290$BB0E99A8-F85F-47B8-974C-EF52C7988707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc9b9330d1f5c66f120be434f09d27704326a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45e436f928750a8edfa7af466309453a29caabb","datavalue":{"value":{"amount":"+0.7250158786773682","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":"Q5139290$5CFB5646-E013-4701-A5CA-FEAF67A6FCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8c9eca3b10085781f8bf8193076d1ba4bfd275","datavalue":{"value":{"entity-type":"item","numeric-id":5145685,"id":"Q5145685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faecc38220e3ab9bb7b00493b4aed76e745283ed","datavalue":{"value":{"amount":"+0.7249974608421326","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":"Q5139290$E1235117-7223-4855-97F7-F6156B4708D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611ae37cd77e81d821a59e1af5afe2303c597fc","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732db3883e3f800239f673d134b6d248dcad844c","datavalue":{"value":{"amount":"+0.7155477404594421","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":"Q5139290$14306466-FAD9-4832-A77D-10A27D5D10E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5139290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5139290"}}}}}