{"entities":{"Q2253180":{"pageid":2263923,"ns":120,"title":"Item:Q2253180","lastrevid":78365837,"modified":"2026-05-06T11:25:20Z","type":"item","id":"Q2253180","labels":{"en":{"language":"en","value":"Revisiting the categorical interpretation of dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320756"}},"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":"Q2253180$E1F3DAF8-FDAC-46D8-8056-B8F8818E26A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21b293e6f4f77a3a8b3b8b45f3a092b85a133e2c","datavalue":{"value":{"text":"Revisiting the categorical interpretation of dependent type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253180$1542DF81-B839-45D0-9FC0-7BA0DCCEAED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74e66e0bced5cbc64537b761271c046f71fa92b1","datavalue":{"value":"1433.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$6128E797-CE0F-4FD5-A47E-632E246EBAB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$F0DE5509-B8A4-455F-A45E-47F20878777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$197F6672-BAE6-4E2E-9349-EE1B6D56ED8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$0CA57F37-A762-4561-B537-361BA0003B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$4F552D41-3B39-4035-A1B6-50F176EA910A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"909f0e97826a0ccd657ee0d4eb1dd9e227371f27","datavalue":{"value":{"time":"+2014-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2253180$18D3A9EE-51D0-4D4B-89A1-5B89738DEDAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$79EE6A80-01D2-405B-921C-B509FAD81C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$A4A5B5B5-211E-4092-8B4C-40B5B3E50079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c657eb7025e4483947bf6a35b0f6604b257aafc","datavalue":{"value":"6320756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$FF9E5B96-A070-4AE6-AEA5-820BB735C12A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$D0538150-4290-4AC7-84FB-2A0D5F828DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$E4081E68-6F81-4575-BBF6-53F460E26147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$9F0F4158-FB2B-40B7-B9A0-6E8620EDC0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$F595933B-9A7C-465D-A7D6-AAD210270EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a775306490fcef66ca55106f6c6311ef34a233ab","datavalue":{"value":"locally Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$512CD9ED-05E7-4E21-8F6B-278749A6DA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32c223128a785217d854a82029ab7b374b310d1","datavalue":{"value":"Grothendieck fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$86F71FB4-086C-47CB-BEFA-C22DDEC95694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253180$E076484A-BA54-40B5-B0C3-1CDEA79660CD","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":"Q2253180$523C49CA-2856-4789-8170-62717AADC843","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2183e3d7ee46085ab7e79849bce234a7ac9ad0a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253180$36A9C305-EAAD-43E7-90F8-CDC3F18D93F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b7e9037a16207a5ddeafc1d42f57a1a58e5ba35","datavalue":{"value":"W2116198712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$2280EBB1-AC31-48BC-968A-D32EBC523B40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$0799E33A-FA08-4B27-B45F-FE86A0C65C10","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":"Q2253180$1ABC0794-04AF-4528-BB30-994AABCAC898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe2344bfb19519775177714e0f07b072be03e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4647569,"id":"Q4647569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$6F6A1F65-D4A0-42B7-9EA5-BEA1D4802D47","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":"Q2253180$45106A3F-3F69-47F8-AF03-24B2182706C0","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":"Q2253180$BE10675F-66D4-4BE3-BC65-86F56C1422E9","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":"Q2253180$F3FF9830-ED95-4042-AA98-E2C8CF0407C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$FC0141D5-A2CC-4939-BB0B-8CB6D1F3619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$48CCFE66-238E-45E1-BE3A-9046916FBE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed3b7d8b51d5f00707534a9510d273dfe19ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5507554,"id":"Q5507554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$63E16D85-202E-434F-A777-BD0E41DDCE23","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":"Q2253180$5FA5E64C-661C-4D5F-8049-2B5FEA8CA4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$8ADA8EB5-5268-4AC9-99B7-A126E1B547A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$AFAE28F9-FDF7-4F94-B74E-6E0A58BC801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$28A86884-ECB6-40B4-AB95-9980DBF7FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$7B68D185-465F-401C-9F10-60B9DDEAA22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$0437C0FC-0677-4D7B-9B39-6A688C7D8194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$83195257-97C5-4837-9E7B-D9FD6C5FBE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253180$022B83C7-1428-472F-AEBC-143909430DA7","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":"Q2253180$72E21A9B-8E06-4588-9144-998E8E50A0DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b250852045cba4d7ed378f08125428fef1a4d884","datavalue":{"value":"10.1016/J.TCS.2014.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253180$FB95962E-E331-49BF-A087-65E40AC31F4C","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":"a33d2e738f90ef408a638711bc3dd23f4cfe55e7","datavalue":{"value":{"amount":"+0.8373585939407349","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":"Q2253180$294552E9-3BB7-4186-8473-FBF3AADE85B3","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":"2e599b4abe5377fcbeaed3611b48b00514bd921a","datavalue":{"value":{"amount":"+0.8194817900657654","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":"Q2253180$FBEB3BC1-62E7-4D72-A2FE-6BAC0F0CC84F","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":"f70140b06e5f7d49b838ec4d2f215a58ee6566d1","datavalue":{"value":{"amount":"+0.7895488142967224","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":"Q2253180$9E4A0628-3506-4EF9-A823-48284384CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0d70065c8ab5bd635f5e20bcac6c06bc42f7be","datavalue":{"value":{"amount":"+0.7895485162734985","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":"Q2253180$8351694D-2045-47FC-A556-98EE00BD410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aebf838e3058a83e19757bd49c183a8933d443b","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9866c3e33a94c1fc1f4b9ef923577c5728d1e1dc","datavalue":{"value":{"amount":"+0.7801223993301392","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":"Q2253180$7EFB15A0-2D8E-48B5-A567-D7253E39F37F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting the categorical interpretation of dependent type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_the_categorical_interpretation_of_dependent_type_theory"}}}}}