{"entities":{"Q1273384":{"pageid":1284134,"ns":120,"title":"Item:Q1273384","lastrevid":70044615,"modified":"2026-04-13T12:03:56Z","type":"item","id":"Q1273384","labels":{"en":{"language":"en","value":"Algebraic theories of quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230343"}},"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":"Q1273384$AC938EFB-62E3-4CDD-87F0-FB95C9BEE4FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cb2e61ad5109131a5a9b56659bc4f165b44b697","datavalue":{"value":{"text":"Algebraic theories of quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273384$E6923671-B680-4F5F-990C-75D6D453AD8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3aefca5e380c2a68d585e65ab25c54ca07882a6","datavalue":{"value":"0913.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$B6921D28-BC79-4564-808E-96D2D69EA162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf5e5b55b53edeae48801694854805d1c4c57e3","datavalue":{"value":{"entity-type":"item","numeric-id":178364,"id":"Q178364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$D630C1EB-EF4E-418A-BBCF-C96CC7B835EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$22F9B190-938D-4F65-845F-4FA3771CCBAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$9DFA6BF6-F272-4717-92D5-FF103E0B8E83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeb380f564c5a8f0fcd332fa7514de56929165f6","datavalue":{"value":{"time":"+1999-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273384$437E6C27-B07D-47CD-86BA-0294B1C47792","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c94b0392a9a62947d64c44f49f5770ac0cf42c96","datavalue":{"value":"By the theory of a locally finitely presentable category \\(\\mathcal K\\) is meant the dual \\(\\text{Th}(\\mathcal K)\\) of the subcategory of finitely presentable objects. The authors characterize the theories of (many-sorted, finitary) (a) quasivarieties and (b) Horn classes. The characterizations are simply stated; for (a), it is just the small left exact categories with enough regular injectives; (b) requires a suitable extension of ``regular''. The paper also reviews known characterizations of quasivarieties (due to Ad\u00e1mek and Rosick\u00fd, and in the one-sorted case, to the reviewer) and corrects an erroneous characterization stated by \\textit{M. Barr} [Contemp. Math. 92, 1-7 (1989; Zbl 0676.03022)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$895F97FC-68DA-40B0-BD7E-D0436E097274","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecf4216cad559830178acf03a6652fd82611ab37","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$46FE61FC-4ADF-4DA4-BE0A-0401B35F4131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$519DDF25-C691-4996-A0A0-F6388AC2C66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$0BEC243D-3A00-4102-96E0-3228D2BE6176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$D29B9697-0EEA-4260-891B-D5441566D843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a749efa7e54f2257e360bf6e2b8d265cddbba221","datavalue":{"value":"1230343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$6105E6D7-2C6D-4EBD-8FF4-73E507BB86AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$ED1AEC8F-84D4-489B-9350-6FAEAB13F839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$00B2AEC3-3DB8-40C3-BF2E-BF12D25790CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dcd04fa6984aa9737fde0b8db4b7fcc9d0f839b","datavalue":{"value":"Horn class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$C708A247-8E70-4E7C-A92F-B2C000570009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a77076fd1c78df4fd37ee1b26c8f280625c44f","datavalue":{"value":"many-sorted theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$266A680C-ED08-4CEA-9534-180CFE4A92F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8df9e17eeda4b89015c66eeb32a30239b3b57f","datavalue":{"value":"finitely presentable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273384$28763211-A7A6-4212-B800-891A46F8A429","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":"Q1273384$411E28D2-3E70-4F4D-BBB5-063ED7E36124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bb1b517da6fa3567bec051ee7ef4a8db8e69911","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7499","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273384$24A23D22-DD6D-4388-904A-B3AEEF47D1F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08e27b3a8707c6e8026b60ef246b47a7b7dcf5bf","datavalue":{"value":"W2021826450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$D63579E9-77BA-48A8-B27A-280F2718BD88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c82c0a38e22396aa2a1759796bc5794f930a23d","datavalue":{"value":{"entity-type":"item","numeric-id":1125923,"id":"Q1125923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$B5C7DAED-CF25-47A6-925D-A86790966DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f255b461269705840fbfa0a22f8fbe5b0fadb941","datavalue":{"value":{"entity-type":"item","numeric-id":4289578,"id":"Q4289578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$02CF5BD8-8F12-4F0A-B95F-136FFD003C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$37B76038-C02D-4E8B-9E4B-A1F2AA5B1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$7D229AB8-4785-4430-88BA-6D9A401D9239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2037f0b3741484e0dda8fb338ff91881063627d1","datavalue":{"value":{"entity-type":"item","numeric-id":3830985,"id":"Q3830985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$06C87ACF-6F7F-45B3-B0C9-640289382E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$99451EEE-0554-44CC-8FF0-8A52DAF40563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d25ab091f1c9d05d0ab0474628e87c5839da44","datavalue":{"value":{"entity-type":"item","numeric-id":2529196,"id":"Q2529196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$4B50503E-4845-402F-8C3C-53F2999B78CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$5F7DEF86-C68F-4900-82F7-F957C42FCF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d4b7931e36505b5e2b4b9d13ee1f4e0b81a108","datavalue":{"value":{"entity-type":"item","numeric-id":5343379,"id":"Q5343379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$3ECDC70B-77DA-4B6F-BC44-6000F059BEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4bee76259966b7dbc514ceb6713cbd18acfaa","datavalue":{"value":{"entity-type":"item","numeric-id":4124986,"id":"Q4124986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$3B87CC94-97F5-40C0-8341-92E6D15E15A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$2CA80765-EF47-4E02-8191-947719D64A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41904df0fa1ea8e219dc3231404b7a48069a5c57","datavalue":{"value":{"entity-type":"item","numeric-id":5599205,"id":"Q5599205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$D5FF689D-EF51-4CF2-B4A1-68444ABB4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a176d58171f18c8c3f732fe4025ed6757afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$E2151FC1-6EEB-4A58-A389-69B1797BC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84ac8b24f190a0fd6f274c2c5064ab7a2fb28cb","datavalue":{"value":{"entity-type":"item","numeric-id":4723928,"id":"Q4723928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$1C84BF00-9751-4F40-B4E1-122CA96513E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791d0f16b678d07dc7754144f13e055d13185dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1321041,"id":"Q1321041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$CB3C4829-3A67-489B-A35A-FBD3DAEFF6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273384$EB55A720-AB00-42A7-BB3B-AA3581C84B46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c57d9254ee38bce04762edeffafe7853632fabc","datavalue":{"value":"10.1006/JABR.1998.7499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273384$A3FC2ADB-D0D0-4455-B1E4-A85D0F41E222","rank":"normal"}],"P1643":[{"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":"6c8a35ac0058cef432b7328198de914a347e299a","datavalue":{"value":{"amount":"+0.8337227702140808","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":"Q1273384$90201BD4-5DF3-4EBD-B2B9-7CBD99EF1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e39e876434939383466556772dad671de8214a4","datavalue":{"value":{"entity-type":"item","numeric-id":1593791,"id":"Q1593791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8e51bd046b0b70eec328a463a5c42920dcfb68","datavalue":{"value":{"amount":"+0.8200450539588928","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":"Q1273384$E0114F52-93B3-47AE-B9AB-88F4CA809906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5852ee73c21c4be8c9d72b9096c6cb8fba2e0521","datavalue":{"value":{"entity-type":"item","numeric-id":1770598,"id":"Q1770598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72bffe9b1d242f1b5fb8f0836001425edc05050","datavalue":{"value":{"amount":"+0.81733238697052","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":"Q1273384$690513EF-BFB6-4941-AE19-0277171794A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89977900b1d4b281ac201bc797dd37557c9141b3","datavalue":{"value":{"entity-type":"item","numeric-id":1866815,"id":"Q1866815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86fc4420e377fff3e9391929fd443c28cd8c5b9","datavalue":{"value":{"amount":"+0.8078271150588989","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":"Q1273384$8BCE7641-E28A-49C0-A2EE-C810C4AA1626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic theories of quasivarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_theories_of_quasivarieties"}}}}}