{"entities":{"Q5144693":{"pageid":7174264,"ns":120,"title":"Item:Q5144693","lastrevid":58448823,"modified":"2026-04-05T06:41:30Z","type":"item","id":"Q5144693","labels":{"en":{"language":"en","value":"The real projective spaces in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297894"}},"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":"Q5144693$8449A303-0797-407D-BE8D-B1D335E4D136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f61222e0c94ad8f3f30fea12f0a4623b132d094","datavalue":{"value":"1452.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144693$21921131-8A75-4421-B07C-80D9E786C966","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144693$8476BFFF-E017-465C-89C2-4350D7B1B1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144693$4A0279AE-D505-4E9C-A120-08006262380E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144693$05D433E1-B27B-4DA1-91DB-898328660E12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed177d36b81d00a53d971dc7054608c0602db19b","datavalue":{"value":"https://arxiv.org/abs/1704.05770","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144693$11DD528D-D186-4017-89B2-D52CC26219BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"384468a949caac7bbfd4d604b4e4936f5dbd0f49","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330081","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144693$AABD95CF-5A7B-4A00-BBFD-323EE3274C92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144693$07804FCF-DFA5-4192-9B0A-87D10E4202A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144693$DF897115-BA22-4DBC-BCD7-58C7D40FF192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c787465e34a9ae425051cf2496eb73adea59b799","datavalue":{"value":"55P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144693$6F3D8799-ADBF-46A4-B38F-77EB2DABC7A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c37fb5d9a9689ce5cf726ab00325cff264c226","datavalue":{"value":"7297894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144693$83FD757A-54B3-4FE6-87BB-4F95E4FD6ABF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144693$8C76846C-188B-46BB-86C1-2E501C240CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144693$D6D7BDB4-7343-440D-8A77-E938C93C2B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6d4bd7555da0961546e54c20b4f4971cd164c1","datavalue":{"value":"real projective spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144693$83B61D81-044F-4693-A776-2CA8736ED7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe3f5ce79cef43b16740889fd3395c13c03fc1","datavalue":{"value":"univalence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144693$48AB7B03-80C3-4C7D-8544-F17CF64FBD84","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":"Q5144693$87354FF4-DEF8-4D29-A4C3-12D995E74496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cb7e4ff1e329ad93839294566dd2c1fad83545","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adbe9c75269bbee5132fcdc6924420c594783ca","datavalue":{"value":{"amount":"+0.7920196056365967","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":"Q5144693$138724E8-AE66-42C6-B88A-DD3A59099A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9f0bb3e23e9ef4020847e600b42c1a56f4949","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016c565fe92f2637215fd62c59e3df19a0586ad3","datavalue":{"value":{"amount":"+0.7356123924255371","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":"Q5144693$2542467B-2170-4FBB-B9B8-C94B37F23A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f90e95ae8fe8402c104eb37cbbc779f4f50ff60","datavalue":{"value":{"entity-type":"item","numeric-id":5278189,"id":"Q5278189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1af4e2a176542fe1aa7922e11b16592d31fd70","datavalue":{"value":{"amount":"+0.7270768284797668","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":"Q5144693$D7708402-B62B-4239-8D83-324FA215F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3eeb11a75025e45022ee9013ecaa24a2ca69ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3121020,"id":"Q3121020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0040c7ac0659501a8b8490d083cc2af3b53ad9c4","datavalue":{"value":{"amount":"+0.7221119999885559","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":"Q5144693$5E37446E-7F6C-4478-AF0E-4B62CC179169","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":"12e9787aa0437f150b463ce289ff86509b741710","datavalue":{"value":{"amount":"+0.7118772864341736","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":"Q5144693$EC0DB9A2-1B46-48F8-B116-D756379D0465","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144693"}}}}}