{"entities":{"Q2159495":{"pageid":2170238,"ns":120,"title":"Item:Q2159495","lastrevid":54374219,"modified":"2026-01-26T17:35:31Z","type":"item","id":"Q2159495","labels":{"en":{"language":"en","value":"Improved bounds on the size of the smallest representation of relation algebra \\(32_{65}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7565555"}},"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":"Q2159495$A94BDE8D-6586-47B3-A136-0BBC93746F70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9187c5a0bec571efb78cf9e7e81c14a4fabb1df6","datavalue":{"value":{"text":"Improved bounds on the size of the smallest representation of relation algebra \\(32_{65}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2159495$4009D592-8B92-44B9-889D-8AA2F994B50A","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":"Q2159495$9015E349-14FD-4FCC-B3DC-EC7B335A9521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df2727f9ae6b7e230f571cfb018769c0c51c270","datavalue":{"value":{"entity-type":"item","numeric-id":2159490,"id":"Q2159490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$5182A600-8B29-436F-89C4-8C9FEBD775E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f21b92476c2e07a5b2ebbd31a2219b61cc2e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1722918,"id":"Q1722918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$DACB3B11-C947-4087-9106-16528974A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c7aa2a8edb49f251cdbbd92b996f1c0cd60d14","datavalue":{"value":{"entity-type":"item","numeric-id":2159491,"id":"Q2159491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$0350DD3E-E41F-4684-B79A-5A261AFFA8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a1e549b7c6d60d7b6fa371c1bb19c862f513a9","datavalue":{"value":{"entity-type":"item","numeric-id":2159492,"id":"Q2159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$DC9853C9-8687-4B63-8173-9CE3544A036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed0e191959ec85ee7e289bbddec38164a0280498","datavalue":{"value":{"entity-type":"item","numeric-id":2159493,"id":"Q2159493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$6A256C01-5777-4010-9657-ACBAD451115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc5055fe35a98347bfa9d12e722cba249db1d293","datavalue":{"value":{"entity-type":"item","numeric-id":2159494,"id":"Q2159494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$C1ABCA85-D43A-4BAD-B810-A0A59B961D3A","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":"Q2159495$BAC3379B-0CE6-4773-A7CE-7E8AE3CAC1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98eafad2a72a1742cabcff69f998afea6e8487","datavalue":{"value":{"time":"+2022-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2159495$BAE30C57-AE53-48BB-8A09-0B6FF2C88573","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a1ee8d72b83cbed454db06aeff240d332e6def9","datavalue":{"value":"https://arxiv.org/abs/1911.00620","type":"string"},"datatype":"url"},"type":"statement","id":"Q2159495$7D31331C-DBF9-4504-A239-9AACE79E6D0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94633070ea0da186ae510f8835760c1e60a5234e","datavalue":{"value":"The conjecture that a finite symmetric integral relation algebra is finitely representable if it has a flexible atom has been proved whenever all the diversity atoms are flexible (because all cycles occur) or there is a minimal set of cycles that make an atom flexible. Probabilistic methods work in both cases but yield only large bounds. This paper reports significant progress on the size of representations of relation algebras with a minimally flexible atom. There is a spectacular improvement in the upper bound (from exponential to polynomial in the number of atoms) plus an improvement in the lower bound. The simplest example of a relation algebra with a minimally flexible atom is shown to have a representation on 1024 elements and a lower bound illustrated by a nice picture of 26 points connected by colored lines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2159495$156967D1-ADDA-4D97-B2FB-7DDC2A2FDB7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2159495$49D021EB-034C-47DC-8B25-903B5F38A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2159495$87E2A03F-DF87-4F48-AD80-588486AB9309","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba1ab618e438e938ac504088d56c9afa44e5a00","datavalue":{"value":"7565555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2159495$613C73E0-5DA7-4D66-9B3E-95B02D2426EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2159495$8F0486B8-3C6A-4E80-B094-E8069067A16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6d3962115289df6844b83a852d8233110357a5","datavalue":{"value":"flexible atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2159495$E4262EEE-8B20-4945-9DDB-E57EF16DA712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f499971506bb7d13eebf3a41582911b6f7a30bdf","datavalue":{"value":"spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2159495$2CC65D56-2DB5-47CC-8236-7F82F1FE0089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2159495$03A85281-EC9C-4D1A-BD7C-41058EEABFBF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$A2C5FA80-91C9-4792-98F4-72BEB681EB01","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":"Q2159495$07EDF7FA-DA5F-4F53-89F3-DD82A34ADADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a98e8ccb1ba9a7b1cc6e42c994a60a6b003958f","datavalue":{"value":"W3201966940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2159495$C1FC7ED5-D8AC-4E50-9710-F714EB7454E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19de2b0b2d200a1201f081c2a8ca5c93e3fe2f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1010763,"id":"Q1010763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$15135C84-6C8F-4374-98E0-B702B2120147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6627f9cc48dfb1b9d807aada77cd1d4bc1b72b","datavalue":{"value":{"entity-type":"item","numeric-id":2418558,"id":"Q2418558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$B8E649E2-B69C-4EA2-B5B5-827D94295522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ebc558a69d387fb7dad5552808a55a991d41c2","datavalue":{"value":{"entity-type":"item","numeric-id":5752572,"id":"Q5752572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$E4881A30-916A-475A-9A5D-298802C83C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fbb1c226e39c48f6c74692678c99ffbcd2aa88","datavalue":{"value":{"entity-type":"item","numeric-id":1903131,"id":"Q1903131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$3DF86F0F-ABBA-4E68-9885-507E9425EE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7841b99eb841c23f9a12a983ab6bd1a82d3105","datavalue":{"value":{"entity-type":"item","numeric-id":1344846,"id":"Q1344846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$123648A7-83B9-42FC-9BB7-8E4F2A1D791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2159495$DEDEA886-E849-4BAC-BB71-76289800A795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58d1989f17bae46800e500cfbc4a26ba8d370a2e","datavalue":{"value":"10.1007/S00012-022-00791-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2159495$B63E5A94-0B0D-41A2-9387-28B47983027D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06b04cf8ab37f466ba91c17f268526697ab19c1","datavalue":{"value":{"entity-type":"item","numeric-id":1344846,"id":"Q1344846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93fbf90b535317e83fa108e953998e1e996f6d5","datavalue":{"value":{"amount":"+0.8264642953872681","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":"Q2159495$921C5B40-45DF-4070-B6E9-3A3DF724FC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30e3606e38b6c330b66f9025b7249f8b0c455b4","datavalue":{"value":{"entity-type":"item","numeric-id":3708022,"id":"Q3708022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f895bbd8c128d9a424fbf5a1a22745c77ab24b48","datavalue":{"value":{"amount":"+0.8241993188858032","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":"Q2159495$6569CB99-B1A5-4127-9A0C-C6DFD1FAC2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2367f76fd5b95b8694abc38bd2b078a8d4ad8af","datavalue":{"value":{"entity-type":"item","numeric-id":4011719,"id":"Q4011719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5fc4fb0a32905ea55db7d683e8fdac83c2ad22","datavalue":{"value":{"amount":"+0.8070710301399231","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":"Q2159495$AA99BC21-304A-4E0C-B711-5C3400A49FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093f422554ba91802968d46d6a15b81399e6e30f","datavalue":{"value":{"entity-type":"item","numeric-id":1337151,"id":"Q1337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1514d4609650868e43fbc06e07d22e67e6aada4c","datavalue":{"value":{"amount":"+0.8056714534759521","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":"Q2159495$C25755C7-BE87-40E4-A734-BBBFBBE695A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3b51b6c1b747c7d5ed0299f4968d9377aa9459","datavalue":{"value":{"entity-type":"item","numeric-id":1623243,"id":"Q1623243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4a798c81773e4a2f2b7743038334afd446ae3a","datavalue":{"value":{"amount":"+0.7980931997299194","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":"Q2159495$D411F481-2394-4357-B604-DD4551C20C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2159495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2159495"}}}}}