{"entities":{"Q874746":{"pageid":876594,"ns":120,"title":"Item:Q874746","lastrevid":65031150,"modified":"2026-04-11T23:51:29Z","type":"item","id":"Q874746","labels":{"en":{"language":"en","value":"A global glance on categories in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141195"}},"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":"Q874746$CA63FF90-61B1-4446-9BDC-9D1E335350C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26d9257be68b06e6aeb951e082aebdf8206fb16","datavalue":{"value":{"text":"A global glance on categories in logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874746$A1934DEF-2548-4BDF-87BE-C9ED686F41C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e02e5facae478b8b3e30d2da663a65ba0d283744","datavalue":{"value":"1119.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$2D97587E-B767-496B-BC43-D4A82367F705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f35a82ec21e2c41816b0bdffd84e2781ea27c","datavalue":{"value":{"entity-type":"item","numeric-id":874744,"id":"Q874744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$259BDD90-BC08-48C6-91DF-45DA74371D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8a4ead063cfc8d47f715a9772852b26eae41c","datavalue":{"value":{"entity-type":"item","numeric-id":874745,"id":"Q874745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$B38A9824-5833-4C97-A381-9E72FD2DC812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"589f221442fad36e4580b47a659b98f14d9c58cf","datavalue":{"value":{"entity-type":"item","numeric-id":631518,"id":"Q631518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$758D838F-C633-4D9C-BBD5-078F0540044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"706dfbd9a3bd70c5446c1abd91210c63cd901eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1284804,"id":"Q1284804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$B5009212-FA0B-4ADB-AE1E-D146CA1A1D0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$ACCCDB21-2C4F-4507-B9F3-9B8277C278AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q874746$60D0D612-FC5D-4ADC-B01F-AC3C00239BBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e499c40a33db5dc70b633b64a51fffe56742044","datavalue":{"value":"In this paper the authors explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. They illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$E96A7A62-3496-43A4-A364-9930B49D0490","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874746$B94AC0DB-B6EB-403E-837A-9C38748CB64D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$5F671B12-AD04-46F5-B04C-030A19AC0042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$C8C36804-E988-4BDE-BCC7-27C00C38EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$F87E0581-9650-4FE7-9503-801A4BD73662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de585acd75ea7ea85e325272d11a11aca6d2aa4","datavalue":{"value":"5141195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$46231C7D-5A84-4D98-816F-9C51C3F4A73E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$1F3350CC-C526-4CAD-A94A-15F748194F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cb3880a5280251a2f94c763abed7a5be2e6a9a","datavalue":{"value":"accessible categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$15E038F5-0D14-4812-A5C0-D8C44413C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3429c2f63d27b5fad42c07e1db8f305519b0e7e1","datavalue":{"value":"locally presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$92B7DC10-B504-40C8-8F18-211AF30614AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbf24dbc2a2990d97b5c559f4b563de7106602b","datavalue":{"value":"categories of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$36AE54B8-C6DD-48EE-8A10-43CA406498DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7d41a546c1b9b863f2458f88da2ba4ffeb522a","datavalue":{"value":"finitary structural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$CCDF4314-A09D-4996-AFED-1EC0395B88C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874746$A3D86CF0-B0D0-4C8E-A1E5-F7DE8CF1614D","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":"Q874746$B5524243-F140-4097-960D-1A284BA6CD33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ef6fe3da88dacd9bd4d67dc819586ce21f76641","datavalue":{"value":"https://doi.org/10.1007/s11787-006-0002-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q874746$CAC5A8A3-6B82-4C5F-9882-8F909F703F30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"750b3f54fd921df448456be0f71e8e32d2859577","datavalue":{"value":"W2036881670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$92715783-952D-4309-9817-B9FEA8E982CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf06e05dcd68e1385a91eb027f1e0e6a24485f66","datavalue":{"value":"10.1007/S11787-006-0002-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874746$4D7C0CA1-8D29-4CA0-89F8-6B2AFC0A5FEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6952e8772a79811b50347f14f5e59c4268a7fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1196790,"id":"Q1196790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef18e9da75dcbbc937f5f44d8c47deec9c37812","datavalue":{"value":{"amount":"+0.799439013004303","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":"Q874746$5B32FA0C-AFC1-4167-AB2D-BB5865C85CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66375a1f61fb216fff455b192b76e14950777fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2909761,"id":"Q2909761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bb51e645b8a42f833eac06fb0cecb5d9c21e43","datavalue":{"value":{"amount":"+0.7979443073272705","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":"Q874746$CAEB0786-856B-4A59-B109-49CE610F7FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf66b4efcdb85a80e60a96ed5c50eb9dd5f83349","datavalue":{"value":{"entity-type":"item","numeric-id":498003,"id":"Q498003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674127c035b35d05108e1632bd2a5fe5f2384724","datavalue":{"value":{"amount":"+0.7977480292320251","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":"Q874746$8FF91A0B-5AA2-4D5E-9710-A2CFA3A17886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9087acf0030b486df7a06e1d89439971deef7d","datavalue":{"value":{"entity-type":"item","numeric-id":4475066,"id":"Q4475066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29d1028f31515cd14e6c1ecf5675ad5f36c1052","datavalue":{"value":{"amount":"+0.7625202536582947","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":"Q874746$569EBFC2-4384-4032-88F0-4405C72F4BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fe45f7af617800d76401d9a73ca39516121e0e","datavalue":{"value":{"entity-type":"item","numeric-id":919088,"id":"Q919088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735a57ebea04b73151f1fb6e1e6f4881197af3ac","datavalue":{"value":{"amount":"+0.75543212890625","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":"Q874746$4800AA52-BB4D-4B2A-B547-F1CFB37F0BC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A global glance on categories in logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_global_glance_on_categories_in_logic"}}}}}