{"entities":{"Q1935010":{"pageid":1945752,"ns":120,"title":"Item:Q1935010","lastrevid":57605655,"modified":"2026-03-31T14:28:03Z","type":"item","id":"Q1935010","labels":{"en":{"language":"en","value":"On the equational complexity of RRA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6132818"}},"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":"Q1935010$2939645B-0B6F-4403-AE23-7E514ADBA8DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"049d86445afb9dc225dbef0acd246b7288b1848f","datavalue":{"value":{"text":"On the equational complexity of RRA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935010$EFB38598-0AE5-435C-A0EB-46C4E9F00EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"395128eacebe9c15542e44a9dfd5973f594e707b","datavalue":{"value":"1263.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$17E39CCF-1296-4877-A555-E4BE51E21826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf634d4d89f44a795758589ef6f188e6db5ba3d","datavalue":{"value":{"entity-type":"item","numeric-id":476329,"id":"Q476329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$C030FD87-D436-4F9D-BC6B-3E22E7D470C5","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":"Q1935010$4ABB7F25-1F09-48C4-8E4C-3F0E185B3B35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5478fba53a113a7516ce69e974ee388c2f24be0","datavalue":{"value":{"time":"+2013-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935010$8112D912-9D0B-4DE7-A68C-DF40B8D7FE38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73cf4acdbee3bd735ec77aabe8203b9fbf140aca","datavalue":{"value":"https://arxiv.org/abs/1304.2092","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935010$7F9B4969-8242-4105-94DC-37B54C9433D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65228e732bae0dab29067b661daa33742f62421b","datavalue":{"value":"The \\textit{length} of an equation is the total number of operation symbols and variables appearing in the equation. The \\textit{equational complexity} of a variety of finite signature \\(V\\) is the function \\(\\beta_V :\\mathbb{N}\\to \\mathbb{N}\\) defined as follows:  \\(\\beta_V (m)\\) is the least integer \\(N\\) such that for any algebra \\(A\\) of the similarity class of \\(V\\) with \\(|A|\\leq m\\), \\(A\\in V\\), if and only if \\(A\\) satisfies all equations true in \\(V\\) of length at most \\(N\\).     In this paper, the author considers the variety RRA of representable relation algebra and shows as a main result that for all \\(m\\geq 2^8\\) we have  \\[  \\beta_{\\mathrm{RRA}} (m) > 2 \\log_2 3 \\cdot (\\log_3 (\\frac{1}{2}\\log_2(m) -1)-2) -2.  \\]  Furthermore, the author introduces the function \\(\\beta^{\\ast}_V\\) of the equational complexity function with domain the number of atoms of a finite algebra (rather than its cardinality) and shows that  \\[  \\beta^{\\ast}_{\\mathrm{RRA}} (M) > 2 \\log_2 3\\cdot [\\log_3(M/2-1)-2]-2.  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935010$C86BF8C3-0DE3-4CC2-B7F0-B7239345D98B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85a665b46fe725b5b8de30a7f71d9a80c48b39d4","datavalue":{"value":{"entity-type":"item","numeric-id":591989,"id":"Q591989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$3884144F-4985-4217-8FC9-8DD91A095C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$7F77D5B7-1B2D-4909-8042-CC2D7E291C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$E46D6E57-CE35-4621-8173-335E9C445731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b03f963b5a2ef82fa4e4d6fe97e8db65d87357f9","datavalue":{"value":"6132818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$CB2070BB-98D0-4BCD-BE60-B570126B3082","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6e23f9002e6fd2e9e10cce89be0a65dd90dbe8","datavalue":{"value":"representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935010$7A92E7E7-A062-41E2-A277-31BBD15BAB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9f0ccdc2ec64d1b5b9344f5c608db189ac5028","datavalue":{"value":"equational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935010$B2FA26F6-07F7-4C7A-8B71-EDB41C408C6F","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":"Q1935010$7472272C-1E8F-48DA-98A2-0914FA54E649","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76cb7cdf3a8a30206c9542e9418e4e2662862dfc","datavalue":{"value":"W2067989349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$486FC14F-CB10-4484-BAA8-BD7A97DD5C97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d6cb550f8239ea43f68a8e7774adaf84fc8789","datavalue":{"value":{"entity-type":"item","numeric-id":1337158,"id":"Q1337158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$6620AF13-3AE7-4464-AF07-D46329BDD194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeeb16e23800ddb364ca3afd01d48f1f143f83a1","datavalue":{"value":{"entity-type":"item","numeric-id":5796317,"id":"Q5796317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$B1115B47-62CE-4F7B-B4FD-B3F09635B284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$DD976DF4-0AEF-49CA-A6FC-7BB9C268B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d23d2f5f17ea011ea52ec5132f45c4f26d257c2","datavalue":{"value":{"entity-type":"item","numeric-id":1866804,"id":"Q1866804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$DBDB9914-6B88-4CD0-BF8E-E5D47B2FCD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58e96e56fa7670a298892e95b3ad874ec0276b","datavalue":{"value":{"entity-type":"item","numeric-id":4011720,"id":"Q4011720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$322E9BF5-00B1-4E3F-8044-5D840404CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$F55F01EA-E856-48CE-9913-2977685AC4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad30baf3cb5f02e7517dc6e6ac911f175ac4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":3601326,"id":"Q3601326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$FC98C486-53FD-4EBC-BCEC-52841629616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$AEEEA637-01CB-4C76-A2A1-D89D5ED82C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb97211b5a0e5cc322cd129c33e23630f3b327","datavalue":{"value":{"entity-type":"item","numeric-id":2655229,"id":"Q2655229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935010$8747A8CB-A821-406C-BF22-718D20F4AA45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a4cf7f04c2cbdbe433a7236d197baf5a5cd0dd7","datavalue":{"value":"10.1007/S00012-012-0210-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935010$EE53AF74-34CB-4E7A-BBFF-52E13A57CED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11bc3cbd46f577ea6d0a242075333ecb3ad035f","datavalue":{"value":{"entity-type":"item","numeric-id":3601326,"id":"Q3601326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac814141429be67d0bf56566963f921f0d15be2d","datavalue":{"value":{"amount":"+0.7656306624412537","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":"Q1935010$23D2098E-A549-4B09-9FAC-9C11AFA27778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b591ac6208ec6e877d2ca5bba3f6cd004707af","datavalue":{"value":{"entity-type":"item","numeric-id":5737952,"id":"Q5737952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda294b64c42128a865eb7abdadc5609781359ab","datavalue":{"value":{"amount":"+0.7628459930419922","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":"Q1935010$B0CE4AB6-88A0-4A86-9EC0-36125EF5F49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b02e4d1c83403a03a310bdd69a81c11ea811d7","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bec75350e4887ca2df3e54b174cb7b9ab335db2","datavalue":{"value":{"amount":"+0.7345286011695862","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":"Q1935010$22A05FE0-E173-41F2-80DD-AD306AA2177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b268b9e9d95334a12ff52a8b48cf721b8203f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4032851,"id":"Q4032851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bec75350e4887ca2df3e54b174cb7b9ab335db2","datavalue":{"value":{"amount":"+0.7345286011695862","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":"Q1935010$44931CA2-3A7A-43E7-A276-AE796ACBDA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94597439648e5a2ec9c8108e04413156908c4b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5228210,"id":"Q5228210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93bcb93d290f3748847bc3f9bc8b107147882ca","datavalue":{"value":{"amount":"+0.7339592576026917","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":"Q1935010$23586E7B-7F6F-467E-BD27-AA7AC2DD2BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935010"}}}}}