{"entities":{"Q1913874":{"pageid":1924616,"ns":120,"title":"Item:Q1913874","lastrevid":69275445,"modified":"2026-04-13T05:55:19Z","type":"item","id":"Q1913874","labels":{"en":{"language":"en","value":"Axiomatization of identity-free equations valid in relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883421"}},"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":"Q1913874$CB7737F1-721E-4835-864E-13EF37B422E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"874fa96d002c8a730673a8299199a8b939ef4e5c","datavalue":{"value":{"text":"Axiomatization of identity-free equations valid in relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913874$70105EC3-73ED-4ECA-85B2-25B50D27F17C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2e259d0a7617ef66db8b5845efb1eb292391cd1","datavalue":{"value":"0852.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$3137FC4E-FBBB-4529-8184-1A11F47B2282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"858128c64583a00d1f3e981b8755374628bea287","datavalue":{"value":"10.1007/BF01195500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$D2D6F93B-342C-460B-9CC6-DBA3AC603846","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":"Q1913874$CFA1AFE7-CCDD-44EF-A1A5-C66425153C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b708c1ef123d2022be1d9c45e421bc9f0d502ad0","datavalue":{"value":{"time":"+1996-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913874$848AAFEA-2BFC-4138-BA0B-0B9CD1AEF90F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81777ca4788a3602bab34551fbb70d6e942f786b","datavalue":{"value":"Two new finite axiom systems are given for the identity-free equations valid in a relation algebra. They consist of the identity-free axioms of a relation algebra (i.e., the axioms distinct \\(x\\circ 1'= 1'\\circ x=x\\)) and one of the axioms \\(x\\leq x\\circ ((y^\\cup \\circ y^-)^- \\cdot (y^{-\\cup} \\circ y)^-)\\), \\(x\\leq x\\circ ((y^\\cup \\circ y^-)^- \\cdot (z^\\cup \\circ z^- )^-)\\); the latter axioms cannot be replaced by \\(x\\leq x\\circ (y^\\cup \\circ y^-)\\). This answers problems raised by Tarski and J\u00f3nsson.    Further, let \\(\\text{RRA}^{\\circ,\\cup}\\) be the class of all algebras of binary relations, up to isomorphism, whose operations are the Boolean ones, relation composition and the operation of taking converses, and let \\(\\text{RRA}^\\circ\\) be defined similarly but without the operation \\({}^\\cup\\). Then \\(\\text{RRA}^{\\circ, \\cup}\\) is finitely axiomatizable over \\(\\text{RRA}^\\circ\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913874$ED02A187-CE9C-45EA-B8D0-C516EF395207","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$8F5C6160-4754-4F6C-A8D2-A469F9FCF17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$0D56ADA3-85AF-4ACB-B5EB-5C7D03D29E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0743d6e949f2dd1cd67614e444d853fa3884fb35","datavalue":{"value":"883421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$F039ADAF-77C4-4441-85DA-D8EAC3677252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3e3f35c16d9b28b190fb6548cf789919385c6","datavalue":{"value":"finite axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913874$2D18EEE9-A371-4754-BC98-FA84C67B90B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c0e4726db0067682966c42323883c26b7943bdf","datavalue":{"value":"identity-free equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913874$0251E931-1049-4A2E-9AA5-D0AEB1ACEB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913874$F47790D7-E951-4BD7-9841-5217A15E5704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29b665dfa39d0a4996709ead335ef5e11707f09","datavalue":{"value":"algebras of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913874$D8E6A6C3-BB8E-4F23-ACF9-44C8AAF4D335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$070CFCA7-C190-4E37-90D9-4056AD8C8CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$74FC5E4A-3DB3-46D0-A1EA-60FBEF7D1D49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$25CD6CFD-9062-47DD-B597-9DBA961BB8A2","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":"Q1913874$65E104D9-C29A-4DFF-B88A-4911CE775983","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74cd7c5457db722908d574caccc3e11b9e1ee658","datavalue":{"value":{"entity-type":"item","numeric-id":4858815,"id":"Q4858815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$C8796E5C-9F2A-4185-AA8B-57902B9F6162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$3AF4C9F1-250F-4EA6-9E64-63DF80CD2795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e23ad56a43df40743e092e0c111baba0f660359","datavalue":{"value":{"entity-type":"item","numeric-id":1902548,"id":"Q1902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$1F56FE08-1813-4A82-833B-F84FF5F77E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$EA46C25E-A253-4721-83E8-28E804EA5C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8361fdc8ecf2d3b24d04b76e52798969e4b254f9","datavalue":{"value":{"entity-type":"item","numeric-id":3708022,"id":"Q3708022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$C0705295-6DC3-42A2-958F-86DC8C8AB7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db4775565adf80964d422a92037fe6d6a70156","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913874$4DE785DE-1ED5-431B-87A1-DEC00B405853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e1844e1d39aa626ffb520cd19643c83b2a82d55","datavalue":{"value":"https://doi.org/10.1007/bf01195500","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913874$92CDA490-3122-4FDA-9520-4C9DAC9EFF2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40bdda06e9a6c6b0a8e7434bc50965525e2f8738","datavalue":{"value":"W1487689712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913874$64339304-CD40-4EEF-AF78-1833A77ED7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c897ede056161a5ee85bbe0dec776fa071d3469","datavalue":{"value":{"entity-type":"item","numeric-id":4000536,"id":"Q4000536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2354fa728ba2706c91fd0788e60ae6f8fb7225","datavalue":{"value":{"amount":"+0.90661794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$4E4DD6D9-A4A5-4418-9E47-BCAB77CCC2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f70f05f6363bbca8105322baa9de15d45a47246","datavalue":{"value":{"entity-type":"item","numeric-id":2289091,"id":"Q2289091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47e12048f180cd599cf6c77981ae08ea28392b0","datavalue":{"value":{"amount":"+0.9049972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$FFCD5F18-0A5B-4871-8F3F-A9CF18CFBF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542061c5c55c836eaf98ce162ee67d77de77f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a88469b684730b95b2b2fefa6f2e9b7b99ac03","datavalue":{"value":{"amount":"+0.9045961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$40F483BA-A898-42F6-B85B-CDC08386B541","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":"27ef33c177672d71a768cd65be23f99d989386c7","datavalue":{"value":{"amount":"+0.9016572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$479B5559-457E-4416-9D41-272EF4EC35D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00933d78e4f60e1da76ba854c8534fc795481b39","datavalue":{"value":{"entity-type":"item","numeric-id":1866804,"id":"Q1866804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b3e7e3222b1213d06000a966df122eaceb661b","datavalue":{"value":{"amount":"+0.89332426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$56891BAC-C5D5-462F-9F12-A9E519A673DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f179001887e474363021c8fa71b730627e6d2d26","datavalue":{"value":{"entity-type":"item","numeric-id":4273431,"id":"Q4273431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d366abfd932fb0fba3e5d06deb573cd9c0be9e0","datavalue":{"value":{"amount":"+0.8903726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$45B6ED7A-9F66-42C6-B905-FC3F1BF47E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e5847b6826d77a41840d4776731efe8ed2fb7f","datavalue":{"value":{"amount":"+0.8881243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$01CE070B-F0CE-4C32-81FC-B80F335ACDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7b26c89f070c5809dd17dd8dc469d568d7745e","datavalue":{"value":{"entity-type":"item","numeric-id":4943493,"id":"Q4943493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9848460d7a39ea02514a82f05c93da0fba9993e3","datavalue":{"value":{"amount":"+0.88801396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$F7E48B0C-CEF1-44F7-B7D0-B77CD4DB770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44eee85d45d7b70956bb9fea6479928d638f9dc","datavalue":{"value":{"amount":"+0.88054276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$D9FA4DB1-2AAE-44D7-8366-D84150D0208F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830eb0cd341f3c625e8f3be0a8b640489eeb53ca","datavalue":{"value":{"entity-type":"item","numeric-id":3222193,"id":"Q3222193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5735b52d88013ed77720282c81b5b35b89fac631","datavalue":{"value":{"amount":"+0.8804642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913874$E998937E-DFDE-43B1-8A0A-95E136F63134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of identity-free equations valid in relation algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_of_identity-free_equations_valid_in_relation_algebras"}}}}}