{"entities":{"Q5740406":{"pageid":7769958,"ns":120,"title":"Item:Q5740406","lastrevid":58602192,"modified":"2026-04-05T23:07:34Z","type":"item","id":"Q5740406","labels":{"en":{"language":"en","value":"The biequivalence of locally Cartesian closed categories and Martin-L\u00f6f type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606321"}},"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":"Q5740406$B8C16017-DD45-4FFB-9530-ED6B2572F176","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4374750b038ea37ecf198d991ee72e9f3d405751","datavalue":{"value":{"text":"The biequivalence of locally cartesian closed categories and Martin-L\u00f6f type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740406$0792D551-D0EB-478A-AA06-F34539FA876B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6aae16dbc410fa4c02309e8f6dbc9d067eb258","datavalue":{"value":"1342.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$36227AC2-1283-422B-9346-A288DD887F02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26aeb4839e9529ac79b19573aec890256be9abc","datavalue":{"value":"10.1017/S0960129513000881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$EF4BCDE5-350E-4B7C-B610-8ABCCD3ED59E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$92F4C957-E638-4103-845E-61314F24FD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$92E5F0A6-CE53-417F-84E1-832956E5B60A","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":"Q5740406$BBF078F1-897F-456B-9D8D-70239668D266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740406$C6A7EB96-08E3-4ADE-82E2-DBFAA946F668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11a0cd23b836f07dd5ca1221b783ae89cce29ca2","datavalue":{"value":"https://arxiv.org/abs/1112.3456","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740406$DD687183-DD2A-43FF-9935-197778FE430E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$8EFBAACB-8150-406F-ACC3-C7E5BACFAC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$99AB3E37-D850-434A-88E4-B690FAC54011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$4C56D9F9-7FBD-45CF-BE40-E24890605829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$F1289B60-EEA5-409F-9342-E12D972D78F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae501aa7a784cc5bfda0e9b1a04b20d2d020645","datavalue":{"value":"6606321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$E7DEDA94-727B-46F7-8976-4E67C6B3C372","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9718d93a0e22f051abb99e2a8d1a0c1e01a9756d","datavalue":{"value":"Q56228325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$9CFB4F2A-1BFE-4C43-A802-6F9D5986157A","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":"Q5740406$33D8D7B7-8C2E-4324-81CE-5761DE878787","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88235bb47f426123e2a41a4fb7c5aea9946c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":5613199,"id":"Q5613199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$2F38358A-CCEA-49DE-849F-DFA2078095EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$7D9F9166-987E-47D7-8189-666BD1FA0C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$5743F274-5BBF-4258-82F7-B558E070928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$DA7C3ACA-91F0-494B-98C4-12B34D334C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740406$27219E0A-8F25-4EBF-9BB9-0827F3536C71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1da992f5d2e55c1a81b964df0f379af779b20dad","datavalue":{"value":"W3104964042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740406$18409263-562C-4F28-A956-C5D57EE7ED2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d735984083273d53c2a52f278610c64fc778d65a","datavalue":{"value":{"entity-type":"item","numeric-id":3007659,"id":"Q3007659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b574c33933fb1fcfd33de76f2720dfcb4d0b98f2","datavalue":{"value":{"amount":"+0.9948323369026184","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":"Q5740406$E511F80B-41E7-4635-9454-E2C631FCF1AF","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":"8192cdd4676f9bb34ff4701b3e58f0aeeec3b75c","datavalue":{"value":{"amount":"+0.7977272272109985","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":"Q5740406$46C6D774-FEFA-4365-9610-1278CCB7586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40811d73e7c547e0905aebe90307fb86f3415ed9","datavalue":{"value":{"entity-type":"item","numeric-id":5014596,"id":"Q5014596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38acce5fc5b53d119fad93664b6fbe024dd00194","datavalue":{"value":{"amount":"+0.79224693775177","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":"Q5740406$70AF8D90-9A70-4FA2-9722-79F16AF56145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f5d4128240f17ff9799537ace9f2781459e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4715672,"id":"Q4715672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cd40be62a14016a6d84aa621c47c7280096570","datavalue":{"value":{"amount":"+0.7864848971366882","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":"Q5740406$5F380C23-38CB-4CA4-90D6-E56A7ECACCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407db3a2c50e9becb9ad86567c7d82e306838776","datavalue":{"value":{"entity-type":"item","numeric-id":5415629,"id":"Q5415629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e914c7f7210e164a35ab4be0dd39d9df7c4dd9","datavalue":{"value":{"amount":"+0.7864848375320435","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":"Q5740406$BF7E187C-6BB4-4DA5-ACBC-BE3DB1165B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740406"}}}}}