{"entities":{"Q1866815":{"pageid":1877557,"ns":120,"title":"Item:Q1866815","lastrevid":71017704,"modified":"2026-04-13T18:56:16Z","type":"item","id":"Q1866815","labels":{"en":{"language":"en","value":"On the abstract characterization of quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899938"}},"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":"Q1866815$A61A2FF4-F1BA-4DDE-8B96-1E4B5BA1A788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1731d2bf32483ba86711cc2fd78a316e6b46451b","datavalue":{"value":{"text":"On the abstract characterization of quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866815$CE6306A4-E1CB-47CC-9463-6E4E7DBD2916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c48c496883d96ee6c4e892d46d6c4eee1f117d","datavalue":{"value":"1011.08010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$B6851B7C-1EEE-494A-B1AB-07AC3B1118E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866815$23D64826-0EFF-4740-9ACD-5F7E8A34D2D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866815$0417857E-6448-4A41-AC81-23C1B21F1CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866815$BAE33E46-C97C-402A-BB2F-A8AABC76662D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acd7030ff6e1f7d33469f9100eed61716dc2ab7e","datavalue":{"value":"F. W. Lawvere proved in 1963 that a category is equivalent to a variety of algebras if and only if it is exact and it has an abstractly finite, regular projective, regular generator \\(P\\). The authors give a characterization of categories which are equivalent to quasivarieties in a similar way: A category \\(B\\) is equivalent to a quasivariety if and only if \\(B\\) is a regular category with a finitely presentable, regular projective, regular generator \\(P\\) and, moreover, it has coequalizers of equivalence relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$4FAAF1D0-F6F1-4A28-B164-B943E0FF81D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866815$C86CB680-4B5C-4F8C-88A0-D4919F8E1986","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$F7E7BB17-78F8-4333-A8A4-1C9F988CFBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$DE29FC6E-50B4-47B5-AA82-20C199A0034D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d9784711537791db8c0e6db4f996da35cfaa9a2","datavalue":{"value":"1899938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$0DA76AF0-EA16-495A-8BFF-A0723DDC32DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$A0EA63E5-504F-44E8-AB7E-C741B06900CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e8b7f83dfc84a983c44c7ef2c5fb23ace34b8c","datavalue":{"value":"regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$548EA17B-06F2-43B4-8C4C-DFCF55D58F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$96970C64-3B69-45AF-AF82-D619B6BEB78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$1B62CF97-604B-4038-AEF2-674CFB1D7FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c596e442b58b1ffe0deef0caf38ee21bf02e0cf0","datavalue":{"value":"regular generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866815$3A94A1F9-D8F5-462C-928D-E367D9B61E24","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":"Q1866815$91D140DE-7E75-4AE1-8391-099C55307B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0db3762181fce0d17fd0308264305df8371d65d","datavalue":{"value":"https://doi.org/10.1007/s000120050158","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866815$51610E67-1EA5-40A6-B4E6-514E7BD85DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da15e9c97e98f4beae39b8498ee83e1abd71c84d","datavalue":{"value":"W2035880551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$C852FFD1-5415-4E39-BCFD-2A77052EA6BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cacc90b16ed90f2b57a4fd40ee40420f7226af6c","datavalue":{"value":"10.1007/S000120050158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866815$F23F1CBF-37F3-40D3-851C-58FBAB7C0AED","rank":"normal"}],"P1643":[{"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":"6798e2b810d48780733933fa2c71e3055330bb15","datavalue":{"value":{"amount":"+0.88923579454422","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":"Q1866815$A3D259A6-DF52-4541-A914-41BA49E94370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97877557168411aeac072b05ecc977d501bbca6","datavalue":{"value":{"entity-type":"item","numeric-id":1273384,"id":"Q1273384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad1ba8d48c2a261367a3fdba7db9ec724d3c00c","datavalue":{"value":{"amount":"+0.8736286759376526","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":"Q1866815$30165193-1DB6-408B-BCA4-8F25FF05DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a68044442dba7c88e364ad4be32f388437727cf","datavalue":{"value":{"entity-type":"item","numeric-id":4896512,"id":"Q4896512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b257e130e6f771203bec49a780f165d9590bf7","datavalue":{"value":{"amount":"+0.8721635937690735","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":"Q1866815$45757F5A-0A5B-47AB-AA6F-B314E886C528","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":"b6dcf7b49c5b3104f37f64194645681f4918b3c8","datavalue":{"value":{"amount":"+0.871364951133728","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":"Q1866815$93A56D6A-9488-4394-A0F5-B9C2F9D5C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc66aab827abbfe8d17308a9d2ebff82abe00797","datavalue":{"value":{"entity-type":"item","numeric-id":2583596,"id":"Q2583596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8412eeb0a15ae4b18290fb7982fc6c9aadde812","datavalue":{"value":{"amount":"+0.8399081230163574","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":"Q1866815$9E211422-6579-4A1E-8F70-039D43D1DC7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the abstract characterization of quasivarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_abstract_characterization_of_quasivarieties"}}}}}