{"entities":{"Q2655232":{"pageid":2665975,"ns":120,"title":"Item:Q2655232","lastrevid":50884766,"modified":"2026-01-15T14:14:56Z","type":"item","id":"Q2655232","labels":{"en":{"language":"en","value":"Bifunctional-elementary relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5661822"}},"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":"Q2655232$B6EFD453-7624-4B70-8D19-A8F2E7979A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf1f0589c597d659d116ef76bac9acb076bd4d0","datavalue":{"value":{"text":"Bifunctional-elementary relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655232$8A40AF5C-A1B0-4525-B685-6B899AE3D1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c37cb4e90e1b14561a4efa89a14c017d2d01d96","datavalue":{"value":"1201.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655232$F4A7F6F0-E097-4163-8BD4-D3FF1A1424B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78b8fdb8b5a736e9dc42473bb053dd7ac5e5175","datavalue":{"value":{"entity-type":"item","numeric-id":591989,"id":"Q591989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655232$1F6A2E9A-4F3D-4129-99EF-9B63F8C05E46","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":"Q2655232$3D9BA93B-785D-4052-903A-198D77484BC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56108a6e6402a05fe4c8d4db81407fa1f0c076f","datavalue":{"value":{"time":"+2010-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655232$0C673C63-DFDF-4299-A888-85B572CE8511","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7ce441a5b614ed6a78fb83627584a840554eb88","datavalue":{"value":"The main theorem of a previous paper by the same author states that an atomic relation algebra is representable if for every atom \\(a\\), either \\(a=a\\mathop{;}1\\mathop{;}a\\) or else (1) there are exactly two atoms below \\(a\\mathop{;}1\\mathop{;}a\\) (namely, \\(a\\) itself and its relative complement \\(a\\mathop{;}1\\mathop{;}a-a\\)) and (2) exactly one of these two atoms is bifunctional. (An element \\(x\\) is functional if \\(\\breve{x}\\mathop{;}x\\leq1'\\) and bifunctional if both \\(x\\) and \\(\\breve{x}\\) are functional.)  The main result of the current paper is that this theorem remains true if ``exactly one'' is replaced by ``at least one'' in condition~(2). It is an open problem to determine whether these results are still true if ``bifunctional'' is replaced by ``functional'' or if condition (2) is simply eliminated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$4149C969-C31C-4B41-9926-A8476AE59BA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655232$4FFBF4D8-8E4C-46BB-863A-DDF8D550B674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a29d233df36ab06f7937a2a2bb4857541c90a0d8","datavalue":{"value":"5661822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655232$C3ADA0C5-6410-413E-8C2F-FC540696499B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$02128C74-9877-4704-9011-F4B8D9296343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6e23f9002e6fd2e9e10cce89be0a65dd90dbe8","datavalue":{"value":"representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$AEDE18A4-531F-448C-AEE8-9406FD8B9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4b8b50b870740b12bca67b2c27c8e865ddf751","datavalue":{"value":"functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$AD175363-1048-4781-BBCB-9767CD0FC945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$97891DD5-6A32-4FEC-B1B2-D54CF9040687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89695b6d473d039d273e81dae8849c93c50a189c","datavalue":{"value":"bifunctional-elementary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$5377100E-3007-486F-AB26-8392315ADCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6676003d50c05e79cf01cd9dfb179df485c4740a","datavalue":{"value":"pair-dense","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655232$3B12E0C9-ACE8-47FC-AFA4-FE3974B83BCD","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":"Q2655232$511BDBB0-D50F-4776-8E4D-09E6DCBBE709","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":"Q2655232$4934345C-A0BE-4D7F-A968-809BFB97DB0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce2f2eeb6e8bcd49d41e06dfe8b0d2e434fa26de","datavalue":{"value":"https://doi.org/10.1007/s00012-009-2121-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655232$EEC4B502-E798-4C4E-8ECC-CBE14AF075A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a4fc249c91d5e3b9b9b9a6cd8047fa9230bd3f","datavalue":{"value":"W1999392476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655232$516A23FA-6D6A-49A1-B044-EF6FAA8E333A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfbf887b411da028b5d0fc01b2bc9c125b7aaf38","datavalue":{"value":"10.1007/S00012-009-2121-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655232$01D654BF-32CC-4065-9D4F-B1504EC2AD1C","rank":"normal"}],"P1643":[{"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":"5b518049f1068f1c510286c8ff42f9124f90c569","datavalue":{"value":{"amount":"+0.8409271836280823","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":"Q2655232$F9791C77-4B64-4DF4-8CCA-A6D33813E760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a046afab6fd3a4dcba3ded53a7560722e8bf3b5","datavalue":{"value":{"entity-type":"item","numeric-id":1762473,"id":"Q1762473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50a679f31cfc0cc7a2707eafe40d4366dd870a0","datavalue":{"value":{"amount":"+0.7965949773788452","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":"Q2655232$68EFA5DC-6CC6-479F-8B8E-9E3A8C0E299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b8bf7765598e48be136b8150734cf851f967c0","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dbb561a2718198ad0de6c0f6cb2a1bf81cee26","datavalue":{"value":{"amount":"+0.7872133851051331","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":"Q2655232$FFAA3180-27F3-4E78-A2AE-4DD65ED2FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ac8fa0b8f047db10a2762bc891fa34c70255a3","datavalue":{"value":{"entity-type":"item","numeric-id":4851408,"id":"Q4851408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b175bdfe25aa2db201c54f82e37a2cc62c1775ad","datavalue":{"value":{"amount":"+0.7720405459403992","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":"Q2655232$3C69BF72-9027-40BC-ACFF-F54809AE413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ddf18ea6ff7e0cbd453b7ae0939547fae11cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1337158,"id":"Q1337158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d454b053a53a62e8fc4cc9f01263cfc66d1c888","datavalue":{"value":{"amount":"+0.7657120227813721","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":"Q2655232$1656C0E1-2B08-424D-8550-AB0B24B66750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655232"}}}}}