{"entities":{"Q795076":{"pageid":796924,"ns":120,"title":"Item:Q795076","lastrevid":42698487,"modified":"2025-07-08T14:34:19Z","type":"item","id":"Q795076","labels":{"en":{"language":"en","value":"Another proof that \\(ISP_ r(K)\\) is the least quasivariety containing K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861232"}},"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":"Q795076$479328AA-AF62-4EF7-9511-FB15B3759E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33beb7f235a6e83e9e61f3e0c2554e7608c9dea1","datavalue":{"value":{"text":"Another proof that \\(ISP_ r(K)\\) is the least quasivariety containing K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795076$BD0FEBA5-C88F-47FE-9F56-E276489A57E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b26f3ef67e1d15d048ec6261cecca6cdf833a9ed","datavalue":{"value":"0542.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795076$AE6CEB56-ECC4-42E1-BC85-702B5B904AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d367f08d23067871e50ccc828615081e27fa79c4","datavalue":{"value":"10.1007/BF00403333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795076$40FB4117-E2F1-4349-9EF3-2012B810148D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$2B335237-5F1C-48D2-91C5-0D10F0A86A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$B6D6CA02-71A7-43A0-AE7C-D366B1FDC142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$04D45773-0F88-474E-9D5D-F6B7FE3A1BBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q795076$C8BE34F5-05B5-410F-BBB9-036699DE7B4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fac90461c668c509ee20aca6f4b7422e0c90e268","datavalue":{"value":"It is well-known that if q(K) denotes the least quasi-variety containing a given class of similar algebras then \\(q(K)=ISP_ r(K)\\quad or\\quad q(K)=ISPP_ U(K).\\) The former result was proved by Mal'cev in 1966, the latter by Gr\u00e4tzer and Lasker in 1973. The authors give a new proof of these results with a method borrowed from propositional logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795076$4B1233CF-628B-4C82-A2E1-B831D1E238A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795076$B70C2B94-4D3B-47E3-AF98-48C02A817652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2345163349c5e4e64dc1984a738ecb4f3209c7d6","datavalue":{"value":"3861232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795076$3DEDC28B-23DF-48A4-A07A-AC91F89E4424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8ba10335d4cc41142bc8dacff71c32f72182fb9","datavalue":{"value":"structure of quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q795076$BAD599F5-30A5-4546-92BD-1C20FC4C10B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17bbdbf95c31d821baf8c3c834f2f465951d50b4","datavalue":{"value":{"entity-type":"item","numeric-id":587143,"id":"Q587143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$277A5164-DDDC-425A-BCA9-914D4493B13C","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":"Q795076$3E755A84-860D-4ABA-9081-85988F9EC686","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40129946d1dccc4cd9a3e49be81d5bfaf31937a8","datavalue":{"value":{"entity-type":"item","numeric-id":3889025,"id":"Q3889025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$8197972A-6CCB-4ACB-A9B8-703D2F792500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795076$0282C9EF-A413-42CC-80BF-FD8FD7B3EBCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8954313dee61532860e450e9f70cd9a339ddcd21","datavalue":{"value":"https://doi.org/10.1007/bf00403333","type":"string"},"datatype":"url"},"type":"statement","id":"Q795076$46F778FF-CFC0-4467-AF85-D9FAEC21A9B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6e90c5bc20a02df584b6d1d18ee4395c300d2e6","datavalue":{"value":"W2047335349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795076$3D558A1C-3DED-4CD8-BB41-4BE8D9C07223","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5ce1112e893243560d34e954a7280f06d4ef33","datavalue":{"value":{"entity-type":"item","numeric-id":4463625,"id":"Q4463625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a0c286a0295eb76c218334eb7f47c0aa3d6d4d","datavalue":{"value":{"amount":"+0.8212832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$C31441B9-ED86-40A3-BD9A-8D3D89DEC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9070ace525f847cda521fdc502c352e76a7eae7","datavalue":{"value":{"entity-type":"item","numeric-id":3002217,"id":"Q3002217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee35945ba7d91f87bd9da99cfa1ce43a4e802a75","datavalue":{"value":{"amount":"+0.81415784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$2C96E734-CE53-455D-BBFF-9BB2C0189D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a8f28df8b1bae8aecc73aed3ff1d85201e5f0c","datavalue":{"value":{"entity-type":"item","numeric-id":952977,"id":"Q952977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec047087cf2b7cacfbb6df331309403e92188f95","datavalue":{"value":{"amount":"+0.8126913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$D6E720D0-FA27-44B5-AD09-15AAFF840E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cdb29d8b1ddab4310f5e2f0bd42a302ff3b5b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1967888,"id":"Q1967888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8b2b7e19595689bfe1b63f1c17163c3850d79c","datavalue":{"value":{"amount":"+0.8030694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$05201099-921D-4B27-A90C-3928577FE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7053ef30e759e4eea1704e3a9774128f7542dd","datavalue":{"value":{"entity-type":"item","numeric-id":1618127,"id":"Q1618127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19b89756b0d2a34112f886454c66a8dc3ded8e8","datavalue":{"value":{"amount":"+0.8029952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$671894A3-FDAD-4EAE-8C8F-C1A443520D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c757dc4d5319031fcd94f6cae07c9785767fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":4402437,"id":"Q4402437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a70112b680983913582f4c88a1cc3f02d1ba25","datavalue":{"value":{"amount":"+0.8010162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$50D4C06B-EC7E-4EDC-9AB7-134F2B58A8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6328bc67eefe864f00cedd99d5cfadcbadfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":1840606,"id":"Q1840606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3d337c8f236f9616eb4e2e7fbf0bc77d6105cb","datavalue":{"value":{"amount":"+0.79878783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$DDFCE5D2-6DC8-439E-9051-6FFE032B3659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2cc54369d3ac7858c6bc0b105d1d1a38f275de","datavalue":{"value":{"entity-type":"item","numeric-id":3142390,"id":"Q3142390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33dbe4521b044f78608afce07736c902a2584ab3","datavalue":{"value":{"amount":"+0.7983461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$D98F2B78-A831-4F6B-93BD-59A31C820043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cca2fe89b68aecf49c82d1482eb214ca940016","datavalue":{"value":{"entity-type":"item","numeric-id":1061158,"id":"Q1061158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584e5259e04f56bd010fdc9bbabaa6f634103d77","datavalue":{"value":{"amount":"+0.79760385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795076$5712C6DC-12B9-4E8D-B244-3324E6ED292E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:795076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:795076"}}}}}