{"entities":{"Q5217587":{"pageid":7247157,"ns":120,"title":"Item:Q5217587","lastrevid":58475274,"modified":"2026-04-05T09:26:25Z","type":"item","id":"Q5217587","labels":{"en":{"language":"en","value":"Localization in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7173315"}},"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":"Q5217587$FDEE65F3-C443-4AA5-8F00-52C77DC6D5B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb3b0347e02d0cd2de49b0ce1c500ebddcd8d7ca","datavalue":{"value":"1439.18023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$262696B2-9FB1-4E55-83A8-CBA85D6CFB5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120a349f7bc2e17c40b43ed20bc0ddf4241cdd3d","datavalue":{"value":{"entity-type":"item","numeric-id":230745,"id":"Q230745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$D2443CF0-2CC2-44ED-93CF-144D55888868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69b84db62e69e02fe87eed11a5e543a521134af9","datavalue":{"value":{"entity-type":"item","numeric-id":737118,"id":"Q737118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$1B773892-6F19-44CC-B9FB-B75E964B022F","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":"Q5217587$4CCF111D-7AE8-4BA1-BDD3-EEACFE67849F","rank":"normal"},{"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":"Q5217587$C4CE16D5-7B5A-4D98-BA86-00EB2DC9FEB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217587$6A9D96DF-0222-460B-A527-E856164F160D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19d9dbbcd7d423a98ff296ab509f2a42c6a195d9","datavalue":{"value":"https://arxiv.org/abs/1807.04155","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217587$B9AE3B77-5A84-4D57-BA8D-720161EAD251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$296AD49B-2003-4427-91F4-7EDA1E10E28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a626f2bdfa0328af9d23fb451b774749f3536d8","datavalue":{"value":"18E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$4E789ED8-3C19-40E8-A6CA-3994FA63EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$5116EF8C-4DF6-48B0-B7AC-C3BEFA53D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95d2338239996b5a652f0958c14ca2334979dba4","datavalue":{"value":"55P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$3BD17D80-0808-44A9-895C-587F87858807","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da8cb6fcbb5b1b7bfd09f0caa1fc9225755fe106","datavalue":{"value":"7173315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217587$86AC4843-814B-427B-80F0-A8702A2E8D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$F0EA2BE9-42F2-4D6C-B3B5-FE5E6FDC5711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8fe747d0922d3d87aceb858d1c597bd30b9544","datavalue":{"value":"synthetic homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$A723B7F4-65DB-4973-9103-273FBC59D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe3f5ce79cef43b16740889fd3395c13c03fc1","datavalue":{"value":"univalence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$C6B63EF8-9D39-46AB-89AE-45910C6420A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$14D91ABC-1879-4E70-885D-24B8215F2AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1759bd29d152384ebf5caf583ade4217272491","datavalue":{"value":"reflective subuniverse","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$EFEA048A-4042-466E-9245-57BADC10598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272837bee2f56272fa118b20aa904b785cfef59b","datavalue":{"value":"separated type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217587$A4BD54E4-E9A8-4884-8D79-93FDD588B3F6","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":"Q5217587$2907C858-5644-4844-BD2F-A2897492C8CA","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":"Q5217587$719F6B27-CFD7-438A-8694-1EB2A8F572AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3576f2814a22c2db095e77bc86569bb7c03da2d1","datavalue":{"value":{"entity-type":"item","numeric-id":4313888,"id":"Q4313888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$05DA8820-FDDD-45E9-8F84-BFA5BDCF834B","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":"Q5217587$539B5DAD-E765-4638-AA60-7AB4A60203BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b1d4a338b7bf1a7ef284c845b12218d40dcda0","datavalue":{"value":{"entity-type":"item","numeric-id":3141844,"id":"Q3141844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$E5FDA240-AA88-4BF2-867B-E54D1DEEAE77","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":"Q5217587$F8123509-5E69-4423-864C-463663976D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee7ff7e4111eb7e240aec6d939f89d4abfcc2ef","datavalue":{"value":{"entity-type":"item","numeric-id":1904820,"id":"Q1904820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$FB99F2C2-93E3-4FE0-9DAD-9A4521905B61","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":"Q5217587$32205B5C-E2EA-41D1-B690-DF18F1B4E1A7","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":"Q5217587$77462334-5CE3-4E7F-9C1B-AFFC717A9C90","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":"Q5217587$195736FF-40FD-439C-AFA3-8BDD964AE61A","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":"Q5217587$19DF1434-BA5B-4318-A036-8CF1DDE0F356","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":"Q5217587$D2FBDE06-F2D2-41FD-95D8-D382CF293F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b8bc3bb963c867bf3e2413bb2278de46f1a7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5139290,"id":"Q5139290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$574C3A99-DA44-4128-8D9D-8664247D81D3","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":"Q5217587$33C356A4-258C-404E-9B21-5F6D4396D2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ecf262ec37f2ff8e6f8098ea91c3075bf269587","datavalue":{"value":{"entity-type":"item","numeric-id":5220050,"id":"Q5220050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217587$0CB74545-47C5-44BD-8886-BAEBFA526D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0090c5d06c6862e9e0ee8e5916a623f5767bf5b","datavalue":{"value":{"entity-type":"item","numeric-id":4434312,"id":"Q4434312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb110b5ed19e1277a27097a945ca26b2066e4c4","datavalue":{"value":{"amount":"+0.9274584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$D0054704-3221-4A8F-BFAC-3D8CABD55548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c2734910bfc525ee73c0d1d15395b034a934e","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958b427d96396de72fe4374ecf7e1dcedc048f5c","datavalue":{"value":{"amount":"+0.92316705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$493F1459-9E74-4766-9CBC-E360A7A6C3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c93d1dc11e49fc68247c1f92dea42698d063eff","datavalue":{"value":{"amount":"+0.91826457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$6CDA9DC1-9FEC-4A1E-A5C2-30BB659FAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c93d1dc11e49fc68247c1f92dea42698d063eff","datavalue":{"value":{"amount":"+0.91826457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$E00D0962-CF4A-4499-B8E3-4859542C7EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0797c1133a48ac6cd744de001e1b6378158bd33","datavalue":{"value":{"entity-type":"item","numeric-id":3373650,"id":"Q3373650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0229ac4a77ca9786af7b74efed74285f22f3aef4","datavalue":{"value":{"amount":"+0.91516364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$5382DFA9-98E6-4334-91C0-0942681C9FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98306b77e4d42c2bd2cce91ae75369681e16e91","datavalue":{"value":{"entity-type":"item","numeric-id":4809468,"id":"Q4809468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73137670493766d7d98e5739db5efed2b42e5ea7","datavalue":{"value":{"amount":"+0.9146191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$93190E92-EB2E-4CD9-ACD5-1F6006DDB180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c78e1cffc3571559308fbafbc16fd3ccb2dec1b","datavalue":{"value":{"entity-type":"item","numeric-id":5887126,"id":"Q5887126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909531c3748b9b682ee267d2c03e1fed32aa9787","datavalue":{"value":{"amount":"+0.91091895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$55BE8042-7A1B-421A-A6C0-5FDBAA6306F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403de66f14deec5ba0f765e5244b5404c9edf4cc","datavalue":{"value":{"amount":"+0.90756494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$6F9A67C7-595F-4D88-8729-BF8CF4D8E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8deb8ac4ec333cac0535a3e126f1c2d71d339ef","datavalue":{"value":{"amount":"+0.90728533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$47BE3179-0A11-44F4-8A80-2029E7261310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a82ce26a5b15d15267a1edda72368d1c351c864","datavalue":{"value":{"entity-type":"item","numeric-id":2933620,"id":"Q2933620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4205824aac3050bf6518026ff33e099c82abcb95","datavalue":{"value":{"amount":"+0.9066262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5217587$814673A6-1176-4803-B2C4-D471FE8A0763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5217587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5217587"}}}}}