{"entities":{"Q2319980":{"pageid":2330723,"ns":120,"title":"Item:Q2319980","lastrevid":53507189,"modified":"2026-01-25T02:21:56Z","type":"item","id":"Q2319980","labels":{"en":{"language":"en","value":"Preface: Special issue on homotopy type theory and univalent foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096711"}},"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":"Q2319980$BB1BC5F8-A0DB-422E-B010-D44C7B1EBC65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8587f4087db3aeff2daab6609a9bee2adb0b9f98","datavalue":{"value":{"text":"Preface: Special issue on homotopy type theory and univalent foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319980$A78042CA-4A28-4BBC-975D-4F2B8F64E842","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5aa266f79f8f11276c9c80b09cdce57c64f23c1","datavalue":{"value":"1468.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$8083B400-9A73-4CE3-A9E5-69A15244D53C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319980$AC9D2F5D-A64A-45B3-8756-C981B493A8A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319980$69DA4BEB-B3DA-486B-9141-915BE6E943C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$54700279-A784-4D4E-B986-2E9EBF768311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f2bcdb78d18b23e9d59b9b7622b8ab0c51d395a","datavalue":{"value":"18-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$B71A1BD4-16B9-463D-90BE-317D3F1ABEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e4738a0374689d316c8dcf7d3223c66882bf729","datavalue":{"value":"55-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$CD749148-3932-4985-A75F-82F3363003C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$29D1772B-6AF0-4AD0-833E-1F464993DA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$96F92F11-D9AC-4308-9F60-D122B6363F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$EB10C49B-1EDC-4F07-9C7B-4B4C755A2E9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5847c4e47c95d0542db0efaf9fcd92a294f09b55","datavalue":{"value":"7096711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$5CF0CB3A-66A7-4E24-87F5-F73D574D94EE","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":"Q2319980$A164B5EC-AF1A-4D45-ACC2-4FD35DF84DA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8220e2b861919af19a9f47109673fe58456853c3","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9491-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319980$C66BFAF7-8BCF-4E69-982D-F9385D386B46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c3cfc2e7b345d158f1b2ee2134d9dee7fa28ba1","datavalue":{"value":"W2899088655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$2E60C139-5964-4E64-B9B3-B04C2BCB598E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319980$94B055E6-4E6B-4F1F-B3D9-CD4CA9BD45BC","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":"Q2319980$EAF8D6D3-76F6-461F-94AF-9DBEEBDB1ECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14bfdf481a9d347ec86988e04ada9e24dcd04709","datavalue":{"value":"10.1007/S10817-018-9491-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319980$E8C25ADD-0F37-4F1C-884F-72E51B943136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8007fdc83140d59ac9f7ced75ed32c95f544e27d","datavalue":{"value":{"entity-type":"item","numeric-id":5156766,"id":"Q5156766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bf2241384e9d14f0b6a892ff8e2e4c22be2811","datavalue":{"value":{"amount":"+0.8739791512489319","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":"Q2319980$A0A5C4A6-08CC-4270-9D86-04A061A67108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740738c3e6e02bce7141d9f1d5038a4882f100c7","datavalue":{"value":{"entity-type":"item","numeric-id":5022922,"id":"Q5022922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ccb722ee0b5cdca7cbc12e6240b1e373b9eec4","datavalue":{"value":{"amount":"+0.8707639575004578","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":"Q2319980$AB4BE2DC-E86E-4D2C-B48D-86E999DE82BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d3f5ef089cbf22ba48486e544f9deba49cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5740647,"id":"Q5740647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794a751097b0573b42ba673ee771c2ea5acb6d15","datavalue":{"value":{"amount":"+0.8578481078147888","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":"Q2319980$5470E319-83C9-4DBA-967E-C480962CAF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde829b611cf8ba56e0b3803f64bf389d7bb2c9f","datavalue":{"value":{"amount":"+0.7908591628074646","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":"Q2319980$FD273996-8B8E-46C3-8572-05B0E589AA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddd1040fb1f318a11eb5fcf8e1a42f7f4334117","datavalue":{"value":{"amount":"+0.7786146998405457","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":"Q2319980$B8B2B09D-24AD-4809-A7FB-33354C02EF5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319980"}}}}}