{"entities":{"Q2326422":{"pageid":2337165,"ns":120,"title":"Item:Q2326422","lastrevid":57846069,"modified":"2026-04-02T19:00:39Z","type":"item","id":"Q2326422","labels":{"en":{"language":"en","value":"Categories with families and first-order logic with dependent sorts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114351"}},"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":"Q2326422$82ADFB91-367B-48D3-B218-7E25E8F0DCD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da75b61d9f9e1cac9548baaacf55b77aa49c7062","datavalue":{"value":{"text":"Categories with families and first-order logic with dependent sorts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326422$088E7499-7965-4912-A36B-D978781D8E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5aa170db41bdc83ae4d63588e15823a13d9ebe1","datavalue":{"value":"1458.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$6C4CBD94-796E-457F-A754-4660BAA759FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$11C89013-70A1-47EA-8B9D-413BA951DCAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$3D615403-FD1F-4FA1-A53A-FD7227210104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326422$66A6CD70-3157-4F47-8DDF-753E7C843631","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa4752f2f2c285be91396177f73cae00f6eb718","datavalue":{"value":"https://arxiv.org/abs/1605.01586","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326422$1B9BCED5-8C8C-45AE-A03B-55EFCDF05BFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$19800FC1-E171-4635-AF0E-5A4EF84C1E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$71CD583F-88A7-4B63-8373-9DACE9213F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$68583687-DBB4-4982-933A-D41EEEB211B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$16C3BEB2-2353-46CD-9D8C-B93B3B4B361A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dcb9ed48a0ab60fcf51791bc7b4d23ceb6d041a","datavalue":{"value":"7114351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$2784C312-7185-4FD6-9522-C26CE0B7B606","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920ff455a0d2c7569a4067c32ac076b70e70dfac","datavalue":{"value":"intuitionistic first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326422$8E29609E-1964-4A06-94FD-C37793AE47D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326422$50F6AF22-3BE1-48FB-BF48-4B42DA979F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326422$8B69A2C7-2DAB-4F0C-BA2B-534C974FC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1116f25f00115a5351ac37b08c7e5278f7b6b03b","datavalue":{"value":"models of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326422$6A4299DB-7A88-40BD-A1C8-97ECFE16F632","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":"Q2326422$3D819EDF-FC5C-4E57-B74C-31F5FAB3B31A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a194099b4d2fd53b6c13cda1cb202f5e7d797fe0","datavalue":{"value":"W2955445504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$ADFBC3B8-B9A3-4997-8235-6DA0C3E4531F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e65cc2ab183930cad1e9259cc1823e95b0faaf","datavalue":{"value":{"entity-type":"item","numeric-id":3499748,"id":"Q3499748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$DF33B926-C2BD-4AEB-ACE3-3BF99E3B708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$D5294FD8-A04A-407D-8A98-AC08831F3AD9","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":"Q2326422$95626B5B-9921-4381-A376-D240F59597F6","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":"Q2326422$DF1642EE-2266-4F8D-ABB3-CC62E74FA89D","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":"Q2326422$1FD94F45-52FD-48CA-A0F5-54A4FC0B2737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$8FC56F93-0F48-48CA-A477-009C262FF4EA","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":"Q2326422$98EB2C9A-DEBE-4577-90C6-5BC389D7B363","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":"Q2326422$A3E93CB5-DB38-4522-BAC9-8484BCE62A74","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":"Q2326422$CA17E90D-CAEE-42BC-AC92-878942EC521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$28F91373-78C1-47DE-BAC4-F2C4C1019B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$F692B600-B555-4716-94F8-0F8700165702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fc91fa238a4c5608aa7d54f9fe0ac1f0cf86a6","datavalue":{"value":{"entity-type":"item","numeric-id":4381416,"id":"Q4381416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$4E71AC28-B64B-47F9-85F2-486059C14202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d7921c9cb851855154bacbfe7eab100cf71a50","datavalue":{"value":{"entity-type":"item","numeric-id":448334,"id":"Q448334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$B3DC31FD-1F4B-49C1-993A-001583AFE9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67326b6c80e797a30d875f6865221006e1499ed","datavalue":{"value":{"entity-type":"item","numeric-id":661282,"id":"Q661282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$5A5CD9F5-A95F-4E2B-95AE-F9E2A81AFD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326422$DE4526D2-1E5B-4F93-AF99-48CA74D683F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f4e047b58ad46ae2d897fdce077c1b5c2839a5f4","datavalue":{"value":"Q127577540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$30F9CA68-AE21-46BB-B6A7-23D77ABABBD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1a8d81436aaa71423bf25eb80ad7cbaf817c6f7","datavalue":{"value":"10.1016/J.APAL.2019.102715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326422$9E7A2879-F058-4B48-925C-60FD570EEB90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ff5f2edc9ade7132d6238ab7f33af28beb9b27","datavalue":{"value":{"entity-type":"item","numeric-id":3613421,"id":"Q3613421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a2ba408175e86f47e807693fd1648f8aa35fa7","datavalue":{"value":{"amount":"+0.8099079728126526","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":"Q2326422$AA48E222-E0EA-4178-AB1F-DE0A5C19437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3f74ca0a82986075c1700f3677a27dd48efbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3499748,"id":"Q3499748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd7b241389c1b12978dd50361bdb7b052ed259e","datavalue":{"value":{"amount":"+0.7419016361236572","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":"Q2326422$D0421595-4A36-4D02-8CB6-E12192CCDD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40811d73e7c547e0905aebe90307fb86f3415ed9","datavalue":{"value":{"entity-type":"item","numeric-id":5014596,"id":"Q5014596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8161ce33e4815b992b76c7cb8811ab7860985b4e","datavalue":{"value":{"amount":"+0.7362833023071289","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":"Q2326422$46A5A4C5-B68C-47C2-9DF9-D1CB594FB946","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":"b77881e2acaeae4b59e97a7bce8bced2917aae82","datavalue":{"value":{"amount":"+0.7350622415542603","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":"Q2326422$4C7A358B-6E03-4296-BAC2-B3722AE61588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4bab13d7f482db501a84e7faa14afcb9812711","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77881e2acaeae4b59e97a7bce8bced2917aae82","datavalue":{"value":{"amount":"+0.7350622415542603","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":"Q2326422$221034B6-AA64-430E-A3CA-15414BE17DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2326422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2326422"}}}}}