{"entities":{"Q3007659":{"pageid":3018383,"ns":120,"title":"Item:Q3007659","lastrevid":51269492,"modified":"2026-01-17T13:07:47Z","type":"item","id":"Q3007659","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 5908719"}},"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":"Q3007659$0EED53D1-13E7-42FB-B342-F943E8EDC03E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99ea9b4c97d1025d8317adc8343ccb3b8ce32ba2","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":"Q3007659$2C8F8800-9F8E-4F95-9332-28FB015F9CC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37a5c66fdfe8900a02e6c7f3640593b53828c95a","datavalue":{"value":"1331.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$7CD46364-51DF-453B-B634-EC2D9CA00333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17ff7b03d7a1d5fa3b489b19c8e45d3dc527b371","datavalue":{"value":"10.1007/978-3-642-21691-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$A5F7F332-9FD7-4746-96F2-E65FCF97FCA8","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":"Q3007659$34E326BF-CC7A-4E5F-BBCC-3D4BA53A8DFF","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":"Q3007659$0E85953D-8AD7-480E-AEF8-CED66D456037","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$94E7F2DC-58D0-411C-823B-33B603E48B1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007659$5FE1E2A9-4223-4B2E-BF51-D991B8F32150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$930F80B6-BD34-403D-930B-5D4AD64950F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$C99C261F-9602-4832-837D-B1AF00BC22E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$5910398B-F410-4B9A-BF7D-B9F6D653A6CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5553f56e5718facbe5bb1b3b95d6a0537bffe902","datavalue":{"value":"5908719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$12706BBD-24AC-4D37-9CA0-74C53D8CC74D","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":"Q3007659$95F1287A-5C7B-49CF-87E7-A2B313A766F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f018fcb69bca9121cea936937caf0318b26af0e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007659$E6DB9457-610E-4BA7-87CB-06E80FEC73A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298772b97fecc2d437f92975a4f03964f974dcaf","datavalue":{"value":"W2027614742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007659$CB40ECA0-633F-4329-944E-CCF614C1721A","rank":"normal"}],"P223":[{"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":"Q3007659$EADD99B7-0A1A-44AB-A3CC-933D9320842A","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":"Q3007659$9E283759-33A5-4A88-B18F-4A0A07F5A684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb1f5730dc671e95d2c4237dfdcada480417c74","datavalue":{"value":{"entity-type":"item","numeric-id":3142163,"id":"Q3142163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$0800A4CA-3382-4509-80D4-EF46A42FB78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$D4938910-4B17-4C2D-A5F7-776DC0E7A798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$AC51E3B1-BD5D-46AD-AC22-705A52FFB46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$BEAF81C4-C471-480E-96D9-9B71DCBD310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007659$DC737370-EA1E-4D55-A6C5-A1137D0FE6AA","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":"Q3007659$4A30EA4F-C1E0-4B3C-ACE2-33111FF378CD","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":"Q3007659$983830A7-5E0B-4DCA-BAE8-C39816535556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be61c6262bac93d8a4fe50daae264d0e0d38bd0","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"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":"Q3007659$ECFC262E-B4DC-4558-897C-4B1C0A5352D5","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":"3b8556135fa41e916b1a364c5bdcedc76e27fae0","datavalue":{"value":{"amount":"+0.7996920943260193","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":"Q3007659$762FFACD-B68C-4EB5-817D-1208750413D5","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":"1acf0355d6ab7975e66be385e3416f0cc9835ca4","datavalue":{"value":{"amount":"+0.7982175946235657","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":"Q3007659$6F44F496-46F0-44E2-B754-E8A7EBE626A2","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":"c974c00a3d6dad5fbce1f5f6a23e2cb66b54a637","datavalue":{"value":{"amount":"+0.7879582047462463","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":"Q3007659$9913468D-2A13-4C7C-9359-8B4BAD7ED76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ddf24aca222678c69eebcd41c61f56bc43624","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a43b440959016902c9dbfc87300bb0827554a7","datavalue":{"value":{"amount":"+0.7879580855369568","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":"Q3007659$5107AC10-F441-4A9B-A6EB-2D95A8D17417","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007659"}}}}}