{"entities":{"Q690109":{"pageid":691958,"ns":120,"title":"Item:Q690109","lastrevid":47206747,"modified":"2026-01-01T00:22:00Z","type":"item","id":"Q690109","labels":{"en":{"language":"en","value":"An answer to a question of D. Pigozzi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446961"}},"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":"Q690109$28DF3BA0-0C38-4A1F-8E70-B2877044E839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccfe005538772bfbd2b19c151182df2961dfc5de","datavalue":{"value":{"text":"An answer to a question of D. Pigozzi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690109$31377901-5BC6-41D1-89CD-7F5ED85E1206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b70ff80279df767e3a0e8c366025273b0aa319","datavalue":{"value":"0782.08011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$A9FA4FA1-0B28-4EDE-8AD4-38FAA732BB4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e26d68b6abf5a7f3bab4b4a7afc54fd5d07b0be7","datavalue":{"value":"10.1007/BF01190448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$37762602-E05F-43DF-835B-C8D8A75C7A93","rank":"normal"}],"P16":[{"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":"Q690109$9C57072F-4217-4C90-AC74-81CD22AB7B9B","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":"Q690109$3DA006F8-F682-43F0-A092-2D285647DEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e0ca02281deeb50fcc6e30611ef7dd5e6d4bdaf","datavalue":{"value":{"time":"+1994-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690109$8E27F2A3-3CB9-4950-A340-C48C90981A1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"650e403625b618fed4da2f92a1034b45736771f2","datavalue":{"value":"If the identities of a finite abstract algebra \\(A\\) fail to be finitely based then one may ask whether the quasi-identities of that algebra are finitely based. In the case that they are, one can still form a finite basis for the identities of \\(A\\) but using some finite number of extra inference rules adjoined to the rules of equational logic. The significance of this approach has been indicated by \\textit{D. Pigozzi} [Trans. Am. Math. Soc. 310, 499-533 (1988; Zbl 0706.08009)], who provided a number of examples of finite algebras whose quasi-identities are finitely based while their identities are not. In this connection he asked whether there exists a finite algebra whose identities and quasi- identities both fail to be finitely based, but whose identities are all consequences of a finite set of its quasi-identities. We show in this note that the non-associative algebra \\(B\\) constructed by \\textit{S. Oates Macdonald} and \\textit{M. R. Vaughan-Lee} [J. Austral. Math. Soc., Ser. A 26, 368-382 (1978; Zbl 0393.17001)] provides a positive answer on Pigozzi's question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690109$C218F97B-0FED-41CC-9F38-9A7ECCB8D390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$39D41013-76AD-4A34-83C3-4D5B9D64A0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$E7FE7A58-4D00-4525-B8F5-CEEF82119890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d57f0e1411671241817a500a38c1cd11043d62f8","datavalue":{"value":"446961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$25F69243-DA91-4592-BAB6-DC4B6589075E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q690109$301F00CC-3AA2-402B-9F3B-75E64030993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c3be369fac50ea7fd0121b46e177d0e6242440","datavalue":{"value":"finitely based","type":"string"},"datatype":"string"},"type":"statement","id":"Q690109$D1BBC47D-BA86-45B3-8503-7FDD12BA0BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb02c5c07c8f3975e80e6e8fc9b19e1b7b0e7e99","datavalue":{"value":"quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q690109$F8B61595-AAFB-421F-B755-732C199541B0","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":"Q690109$2529BE30-250A-43C7-8174-08C9E9E505E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b216d93d64792e8e92d7a8960e59afa9e316b10","datavalue":{"value":{"entity-type":"item","numeric-id":3855342,"id":"Q3855342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690109$53D295BE-A169-4C0F-87F0-387FC0C16E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d3bffebe161410308c3371350b75e1f26d279","datavalue":{"value":{"entity-type":"item","numeric-id":4175722,"id":"Q4175722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690109$0B2015E5-8C45-41B5-9651-B01C9B6845FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690109$5900DA20-12B9-4B2E-81AA-D6754016A783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5e168c65e118ebfbff45710a3ad5be749c64fff","datavalue":{"value":"https://doi.org/10.1007/bf01190448","type":"string"},"datatype":"url"},"type":"statement","id":"Q690109$FCD51607-9F93-409D-95C8-1DEACD7A7FDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cbe03047878f05b171b1b0d058443afe2f1c3d6","datavalue":{"value":"W48744245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690109$2BCCBC44-7638-4B7E-894A-459865850355","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b808476460b51316a12b13c01e64a0c6bb7b5462","datavalue":{"value":{"entity-type":"item","numeric-id":5367228,"id":"Q5367228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97e25a07009a637e3830d6efe61dba077cb7949","datavalue":{"value":{"amount":"+0.8007586002349854","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":"Q690109$83A040BC-A139-441F-A68F-5F08D0861BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a169ea2bfe5b2cf00556249785dc63841a7e3bdc","datavalue":{"value":{"entity-type":"item","numeric-id":2123076,"id":"Q2123076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6476a1ebf14bc29411064cb370fbafefdd77b295","datavalue":{"value":{"amount":"+0.7975640296936035","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":"Q690109$94A4E6DD-4ADF-4DD4-BF68-75B60AAA9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2458aaad45aaa9a12397a6637e96c538f95aabc1","datavalue":{"value":{"entity-type":"item","numeric-id":3698859,"id":"Q3698859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85643c61bb2b1995d4d3e10e1ba68edc44ebe687","datavalue":{"value":{"amount":"+0.7788411378860474","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":"Q690109$531B1D26-F19F-40B9-ADC3-D366DB82A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f7a9a64b05f5a2571b30c6eeeddb65c225bd81","datavalue":{"value":{"entity-type":"item","numeric-id":1119669,"id":"Q1119669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3d8c942e09fc989f9d1689464f7c905b6bf198","datavalue":{"value":{"amount":"+0.7757598757743835","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":"Q690109$6DEF977A-2AFA-40B3-8E21-244990F0E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5923f078be3e8bae27ee77c18230eeeed12312","datavalue":{"value":{"entity-type":"item","numeric-id":4888336,"id":"Q4888336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6226c0a1e2e615286e2a00e76c0ce7e3b6319e2c","datavalue":{"value":{"amount":"+0.7719259262084961","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":"Q690109$C3BF0B79-D428-433F-A3A1-5F9A06706395","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690109"}}}}}