{"entities":{"Q1272140":{"pageid":1282890,"ns":120,"title":"Item:Q1272140","lastrevid":70043517,"modified":"2026-04-13T12:03:31Z","type":"item","id":"Q1272140","labels":{"en":{"language":"en","value":"Non-embeddable simple relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226229"}},"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":"Q1272140$31D13BAA-F884-490D-ADDE-32E55D4667FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03cc6740f9dbc44509bcc29ad88a03e0054f7122","datavalue":{"value":{"text":"Non-embeddable simple relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272140$C4AFF3C5-DFA1-4287-BEBB-DE29130B2640","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31c3e62df85e513c072038a15c4b47853b896830","datavalue":{"value":"0903.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272140$B0113AF7-4CDA-46D8-B9B8-9099A4BB5EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272140$B593632C-9B9B-41BC-AE0B-09D3B6C99D1D","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":"Q1272140$8193C727-2A3D-496B-AFDE-EA4F934FBC47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272140$D80016D7-48C9-4133-A2AC-673C89215228","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5f412f3b7b71f6cb173480c8930d694e6e917b4","datavalue":{"value":"The authors try to solve (at least partially) some of the long standing problems in relation algebras. In a simple relation algebra, every element satisfying a certain condition is an atom. The question is if also the converse statement is valid. The authors give the solution in the negative. B. J\u00f3nsson proposed to find all finite simple relation algebras without simple proper extension. The authors show how to construct them in a particular case. They answer positively the problem whether there is a countable simple relation algebra that cannot be embedded in a one-generated relation algebra and solve a similar problem for \\(k\\)-generated simple relation algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272140$2FABB438-62F3-414E-8C82-802120AEDC39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272140$BB57F489-66B0-4986-BA77-6AAFA23898B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272140$5DD2AF47-364B-417A-88DE-92F50AA761CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2b693d0a22d77d86d5008e5872460dbaeb1bb0","datavalue":{"value":"1226229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272140$C0EF0D76-3450-4E44-8FD5-D2427072DE70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272140$E1CEB12E-5E26-4B6D-814D-739F61FF4BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a61c46b8798a46f2b7051d8d199a151bae84e94b","datavalue":{"value":"proper extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272140$AAF86A14-5EB7-4C15-BA08-D2A07EA724E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272140$4C67DA77-76C7-49D9-8957-2F159EEC9F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1eed0fbdc61a76fe21e16bd510de24f17f185a","datavalue":{"value":"simple relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272140$B92B450C-9E4A-4B29-913D-0D90D1B5C16C","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":"Q1272140$94C8B3A9-7C9E-4A6B-8B07-6AA28E402F4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30105c40759be5f051c8169afd1dfdd637eca154","datavalue":{"value":"https://doi.org/10.1007/s000120050041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272140$9B0E9409-D3FD-42CE-AECA-AF1A3297FAB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbd284ce6f4045cecaaaa61c73aaac353b2c82c3","datavalue":{"value":"W2085230603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272140$096A50D4-EDD9-4A45-9B8C-8A16755AF56D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7632fa3a7c483b5a31689f2274c66ec742d39d1e","datavalue":{"value":"10.1007/S000120050041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272140$6787D655-03DA-405C-AB75-F1C553FCD8EB","rank":"normal"}],"P1643":[{"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":"91c32b59c95456c188c01fdce4f6bf734975eb7d","datavalue":{"value":{"amount":"+0.7836211919784546","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":"Q1272140$B6A3ED22-C748-428C-9608-18451703572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be62957f7d7c6b9bfdc864ca7d4608737f69cde3","datavalue":{"value":{"entity-type":"item","numeric-id":2577687,"id":"Q2577687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea98440a730293dd7f308af9d802108e59f98f7","datavalue":{"value":{"amount":"+0.7822859287261963","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":"Q1272140$65321ACF-2018-4C48-9DC4-B81A89118909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e336f938ef658399391b1f513bed1715c9cd0e1","datavalue":{"value":{"entity-type":"item","numeric-id":3632521,"id":"Q3632521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4463af6d800bb861db0be6502c8a4aea01c82bc","datavalue":{"value":{"amount":"+0.778181791305542","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":"Q1272140$C5A4F3EF-F2A9-4B4A-BE95-9457CB26E955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522b2aa71bfc31f2d88f0a8453bbbad81f21ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":4293503,"id":"Q4293503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e1b8a14b8224f6b090b803b4c8593a3d3d177e","datavalue":{"value":{"amount":"+0.7742587327957153","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":"Q1272140$D73A265A-882E-48B3-B0B8-6B0478A51218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-embeddable simple relation algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-embeddable_simple_relation_algebras"}}}}}