{"entities":{"Q5084311":{"pageid":7113887,"ns":120,"title":"Item:Q5084311","lastrevid":57188889,"modified":"2026-03-27T10:26:27Z","type":"item","id":"Q5084311","labels":{"en":{"language":"en","value":"On generalized algebraic theories and categories with families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547341"}},"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":"Q5084311$871F7B5F-48E5-4945-9345-651DE7B46B8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c28d1174befcc674cdc65ac0442b742183b752c","datavalue":{"value":{"text":"On generalized algebraic theories and categories with families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084311$48DFF062-3E5C-45A8-90A2-782E777630DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3070d15cb037e13d8d6864ac00c47e7dd672816","datavalue":{"value":"10.1017/S0960129521000268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084311$B60B2C9B-8A73-45C0-96CC-EE14FEC5B991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$C787D01C-D8FF-444B-904B-C2F2A29D2D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$AFD85D80-98AA-42F3-B235-927E8D3B4AEF","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":"Q5084311$24567A53-891C-4D93-AA57-4B163B1BF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$A0F0D09D-FEBB-4789-8D97-28CE120575E9","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":"Q5084311$C52FB2F6-F5AC-4171-8E20-FFBB3136C92E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084311$28D34CEC-2B6D-48C8-B270-4F1EF3AEE0DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6455a15b3278cec9728a53946877432779e540c","datavalue":{"value":"https://arxiv.org/abs/2012.08370","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084311$B874C8DE-2C46-4E35-858C-C979EADBF581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084311$7D1CFB38-ED8B-4702-9266-86094D0C7688","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe97b71bca5abec762a140452501e15362d429a","datavalue":{"value":"7547341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084311$26949DFB-6E55-47E5-A688-636F20A25C6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$672C42EE-1737-47E3-AFF7-0FF027BB93DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a5f30a47daee56ca443a81b36cead32cee2c16","datavalue":{"value":"generalized algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$3ADD7130-EA30-4931-83DA-EB721824D506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f27790f4d2a439bbd2628fee0ecb82ef873294","datavalue":{"value":"category with families","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$2D03FC4B-BF6D-4A13-8E5E-1DE3D78FFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b61188d5526bb63d74cc779834c64040795b56e2","datavalue":{"value":"initial model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$1D9C955F-2A0D-48DE-96DE-0F8A43B59B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a32671eedcd38566b2544bd9a454a6aad385305","datavalue":{"value":"internal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$0C93C206-34F8-46AE-9CF0-78E1BDBEFAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084311$50909E55-DB51-4B50-9538-672AAF11C00E","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":"Q5084311$BEE02A23-A503-4374-9AD0-EBD242DFAE45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$62EBD04B-B0AF-4287-A1AA-E5AA84EB656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$E248D493-A4FC-4E8A-9511-B6C85E059F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a157c6008e1078e6aee81b87ac973c583334e","datavalue":{"value":{"entity-type":"item","numeric-id":5145279,"id":"Q5145279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$44775C92-74E3-4FE8-B683-D02755CB5610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$4C9EE096-99D2-4D49-B531-EDB5837883C6","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":"Q5084311$BD537E9A-874E-4AAB-B45F-E5094B372A74","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":"Q5084311$5A5DAB4E-516F-4A0C-AE21-B1AEE9D0CEC6","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":"Q5084311$EBEA28F8-5557-4213-B066-E5BA3BA745D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7068fd3cb5415cdc01d93235acb50726fadf172b","datavalue":{"value":{"entity-type":"item","numeric-id":5014596,"id":"Q5014596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$A76C2580-22F4-4C60-A3B8-8C6770662C69","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":"Q5084311$4B9BF784-8CE5-40A7-BD08-AFE7897D24A0","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":"Q5084311$AA962AC9-B35F-4582-8B77-9EBFAD320879","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":"Q5084311$051A3EA5-1B65-4C0C-BCF2-0994DD700DA8","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":"Q5084311$CD1CEAA1-AF14-4B1A-B76C-5EDC43C8BCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d920966bfcf66a9fc379fe82026a955fb20d53","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$0F6248C1-9AE5-48C6-A76B-B170DB1FCA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$3BFA9DB3-B683-4A60-A145-ED7C97FD993F","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":"Q5084311$C5487C7E-7ECB-4E06-85F6-462DC52D50B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d846dce50adc7b6741cb464e66a4207934b87faa","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$08E5A656-3C7A-4597-AC17-0755077E6D87","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":"Q5084311$1C449015-477D-4CDB-83ED-951DE7A86D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$977E0FC5-2633-4ACF-A392-E267E0557949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357112bbd314657ef6be27b8199eef0b54b82db","datavalue":{"value":{"entity-type":"item","numeric-id":5145670,"id":"Q5145670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$E2737800-4501-4CA0-ACB0-B695B8DFE017","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":"Q5084311$7304D6D0-C0D0-47D7-878C-2734BC3FC3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$EA8E06BB-79DE-420A-B8EF-3C86879646C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$D7A3CB73-20F8-4828-AE5A-B2749C283133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa62b9bf7fc913e0e30c932f292554f69a457e7","datavalue":{"value":{"entity-type":"item","numeric-id":1260643,"id":"Q1260643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$18E0C521-CC2A-45E1-AA41-CEE67FE03964","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":"Q5084311$107FFDAB-1DE7-4148-BEEE-D4F6A9CFC870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cc1c219f5741890f6446d2fb52d021dd4b4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990151,"id":"Q2990151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$0D2EADF4-A9B9-4352-A5AD-F895AF468C52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e72d6ad273051e6814c67222228fcfa2b8a9fc6","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44cf0cb7f0de2809c8ce26f8cadac437c3935e2","datavalue":{"value":{"amount":"+0.7927111387252808","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":"Q5084311$2ACAE7CA-F427-47C0-AD60-3264602CA8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477e24fb047eefcf5160d33ec7e2671a807f626e","datavalue":{"value":{"entity-type":"item","numeric-id":3487614,"id":"Q3487614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f333e789bffb565a4bd3ad9f1d516c9547a19d","datavalue":{"value":{"amount":"+0.7577185034751892","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":"Q5084311$FF33A78D-A6C1-45DE-B1B5-03BE89394243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb27c85db678f9bacc28a8ca42c960e2b9e1e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5932479,"id":"Q5932479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad71b348fb8188e373a6b0656196e9fa620f48ba","datavalue":{"value":{"amount":"+0.7426013350486755","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":"Q5084311$E0B9D16E-086B-4C8F-8FB7-0DCC30B34BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3475e182a60ce86f1399ac0fa74e6e2fe7cc8871","datavalue":{"value":{"entity-type":"item","numeric-id":2502182,"id":"Q2502182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89e78a431b4cd870177cb5fc527fbec30ca5627","datavalue":{"value":{"amount":"+0.7336612343788147","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":"Q5084311$27402AD2-7AF4-4471-9BA8-630260E27F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c9ca2b0d7a7cf9a4b550228951e263357bcecb","datavalue":{"value":{"entity-type":"item","numeric-id":4972696,"id":"Q4972696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d3c6d1dbf72974e40eb2d91a7adbe5c2e38abd","datavalue":{"value":{"amount":"+0.7325521111488342","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":"Q5084311$8F5382B1-7802-4E1C-97C5-EA076525BDF6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084311$D43E68A9-19FB-4726-8246-98F0718F2DC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5084311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5084311"}}}}}