{"entities":{"Q5278407":{"pageid":7307982,"ns":120,"title":"Item:Q5278407","lastrevid":58516533,"modified":"2026-04-05T13:41:04Z","type":"item","id":"Q5278407","labels":{"en":{"language":"en","value":"Extending homotopy type theory with strict equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748870"}},"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":"Q5278407$4F1DEF87-11FB-43C6-A56F-D5EB52F75554","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63b56da6e6b6d0c39442bca8e4c13d39f9f91505","datavalue":{"value":"1370.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$17F1874F-C769-450C-9ECA-B1B56AB457A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278407$2F69C0B3-4818-48D5-83ED-A00824B93688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725426ba4e3e8b8ec62a89eadeb43219fbf11018","datavalue":{"value":{"entity-type":"item","numeric-id":1652992,"id":"Q1652992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278407$3D337E4B-9A76-4AA4-8BF9-C0CED4389F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278407$406BB6A8-2196-43F4-844B-0C273220F116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-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":"Q5278407$8D872206-3407-4CC1-9977-EF4C30B649C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e41f675beec54c0dfea41983958d4c53fd0d2b7","datavalue":{"value":"https://arxiv.org/abs/1604.03799","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278407$54FDBCB3-9D5B-48BD-AC3E-7E453B79F719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$0F02CF45-4160-4AC7-88C0-089FEB9E60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$83399BED-C030-4925-A198-F4F9D96AD691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$C231F139-A4C6-4CAF-9061-17EED7AB2BCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e29167a00606b2639be1ed7e33f3eae4cd76a700","datavalue":{"value":"6748870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$54CCB118-8E7A-42A8-B112-93630A61E54E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278407$DC9297F4-AD37-4767-B769-62FEF8702E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611263ad3181c240a3616970aa16a80f333d494c","datavalue":{"value":"coherences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278407$78DA957C-1EE1-4825-B547-5B424B9A923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dba18ab6c6bc90c4345cd933caaee67a2bc7a8","datavalue":{"value":"strict equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278407$FB098FA8-556C-4F86-8F63-BAE0CC1C2669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209299b8f0d46e3630ff0019a840f797f79b74e2","datavalue":{"value":"homotopy type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278407$424B022F-9BD2-418C-A45E-97782888E87F","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":"Q5278407$9A025D87-09EF-452B-A146-1675F5D68024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335f3bef8a379bb99f58210818338384e6d48240","datavalue":{"value":"10.4230/LIPICS.CSL.2016.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278407$9B258C99-B54C-479D-97DB-265C9AA8DE8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59fce5013c1b779fab26c583b3b8b8ee071fcf3","datavalue":{"value":{"amount":"+0.7311348915100098","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":"Q5278407$E1E42321-73DF-425C-93AF-5B8D2CFD1CA2","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":"cc1f241b0d6d014cf1228c21fe9adab6c5ac4708","datavalue":{"value":{"amount":"+0.7222620248794556","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":"Q5278407$B87CFB37-DC57-4E19-A3AC-4C2D283A8412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfa1d33d551d229eacbcd44b0ecc9b32ecbf7cb","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8976ccd932d3fa6dc0cb0d75a150ef32f38418a","datavalue":{"value":{"amount":"+0.7181876301765442","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":"Q5278407$1F498F48-BCAF-4BC6-80DD-6D0DF29F6DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd39737b437799d7385f4fc77e1d31b154251e8","datavalue":{"value":{"amount":"+0.7167803645133972","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":"Q5278407$E1E56098-7C53-47DD-8A13-6AEF965FA335","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":"330586f27bae1d6a990d3c3f90eb2f78a27c5e9b","datavalue":{"value":{"amount":"+0.7165940403938293","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":"Q5278407$14EED2C1-B26D-4455-AA48-1F3426377011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278407"}}}}}