{"entities":{"Q1337158":{"pageid":1347897,"ns":120,"title":"Item:Q1337158","lastrevid":67186581,"modified":"2026-04-12T15:54:57Z","type":"item","id":"Q1337158","labels":{"en":{"language":"en","value":"Weakly representable but not representable relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 679608"}},"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":"Q1337158$BDAA8300-8C26-4A4E-98BA-9035601FB22E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d684c802847faeb41f76aa6cd940c8fa133eab25","datavalue":{"value":{"text":"Weakly representable but not representable relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337158$ABC7D962-8D08-4170-B659-CE68532AA47A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51e13cd88a0b531f65e495694021ea50b98007ae","datavalue":{"value":"0812.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337158$E5FB09D3-2F6F-441E-B009-1367D193B431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1bc3b1dfc1fab9520f37296bc3498c26a7a4192","datavalue":{"value":"10.1007/BF01190815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337158$BA16E1E8-286C-4B7A-A574-B894C921666F","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":"Q1337158$03B72C6D-59D3-45C5-8701-4F3556E15DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efb570cea52f59e38405d200e1ef7701b11341b2","datavalue":{"value":{"time":"+1995-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337158$60AF643B-7A65-4558-B72D-455098C69EC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d5a6c0230bc840c72f46445fc6a1d9cb726cc0c","datavalue":{"value":"A relation algebra \\((A,+,\\cdot, ^ -, 0,1,\\circ, \\breve{\\;}, 1 {\\text{'}})\\) is said to be representable (weakly representable) if it is representable as an algebra of binary relations, where all of its operations (except perhaps \\(+\\) and \\(^ -\\)) have their natural set- theoretic meaning, i.e., union, intersection, complementation, empty set, biggest set, relation composition, inverse or converse and identity relation, respectively.   The main theorem of this paper states that the class of representable relation algebras is not finitely axiomatizable over the class of weakly representable relation algebras, i.e., no finite set of first order formulas can be added to the axioms of the latter class so as to obtain a system of axioms for the former class. This implies in particular the existence of the algebras in the title of the paper, thus answering a question raised by B. J\u00f3nsson.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337158$693850FB-3EA5-48C4-BB23-B548147695E9","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":"Q1337158$E7509B35-031C-447A-AE8E-24D672C74079","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337158$3C461FEE-ACB5-45E9-8131-E9EA95F61FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fc0b42f1ac641cc48c10bca185ae65a5916bcb2","datavalue":{"value":"679608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337158$2B89DA4E-68FE-454D-B678-A89F9E6175BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337158$D3BE6D6A-9CDD-4D8B-BD0C-5792BCFBCF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6e23f9002e6fd2e9e10cce89be0a65dd90dbe8","datavalue":{"value":"representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337158$92B2D65A-ED53-4030-B9EE-1970EBCB6FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dfe84f35ff036b1b161de53124c8cfebc7b8a76","datavalue":{"value":"weakly representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337158$FCD2AE94-0E39-4483-8090-A0B678334BC1","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":"Q1337158$02176C32-02FB-4288-84C7-F73DED4D38AE","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":"Q1337158$936D621D-3FD9-4B4E-B0DF-32679940518D","rank":"normal"}],"P223":[{"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":"Q1337158$48939CA8-3584-4702-A969-AEAA2F727C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb482495bd818d91ed852c98ed706e7f498dfce","datavalue":{"value":{"entity-type":"item","numeric-id":1913874,"id":"Q1913874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$C69BE2E4-74A4-4893-88DA-7041E0FFAD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3089399d36a7bbc48ab2d19e8bf56dc79deee","datavalue":{"value":{"entity-type":"item","numeric-id":5847742,"id":"Q5847742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$0733F0E6-1539-451E-82C2-AE88FA64C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$7C0E6932-7D5F-4FD0-BADE-4E174B704924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$16F1324F-05D0-4D9B-B2C7-AA46023F91BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$EF68A1B2-0AF1-4851-A2C1-13EF815E70DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$70810CF1-EF12-46EE-AB2A-041135C27829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337158$565B4DEA-A83E-49A2-8078-C2F8CF49E5DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67108872922d4635381b269f73a7a670f35a34cf","datavalue":{"value":"https://doi.org/10.1007/bf01190815","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337158$46C5A74A-CA8E-406D-87AD-A66E538F9584","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"299d10438f16a5c2db0800c88e4ccdf57a12decb","datavalue":{"value":"W160358036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337158$0E6CA5E1-14F1-4F57-B126-6F461EA3E0B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024e7ff63d910d37903a69bbb56248784839864","datavalue":{"value":{"entity-type":"item","numeric-id":3173530,"id":"Q3173530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4db80da0e5e6dd1f29704a2f6ec7193332252d3","datavalue":{"value":{"amount":"+0.8547449111938477","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":"Q1337158$5AFF3212-57E1-42FB-B956-D86850726345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98da3f5a8e589d78ffcbcc4dd007a37496ef25b7","datavalue":{"value":{"entity-type":"item","numeric-id":2655229,"id":"Q2655229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52fe5c97c50cfe0ecff52971e34b8e885e87c54","datavalue":{"value":{"amount":"+0.8467775583267212","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":"Q1337158$876FCB11-33E1-44EB-93C2-238F0158EF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e0f900a39d4aa1500b350941062511286dd5d9","datavalue":{"value":{"entity-type":"item","numeric-id":2474097,"id":"Q2474097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f3e6d15fd1ed9d22880ef2d0b7791fe79b5f9","datavalue":{"value":{"amount":"+0.8467663526535034","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":"Q1337158$6951C49E-1224-481D-9FDA-05CD14FB5973","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":"b4680551734b3dfccc2a7b89e38433ad49b34f11","datavalue":{"value":{"amount":"+0.8431307673454285","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":"Q1337158$0E5A574F-2555-4104-8DC8-25834721B176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd741fa77db98e25ef6f5483fa3d44f625ba38f","datavalue":{"value":{"entity-type":"item","numeric-id":3506327,"id":"Q3506327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8a7d56be9b8a7a30a7a5e3b5a9994aed39dbfc","datavalue":{"value":{"amount":"+0.8427363634109497","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":"Q1337158$4FA7FE45-C438-4B17-BCF6-32DCC2F74782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly representable but not representable relation algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_representable_but_not_representable_relation_algebras"}}}}}