{"entities":{"Q1208414":{"pageid":1219163,"ns":120,"title":"Item:Q1208414","lastrevid":67060197,"modified":"2026-04-12T14:41:51Z","type":"item","id":"Q1208414","labels":{"en":{"language":"en","value":"Comprehension categories and the semantics of type dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166426"}},"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":"Q1208414$23099E89-5676-4A53-8FD7-8F683FD7AD85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92691e93f06bfef73d7d1bd8e4a2c2817c7969b6","datavalue":{"value":{"text":"Comprehension categories and the semantics of type dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208414$91DC3278-BA45-425C-8705-C0F89B798A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86f95b5ccf06cc8c97528b75ee5c25071e32be9b","datavalue":{"value":"0804.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$996A4535-EAEA-4769-95D0-93EFFFB07B6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1193d072dab18805cd4cf5eb8c1d40ce48209d4","datavalue":{"value":"10.1016/0304-3975(93)90169-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$2C23A360-B6BD-4123-B31C-BBF7C6EEBA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$ECE715DC-F9CD-4F4C-B1B2-B49FB0F882A4","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":"Q1208414$719BC81C-2DD1-4F91-A716-AFFCF0A28560","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208414$19D61EA4-A0F5-4A1A-A916-EB447C3E6312","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f28bf88703651f6fbccff73e159ee6b8d03d097","datavalue":{"value":"A comprehension category is a functor \\({\\mathcal P} : \\mathbb{E} \\to \\mathbb{B}^ \\to\\) such that (i) \\(cod \\circ {\\mathcal P} : \\mathbb{E} \\to \\mathbb{B}\\) is a fibration, and (ii) \\(f\\) is cartesian in \\(\\mathbb{E}\\) implies that \\({\\mathcal P}f\\) is a pullback in \\(\\mathbb{B}\\). Here \\(\\mathbb{B}^ \\to\\) is the arrow category of \\(\\mathbb{B}\\), and \\(cod : \\mathbb{B}^{\\to}\\to \\mathbb{B}\\) is the codomain functor. The author starts with a presentation of the basic facts about fibrations and fibered adjunctions due to A. Grothendieck and J. B\u00e9nabou. The paper is mainly devoted to the discussion of numerous examples of comprehension categories. It is shown that many categorical structures introduced by various authors to describe type dependency are particular cases of the general notion of a comprehension category. Examples include, among others, term model, display-map categories, topos comprehension, categories with attributes, Ehrhard's \\(D\\)-categories, family models, Lawvere's hyperdoctrines, Pavlovi\u0107's comprehension. Closed comprehension categories are also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$EC59B27E-79E6-44DD-A599-F7F052A50B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$607630A7-4843-43B0-8352-5FDA4CEB9284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$6458C0C2-D0E9-41CB-8F40-5566578526F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$83A0C2CA-202C-4B6F-A190-D2CA61F76BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$2A0960D2-C518-463E-840C-1B823BDD2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$1059931D-48FC-4A14-B8BF-EE87C0EB6BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$4C3A98D5-C5AE-4E90-83EE-55C1633BE108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0755364dda3259da6f0ca2eaab21b31946528d47","datavalue":{"value":"166426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208414$58FA06F8-0EAE-4598-9ECA-CF93FF724463","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$D2569A5D-47E5-40AB-9763-D17CE62BE22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46299baa1baa8aad3e6449a07fa9c249b88d007e","datavalue":{"value":"closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$4FC25193-9810-40B6-AB2C-E1778500F006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$90E70347-6BBB-4A55-8EB6-574263B04617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$E212A7D2-6C05-4E1B-BAF7-241CF06E0077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$EA8E9C85-F8A1-4C4E-A47B-B3F2015C25ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f0875e71694a3abcfe1a8bbfbc55522ce74bd0","datavalue":{"value":"hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$979CB522-AFDA-4442-9F53-1DD8EFC23E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$3D64F6B1-8754-4B9C-839D-879D434CAECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bed53d2d5294109f1fbae3c6927926d67c3e755","datavalue":{"value":"type dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208414$CB52E5EA-BFF7-467F-8082-1862080681A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$4C739458-C316-43CB-BE3F-B1C2BCF139F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a904bce13815648859e4a9e6c13b60d3d332bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1801303,"id":"Q1801303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$6727F38F-5B49-49E8-818E-2939C6848F97","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":"Q1208414$55D38692-952F-4EA1-B29B-FDB52E42439E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$568F9153-8567-4DB2-A4BC-38620958BE96","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":"Q1208414$296C3D19-FE28-4022-B8B9-AC5DFD06F770","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":"Q1208414$4E3C371E-5514-417B-8B38-B4C37F828219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$D4EB6FC3-4854-4162-8609-3B3797505401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0841c535b55e1247c15c8e3959e3bd4d707165ad","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$424AA4FA-2EB8-46B1-A3F2-D0F6CF22B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a07acea26ec998397873b21327d76feb0184e4","datavalue":{"value":{"entity-type":"item","numeric-id":5096262,"id":"Q5096262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$7138674E-2E3E-43A4-ABCC-911B97B17A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$3F453630-3F17-4359-9DAE-0F1693DE1EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e19a8496f2e2bebde6f873de3f783ae3b93398","datavalue":{"value":{"entity-type":"item","numeric-id":5507553,"id":"Q5507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$9FC38CE6-8981-4304-8B35-55663DC42847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180ef3e6188c2327140304e3cfecd387b0746da3","datavalue":{"value":{"entity-type":"item","numeric-id":5586462,"id":"Q5586462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$F22FAD89-3A84-417F-96F2-80499E9A7AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1723dcd0035a8aa746f2df87a7986e1749bc1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5655486,"id":"Q5655486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$01CA3594-5D76-476D-A685-FAB45B0E3434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$D899CD24-00AC-4E1C-BEAA-9A2EE57170F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$FCD13065-027A-4039-A7B7-0B6B23AF5DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b20b229fb59b07f2baf7b01e5daafa6ade32f9","datavalue":{"value":{"entity-type":"item","numeric-id":4282579,"id":"Q4282579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$46B28B17-3C13-4D75-9C91-5BC672F9A6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$C15E1864-8B26-4BB1-8CF1-BEDB0A335180","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":"Q1208414$642E0F55-18A9-4D89-BB0D-D126CF6576DF","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":"Q1208414$ED7715FF-054F-43F5-8E20-165363927041","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":"Q1208414$893E640C-1DE5-4A32-9A09-09D9601D1362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bae0a616c880e150ce22a0e3ec926e7ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$0BAC3B7A-44CB-4F89-8B7F-D128471F3208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$E5B6DDB4-81F4-4874-9CF8-F526E0A3CB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$64527D5D-695C-4670-8DE6-80DEC7D8A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$BD1ED076-5215-4763-A596-13C371F3A0E0","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":"Q1208414$68B75602-798F-4EED-B732-52153BCDF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$753505C0-810E-4F48-A295-574C4B28C060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f26a27356d39f30de150c562ffeee04fbf14f0","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$89F8DA25-9165-40EE-8EFD-2F6EE7FC94B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3cb8444a1d29e977028b86d5070fb2c28d7bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2640340,"id":"Q2640340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208414$C7B2DA3D-CDF6-4A2A-99C9-E97F52E74257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d09840bfa403124b9911a40e3d5fd5b9647657","datavalue":{"value":{"entity-type":"item","numeric-id":2254771,"id":"Q2254771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ceb9e7c8c78e13f77b193a0479747259764f66","datavalue":{"value":{"amount":"+0.7452547550201416","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":"Q1208414$69F9D7F3-38A3-41EB-8237-F9A16E3BA2E5","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":"b0ee244d7822a5d5300051dd9fc0e174769f0e9a","datavalue":{"value":{"amount":"+0.7138043642044067","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":"Q1208414$F00815FE-3792-4903-9724-8181D6AD4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bcc8aeb44460893848e59e91008ebee928816a","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ee244d7822a5d5300051dd9fc0e174769f0e9a","datavalue":{"value":{"amount":"+0.7138043642044067","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":"Q1208414$B720A5F2-9A75-4C86-B3F2-7DCD2019965D","rank":"normal"},{"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":"bbf0661e3dadf95941585aa3de3754f80c3b7ff8","datavalue":{"value":{"amount":"+0.7115750908851624","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":"Q1208414$4C1A58BB-14C3-45D9-9B4F-C267390724D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5400338068785dd15b79002a48f316d3ca8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4035240,"id":"Q4035240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d6436b24f4dfc3167e6228558993c60850187b","datavalue":{"value":{"amount":"+0.7113447785377502","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":"Q1208414$9A4E6EB1-C766-41AF-9909-0F08F14A79DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comprehension categories and the semantics of type dependency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comprehension_categories_and_the_semantics_of_type_dependency"}}}}}