{"entities":{"Q1189893":{"pageid":1200642,"ns":120,"title":"Item:Q1189893","lastrevid":66299007,"modified":"2026-04-12T08:58:19Z","type":"item","id":"Q1189893","labels":{"en":{"language":"en","value":"The origin of relation algebras in the development and axiomatization of the calculus of relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58409"}},"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":"Q1189893$2DE81A52-269D-4E7D-BD28-828DD4B3331B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8efc9edb3548d2844ba9026a5df8648a4c704b4a","datavalue":{"value":{"text":"The origin of relation algebras in the development and axiomatization of the calculus of relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189893$8438F31B-F3D6-4769-A085-F73506193716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d539eb357e6c26577b5c95526a30257bbd8d882","datavalue":{"value":"0754.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$1109A1E3-853D-401C-8BB0-3566614BB2C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec12be43e229dcb34a5c0c1c1bc6dab08022a783","datavalue":{"value":"10.1007/BF00370681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$BE940B0C-A836-4E76-A1C6-9DEBBA6B868B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$D82F641B-30B9-4ABD-8E0C-DDF69EE15504","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189893$CDBB511F-B78A-4477-886D-0CD6DD1B3593","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d67baa2809d3b7cfbcb1b5ad5321ad8a5b3d575","datavalue":{"value":"As the title indicates, this paper is a historical account of the theory of relation algebras, starting with De Morgan and Peirce and ending with Tarski's axiomatization of relation algebras, his solution of most of the natural problems about them, and Lyndon's important contributions. This material is treated in detail, but using the modern notation. The history ends with the 1964 theorem of the reviewer about the non-finite axiomatizability of the class of representable relation algebras. It should be noted that the field is still quite active, with important recent contributions by Maddux, J\u00f3nsson, and many others.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$8B7B6180-CE01-48F7-84C8-957EF511B00F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$1135F022-3FA9-496C-A37B-637AE96BC9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$DBEC0D61-C1BC-4553-A5DD-82548B5B2097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$12BE3EBF-B4B3-4565-9DB4-AEE6C98A7668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8b575de3c8434399a65cf2b0a46fd6445d7e3a6","datavalue":{"value":"58409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$43E89AE6-3756-4A81-A2AF-D10ABD4715DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$68BA32EC-23F3-4FBC-AC05-DB5DE66D8712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d429fbd1573bcdb9ad87db5e84b8c90cb184e2db","datavalue":{"value":"De Morgan","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$3194A35C-5BD6-4D34-BDC5-AD950AE075B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e823d7fa218a3f6c0beb170d4d2a8ab1838caf","datavalue":{"value":"Peirce","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$6BB85F79-2034-498D-99CE-B27B123645C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$5AF3761C-820B-488A-93EE-D6543B03C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6e6fcdeba11cdf1c20fc8c35e3509113e2e1fd","datavalue":{"value":"Lyndon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189893$15F74F59-7AAE-4BD3-8D76-AB206D187FB3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b85be17968ad795488574d646c9d0f449542c73","datavalue":{"value":"Q56686427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$2A1189ED-A947-43A8-B229-AC0A9E92DD65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$3386481D-E5D0-4A20-8750-515186444DBF","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":"Q1189893$EA67EE88-0733-4809-A32E-1D83CF87CFD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5587473df5b99cb5b47c770e3a5aabe218bc77e","datavalue":{"value":{"entity-type":"item","numeric-id":1252242,"id":"Q1252242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$195670DA-1D99-47D5-A08A-582FC8428EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06102ebbcdffeed6a2b7570dfd770a3c5aafaa88","datavalue":{"value":{"entity-type":"item","numeric-id":1154462,"id":"Q1154462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$40676031-A4DC-4DE1-B171-8C213F7D7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5ce86d0c6cce8ee88cdd9ca0b987e0fec1fb8f","datavalue":{"value":{"entity-type":"item","numeric-id":3981951,"id":"Q3981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$DFBC7608-02B0-43BE-824C-B15E1CD991BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$4C2944EA-F2A2-4D93-BAEF-9750A6983944","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":"Q1189893$E52E0471-783E-4251-ACAC-7D5165F87B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$65098BCD-FEC1-4F11-AB8E-ECFAF2F586EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34840df86c87c9142549ad72a38a805922422283","datavalue":{"value":{"entity-type":"item","numeric-id":767129,"id":"Q767129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$69A989C4-DA0C-4FB5-9B87-533D3558EEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$A49A85C3-03DF-4440-82D8-C6DD30CEB7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$371E84F9-7C15-40E9-B0E0-D5A6E2FC7DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64941cc15c570a5744931d5abaf9fb3689924fc","datavalue":{"value":{"entity-type":"item","numeric-id":1246521,"id":"Q1246521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$CEA879F2-4F2C-4BF1-AD0F-32C38B753582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$EE62C7F3-E3C3-496A-AB48-D872B3D31994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c7eac5eac3356a9adfa4e1f105d624c0c345f2","datavalue":{"value":{"entity-type":"item","numeric-id":4205403,"id":"Q4205403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$F31D3E87-F6F8-46CE-B07F-6E94DD687B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189893$0E30AF50-FA88-4847-AE5B-826DAF906C6D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"71eae0f548d9b3180c5619b58f2c8736d0d01918","datavalue":{"value":"journals/sLogica/Maddux91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189893$F49C1890-2128-45FD-835F-2D1DE0D3C44B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafa0e916d2fc3ab42860253d2ca3e2ed74b18ba","datavalue":{"value":{"entity-type":"item","numeric-id":598305,"id":"Q598305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95916b7f183b4e131c9e194f213254ff83e1867","datavalue":{"value":{"amount":"+0.837682843208313","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":"Q1189893$41F68891-57C3-42B4-8DE0-57CF43881FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffe61e6d4df8b3152cfd0616d0901729a8c8532","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c943c321b8c62fbc83fa81bfdd84fcfd87f74b37","datavalue":{"value":{"amount":"+0.8105558156967163","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":"Q1189893$EC13A483-1B6A-4D2B-B765-CE178F2E81F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f62fa47ef46f55e51a7d3b20369f6be9026ab46","datavalue":{"value":{"entity-type":"item","numeric-id":4362875,"id":"Q4362875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b56584bc74421bb374e884db197703107cc840","datavalue":{"value":{"amount":"+0.8096216320991516","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":"Q1189893$04012331-6885-4103-95FD-C578A6B3AB99","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":"1262dfbca2cf591c18959b5bf6f305b78967dc43","datavalue":{"value":{"amount":"+0.8057613372802734","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":"Q1189893$35FED13A-0189-4478-8D85-9B0F8D535DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdde4fe193134e1b68a4d6f2185030672d035ff","datavalue":{"value":{"entity-type":"item","numeric-id":2577714,"id":"Q2577714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e535700ccb9d55ad7d13bab76baa2b49f3c416","datavalue":{"value":{"amount":"+0.7773630023002625","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":"Q1189893$BE2A754A-66EC-4992-8A21-B27748E73A30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The origin of relation algebras in the development and axiomatization of the calculus of relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_origin_of_relation_algebras_in_the_development_and_axiomatization_of_the_calculus_of_relations"}}}}}