{"entities":{"Q5076386":{"pageid":7105962,"ns":120,"title":"Item:Q5076386","lastrevid":55410439,"modified":"2026-02-17T15:49:12Z","type":"item","id":"Q5076386","labels":{"en":{"language":"en","value":"An interpretation of dependent type theory in a model category of locally cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7527568"}},"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":"Q5076386$37BDA208-B716-4957-A9B7-5D41830D9F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdab180bb8b0991d9930d6d9050086948249ac13","datavalue":{"value":{"text":"An interpretation of dependent type theory in a model category of locally cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5076386$4FE038C4-6E78-4053-A033-ABB4FBFFB42E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acd7a7288768bdf3222409e2809832280885b454","datavalue":{"value":"10.1017/S0960129521000098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076386$B9A8FE74-C9FE-41B8-9725-10A93E7F7088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eec7331348894d7f715f6d19acb5f4420c89306","datavalue":{"value":{"entity-type":"item","numeric-id":5055498,"id":"Q5055498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$2D34457A-14E1-4A1E-B88B-22A6EEE5AA7B","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":"Q5076386$EEB99F79-548A-4645-A37A-9419E2AE4D8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56af58cfd4d3b017f8833425a5cd2b6e7283d16","datavalue":{"value":{"time":"+2022-05-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":"Q5076386$5EC9C2DD-FEB2-4518-AF25-70EC3978A443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d10dc51446cb4a68ac759eb12f202aa90332c8b","datavalue":{"value":"https://arxiv.org/abs/2007.02900","type":"string"},"datatype":"url"},"type":"statement","id":"Q5076386$805B9A5E-E938-42A5-A0F3-F48DB1BCDA8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076386$581A461B-398F-4DFA-ADDF-D2D0907E4428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076386$5D277C26-8E35-452A-BB7E-EF1C144FB9AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f1da20bd7e691c414b5e93546be34b32abf1982","datavalue":{"value":"7527568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076386$246439AE-D55E-419C-9F6A-2A418C856E5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076386$0B7A1CE1-3845-4235-89D4-48CEDDEB3B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82521b79ea6e7663aac0a01fc5c9c71f3e97210a","datavalue":{"value":"Categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076386$06449BBC-111D-492B-93E5-BBFE202D0A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076386$B02F983F-981B-4314-ACAD-CD59F248EDBB","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":"Q5076386$B1563D2D-B53B-4426-8856-9B86F6F3AA99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b154f66a7ddf1c42931a1b55144474472d0995e5","datavalue":{"value":{"entity-type":"item","numeric-id":4195601,"id":"Q4195601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$AE480A2D-9E7D-465C-87C4-A502778A00D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$44D931B1-DD90-446D-AA3A-7CB32F8837D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae2bb8e3eaf605f2603abd5e2b3d1f214189b02","datavalue":{"value":{"entity-type":"item","numeric-id":2305674,"id":"Q2305674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$DB174D61-2500-4093-ACEA-AEDC43001117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f4141335a3cbfb498b2ac21d208c2f6ecbe05e","datavalue":{"value":{"entity-type":"item","numeric-id":2263814,"id":"Q2263814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$289CCA60-DCD5-4EBD-AD16-AC28E8085CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f321041267892f735e58a5133ca18ad65e66b3","datavalue":{"value":{"entity-type":"item","numeric-id":3007659,"id":"Q3007659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$CD1029B0-3629-4AEC-886C-EC7E004F3C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87159350b1e75c254b00ff776f3b82e554fb8c60","datavalue":{"value":{"entity-type":"item","numeric-id":3201049,"id":"Q3201049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$94066DFA-2442-4E8C-825D-67554298972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4547b0f455f0d8810661093bc3a4c0ea066b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2549736,"id":"Q2549736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$F562A2AE-DD1F-413E-959C-4514D036E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$EFC90911-F499-4FE2-9AC9-2D986F266AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae5587d1f48fb6b05085341a02796fa5a7e5181","datavalue":{"value":{"entity-type":"item","numeric-id":2291185,"id":"Q2291185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$F9F0C6F5-7D9A-4E6C-B230-C6DF1891E6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$59B59149-9C93-454B-97FC-2A218F4178EA","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":"Q5076386$58CEAE4B-67FE-4339-B40F-23C49785619A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$A9C11663-62EA-4AC1-9EB8-75523C4EF4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093a527380d3100f4ded96734d3ec824c918d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":847558,"id":"Q847558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$A5079F65-8F67-4605-A94C-58C241D79C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$38DBFDCA-528D-4477-9DC1-26B8F2971FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$0F82DE75-F6F4-4133-AA51-AEA67FC9B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb83562c2d416412c17636480881d95b7979cd02","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$F48D43BF-C1D6-45ED-B90A-B1CA841C039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908469e5964edaf668cc43862cb5f6862d38eccb","datavalue":{"value":{"entity-type":"item","numeric-id":716491,"id":"Q716491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$8FB82128-531D-4E53-B08B-9994D1D1C4D0","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":"Q5076386$B90789E1-D17D-48E4-85BC-0290D158796A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d12b7962ab210cb77f161831becf583852940","datavalue":{"value":{"entity-type":"item","numeric-id":5224159,"id":"Q5224159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076386$A337BE1D-EE87-4517-A32F-BC55315376BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fae552506915b1e4db814dedc240a82a596bc7ef","datavalue":{"value":"W3199901623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076386$C9946CE7-5BB7-4C8B-8811-0827E0EF2E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5226c5beccb12d53ddfdfee8f6a6d82b35e8de","datavalue":{"value":{"amount":"+0.9175746440887452","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":"Q5076386$F98FB9BC-BF01-4CC1-91E6-0071F8252113","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":"6b3e4cffee481a5cabcd3b059741de2f5f82576a","datavalue":{"value":{"amount":"+0.8260247111320496","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":"Q5076386$891EA90F-2DF6-43B0-AC98-ADFE1421741C","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":"216717c5543820a301a77e03e7e6afac6adce124","datavalue":{"value":{"amount":"+0.814719557762146","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":"Q5076386$105E6C1B-5257-4A22-AED5-CF6B3B8A98AE","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":"01d3b2199ed428b52db3ed8159aa9ec3b42a90d2","datavalue":{"value":{"amount":"+0.8136659860610962","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":"Q5076386$71B34A1E-5B6C-4246-B5B6-DF6F0FB33105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17db51f25f51e4cb1c83ae294a6be0c0e41db007","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c1773916844ce146c8c5918fe8d76eb2f7b6ba","datavalue":{"value":{"amount":"+0.7973303198814392","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":"Q5076386$793EDEBD-D827-4EEE-835B-22F7172FD2E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5076386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5076386"}}}}}