{"entities":{"Q997124":{"pageid":998972,"ns":120,"title":"Item:Q997124","lastrevid":65919867,"modified":"2026-04-12T06:16:13Z","type":"item","id":"Q997124","labels":{"en":{"language":"en","value":"Star-linear equational theories of groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173461"}},"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":"Q997124$786564E5-2E1C-4921-95AF-E025B9CC095F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bafbc1409d37d8d4dfd49f229323b770c26fc86","datavalue":{"value":{"text":"Star-linear equational theories of groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997124$8E4296E9-9706-4EE8-92AA-72F64A6A258F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc7f77e10d2f52c3f7f4f195a77e0b826494737","datavalue":{"value":"1127.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$585EB172-8E00-4A81-A44A-B0663D30AD0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$18A04D3C-D6B3-4F3B-8045-17C924C56ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"186d0ab140784e2c92003fc338d14cbcee69124a","datavalue":{"value":{"entity-type":"item","numeric-id":2655451,"id":"Q2655451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$09DCD5A9-4537-4E3F-B7A4-22D7EB25A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31c4a8220ce9c18d6cde842569cc3daacfc604b","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$A3FFF450-F5F5-4D11-AF1B-BC5106ADE209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fb15a20bb0df235d27e226c77e4f91c85abab50","datavalue":{"value":{"entity-type":"item","numeric-id":438815,"id":"Q438815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$0A7D9E89-73EC-4D6A-B7D5-360187E6A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5ff4cf6f989469eee73caf1aa9de9fad60ad8c5","datavalue":{"value":{"entity-type":"item","numeric-id":397856,"id":"Q397856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$9D65EE5F-48F8-46AB-81A3-7E657CC29CF4","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":"Q997124$6698B438-979F-46CD-A0C9-2D478FF55CCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6452a8a0408f27542935d3024f201ae02ffe1a","datavalue":{"value":{"time":"+2007-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997124$4DD57BD3-4317-4D27-90A7-F4EA1B21A05F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62169fb9e7576896e544a407798f1e91d0ac90cf","datavalue":{"value":"A groupoid term is said to be linear if every variable has at most one occurrence in it. A \\(\\star\\)-linear equational theory is an equational theory \\(E\\) such that every term \\(t\\) is equivalent to a unique linear term \\(t^{\\star}\\). The authors prove that:  -- there are precisely six \\(\\star\\)-linear equational theories of groupoids;  -- four of them have a finite equational base, and the other two are inherently non-finitely based.   Also, all subvarieties of the six corresponding varieties are described and small generating groupoids for each of them are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q997124$A6C4C895-CD2B-4FF8-9F5D-6FA7491D997A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997124$69C00FE7-FDCE-48D0-8520-8089B5D053A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$4A56F2BF-D9FA-4EE0-86D3-110EAE909AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$A32E661D-CFD6-4F9C-8DDE-53D2EE677596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$B6CD2ACF-3151-475C-B9C3-BB036EF6BE5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d92cffc15f9e913d9b8bfbcc53ecc7cbade274","datavalue":{"value":"5173461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$C35BF7E4-8EB0-4576-864B-36DE1325EC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q997124$22201852-6474-48AD-A679-29EAAFF1A390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcc9f78a70b8cae99c131d43b52a212c8fcb02e","datavalue":{"value":"groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q997124$2A470E6C-9818-4498-98C0-E90047AD7390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2f8e72800faed31f94d81c9427ce8b440dc016","datavalue":{"value":"linear term","type":"string"},"datatype":"string"},"type":"statement","id":"Q997124$EA59298B-2412-40D2-A435-A6B89189A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q997124$B61DC401-7396-4C0E-8EAF-FF93F08C6A11","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":"Q997124$4B77D9E1-E535-46C7-9BBA-8F2401AEEAD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f929fb49310e0eead2a03ac67d1eebdb810848ec","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2007-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q997124$E238226A-C9DB-4CA9-A3FE-4DCBA070E83F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df983e5302aea5775e7357fc85d5cc86ba524915","datavalue":{"value":"W1975338434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$D43623FA-BA2C-4665-918F-64C275E18C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01dff80a1c24e2cb30a365a63bea7a4728378101","datavalue":{"value":"10.1007/S00012-007-2007-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997124$485E409F-16F9-4D3E-B5D5-CF8D5027E729","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8926f17408730d62964699cc0acc9b67e461c1c7","datavalue":{"value":{"entity-type":"item","numeric-id":2773013,"id":"Q2773013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deebcacfcbd3a26630f461d99fab3bea8edfaf2f","datavalue":{"value":{"amount":"+0.7939313054084778","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":"Q997124$497AE73E-E996-4947-AB9C-27D104F36D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07eacc1a6cd9ab6b8e5a717cd6e6da35540435de","datavalue":{"value":{"entity-type":"item","numeric-id":2276997,"id":"Q2276997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deebcacfcbd3a26630f461d99fab3bea8edfaf2f","datavalue":{"value":{"amount":"+0.7939313054084778","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":"Q997124$53CEF8AA-E576-4087-8BD0-0F72FDA63087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c9c0a568424539b23ef610bb049116138ba07a","datavalue":{"value":{"entity-type":"item","numeric-id":3473290,"id":"Q3473290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5239d8a99a607a7ddbb8394037666a342c05d54","datavalue":{"value":{"amount":"+0.7891989946365356","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":"Q997124$D1FE39D6-30EE-4BF7-812A-50B727BE12D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c106ddb1c667b3d17e7a4d13129d536b1461423","datavalue":{"value":{"entity-type":"item","numeric-id":2456592,"id":"Q2456592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcef84758c2ae13d8547d685b03d47021ba762c","datavalue":{"value":{"amount":"+0.7738087177276611","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":"Q997124$38C9A039-C0FF-4886-94B4-5DD4474A730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319fd1e8cce8dac04710075b365cfa7cc5fc92a5","datavalue":{"value":{"entity-type":"item","numeric-id":1180703,"id":"Q1180703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7557621872c803d450a196070fb87cbb5b5c4feb","datavalue":{"value":{"amount":"+0.7681438326835632","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":"Q997124$D55E4CDA-BAF1-42CC-8D6A-8BCCA84965BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Star-linear equational theories of groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Star-linear_equational_theories_of_groupoids"}}}}}