{"entities":{"Q5014596":{"pageid":7044173,"ns":120,"title":"Item:Q5014596","lastrevid":58398615,"modified":"2026-04-05T01:19:16Z","type":"item","id":"Q5014596","labels":{"en":{"language":"en","value":"Categories with families: unityped, simply typed, and dependently typed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440906"}},"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":"Q5014596$183D117B-439D-4879-8ECB-0985417EFC18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d365a1b22feb8b57eb89e3d50c002d717e32e483","datavalue":{"value":{"text":"Categories with Families: Unityped, Simply Typed, and Dependently Typed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014596$9F188F02-A950-4EDB-A69E-2A628B2676A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc0208e5d4174cb37a0698216390bd79b9889e07","datavalue":{"value":"1478.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$990E603E-539C-4A60-80D5-7590BCC8C6C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4f60f620bbb222e3afc32ebf075f35061f699b2","datavalue":{"value":"10.1007/978-3-030-66545-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$93C29496-E21E-4F0D-99D8-0241FB79DA5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"938af2ce07fc16cbb0856de7e6d7dfd8979851b4","datavalue":{"value":{"entity-type":"item","numeric-id":283742,"id":"Q283742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$C85D11E1-38F1-497B-9BF1-3C8349E5B5FC","rank":"normal"},{"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":"Q5014596$46AE455C-5217-4818-B950-92D640EBB3D9","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":"Q5014596$0BBDBD8E-CE5F-4BBC-A9DA-E7B9EC03AD06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62a3471f94c81cb96bfd2e9650f3fc43bb4d94d5","datavalue":{"value":{"entity-type":"item","numeric-id":5014591,"id":"Q5014591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$A066153B-E298-4729-A869-BE096C7B580D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014596$A9D666BD-8071-4FE5-9A21-BD14248DB7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f517e675a8fbb44ee98436ee4321e0351d8d5d","datavalue":{"value":"https://arxiv.org/abs/1904.00827","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014596$AA9FCF2C-4BEF-4F2D-ACD5-92CDE0297386","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4fe5939a453f4aaa455013a55b7fe6097c5eb7f","datavalue":{"value":"18-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$9BAC6F1E-0E6A-4B25-AD18-A68C24D64555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$9D16A8E7-4332-4FC3-AACF-468607225504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$76898769-8EAA-43A0-9703-653603AD7BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$6A1A110E-D33D-4024-8E23-6E08BB8CE4F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ab71f7dc4561d1604d3318c46b3d664da24dedb","datavalue":{"value":"7440906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$7CD8FAE8-AE31-4411-B411-0C8061775293","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":"Q5014596$376F48AB-9B16-4745-B378-BC233FE3164A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4a1908f6ebb8e27f6c6031bb848f5799a45aae","datavalue":{"value":"W3176769887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014596$B14CEF12-1C8E-46CE-9CF0-22E4C08D5B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$DA5A02B1-868B-477A-8829-06291E847F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee2ab5e8b71d97640f6c3f81c09a9b52398f62e","datavalue":{"value":{"entity-type":"item","numeric-id":4683858,"id":"Q4683858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$5DE33126-C97E-4A76-9A7C-AE90BC219B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$7DF33F5D-6DA7-4593-9A33-957CD403898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$A2DBA7ED-0FE5-4D42-BEAF-1D86879D416E","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":"Q5014596$D306B8E2-6E77-4CE2-B1BB-32FE0013EC3C","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":"Q5014596$63E8000C-9B76-4CD5-BF1D-4FC7760137BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b81f5d170b330986fca2b875b3aac336224e94","datavalue":{"value":{"entity-type":"item","numeric-id":5277836,"id":"Q5277836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$D5859BF2-EB45-42A0-80C1-2EE69E1A0713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e508be069d81029970c36f442f6dabf87294a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596801,"id":"Q4596801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$BC2D6B82-C939-41A9-9EF4-C9F38696BC25","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":"Q5014596$BDB2A0BC-B164-4D8E-89CA-31F767ABF891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$39663D11-E989-4A0E-872A-98D345742882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87477d33d11ca88f04783a2b41edf535c1611c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2948551,"id":"Q2948551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$3A3D4EC2-D144-4EF2-9CA6-F1246D327DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$DE865FDB-070A-40FC-BA55-5B3399A3459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58838f20fc20fe8a57fe4b0367b02befbcf07b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$19AF0282-CB82-4373-B3EB-75487DE1C468","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":"Q5014596$3544FD2B-0EBF-42CD-89BA-56966BB02194","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":"Q5014596$00EB54CE-AEB5-42E4-BECA-8538BC9C4250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c50d88c12dcca62e5546dce7a095534c48ac41","datavalue":{"value":{"entity-type":"item","numeric-id":3167013,"id":"Q3167013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$DD420A6A-4D4E-42E7-9300-5BC703278F5E","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":"Q5014596$8E0A4074-47FD-4828-A609-10AA6A18106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$FA7A8F2F-5C35-4F87-80C1-61DD49732B93","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":"Q5014596$0DEA18EC-EA02-4127-8B6A-071109898AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$76BE7BFB-F451-4595-A2E0-B858588A184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$1F1D2BC0-55AE-4526-9A3A-94FBD6C02EFF","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":"Q5014596$6B80FCF1-9EF0-48E3-98A3-98C5470F55AB","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":"Q5014596$214F7037-AC1A-42BD-9C0E-B1EEA0FFD43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$1FE4577A-B0BF-4AD0-83B9-067D219FB025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feda147a954cb5f8e4a79190985c7a781a1688a6","datavalue":{"value":{"entity-type":"item","numeric-id":4143484,"id":"Q4143484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$0F3C0424-118C-442B-B90B-96B8186BD69C","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":"Q5014596$EAAF68F0-3EF8-457A-A62F-FD779F24714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$7E911BD9-16E9-4D09-8C7C-AA6BE749636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b5714fbc095d4c4237acc295da29837821850e","datavalue":{"value":{"entity-type":"item","numeric-id":5261927,"id":"Q5261927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014596$1013D1C9-E27F-4E78-AEB4-6286C4451BB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28c114afc65581fbf531524284c58cfb0c94410","datavalue":{"value":{"entity-type":"item","numeric-id":5277836,"id":"Q5277836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d36d6c1a5e663b914f734801d631c4d00e6306","datavalue":{"value":{"amount":"+0.8060227036476135","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":"Q5014596$97672493-3C05-4698-A516-CA2D144D09F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c9c8efff77095a3d15ee0a6141ff04f174d66c","datavalue":{"value":{"entity-type":"item","numeric-id":4596801,"id":"Q4596801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097ac5bc85db76f477765dac3292b56a731d3548","datavalue":{"value":{"amount":"+0.7986060380935669","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":"Q5014596$C3522E0A-756B-4F1F-BE02-4525E4F304A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fa1e188e6e863667c34c3d6552afd3ae0a25c4","datavalue":{"value":{"amount":"+0.7631770372390747","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":"Q5014596$5C9162FE-E024-4E09-9236-CF9FB9E03565","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":"855231c5a2617d6a5ee783a3bfd40a2409281ba5","datavalue":{"value":{"amount":"+0.7614762783050537","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":"Q5014596$D7FD2501-0D79-4BB8-AD13-C3CA427E1CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a85981b6e94bad110df1aa596b3e1e229ba38bf","datavalue":{"value":{"amount":"+0.7450101375579834","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":"Q5014596$EAF3BD0A-EE1C-4209-8F71-02CFE888640E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014596"}}}}}