{"entities":{"Q7361756":{"pageid":31520807,"ns":120,"title":"Item:Q7361756","lastrevid":105423827,"modified":"2026-10-08T13:45:46Z","type":"item","id":"Q7361756","labels":{"en":{"language":"en","value":"Relation Algebra"}},"descriptions":{"en":{"language":"en","value":"AFP entry Relation_Algebra"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53651c4e01fe22ca50eac10d27116b4ecd0de3cf","datavalue":{"value":"https://isa-afp.org/entries/Relation_Algebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361756$D3ED1A3D-9057-49AF-9AEF-9D94F3C8F73E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a4dbfcbe3ae3d36e41d2050bf2f236247628049c","datavalue":{"value":"Alasdair Armstrong","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361756$EDAE218C-B200-4F70-80EF-80B9B3B5CE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c9ddb9cb8edac3e4e3079ad62f4b03206fa5cc4b","datavalue":{"value":"Simon Foster","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361756$34596E8F-64CE-4689-AC75-780F53F6B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361756$3C9B70F5-A04C-487E-A3DE-A635F36E49AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2f854883aaf7cde2ebd962b9b518c74b730cb624","datavalue":{"value":"Tjark Weber","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361756$C69F9F6D-4BBD-42FC-9B71-A0C04870A957","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bbb7f09b4a4410659c087538a9ba575832714de","datavalue":{"value":"Tarski's algebra of binary relations is formalised along the lines of the standard textbooks of Maddux and Schmidt and Str\u00f6hlein. This includes relation-algebraic concepts such as subidentities, vectors and a domain operation as well as various notions associated to functions. Relation algebras are also expanded by a reflexive transitive closure operation, and they are linked with Kleene algebras and models of binary relations and Boolean matrices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361756$3AEA8BF3-F2D8-4059-BAB3-FCF3CC8467F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c21563ebfe4989a0c68d86523017377bbcfc1cb","datavalue":{"value":{"entity-type":"item","numeric-id":406433,"id":"Q406433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$1ACC00F4-A2D7-4039-AA27-8A89A5C439B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$9B831732-3B3B-4387-AE3C-00B1A6521787","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":"Q7361756$119C470A-AFFA-4DC1-9DAD-4727DEB105A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b3d66a0befc5c3b7b3d8c75e1b88bb53204c048","datavalue":{"value":{"time":"+2014-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361756$54B16735-1D3E-4D3B-9A23-7AA032749A9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b3d94100abd535ddb8b3798761975dbae7228be","datavalue":{"value":{"text":"Relation Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361756$753C37FB-4E48-4B00-BB3A-27BBBE1222FD","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$BA6B66EB-718A-49CD-AA78-1084628618F3","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b1cb988fa001fdc76ae94cba69a4ea7c1fdb0613","datavalue":{"value":{"entity-type":"item","numeric-id":7361763,"id":"Q7361763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$ADB76AD0-7FAF-4466-8310-381DA12D1356","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$8F29FCDD-ED2A-4D50-B0EE-9E361997C13A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$FCBCA92C-2D92-4895-A5B3-641E62F4CD70","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a31f82cbeb7063ff8cb011475f24f50d59ae4b32","datavalue":{"value":"32202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361756$A931730D-023C-4DA9-96A3-F74674DA0DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361756$62216901-6092-4ACD-9446-3C5C660BD367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361756$4CEDAFC2-D544-46F6-922E-FC104FD72FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361756$05264893-CCB4-49AD-821B-D92F347A662C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$5823839C-2425-42CB-8EE7-CB262C59C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$5941B8C8-3BDC-4C06-A736-3B9CE182A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$E76DA987-9F31-4A58-B5A7-248BAF0A57DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3780eee939d0a6e96d45e65c74bed949cc1565b3","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$B94CA7DD-5B58-4347-8847-949C024D0B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$01461979-8682-4CA6-80D3-0BF68D84525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$6909C6BF-5C29-4F30-BF11-8F6A83724768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$4F712DFE-9E3E-4CA9-B83E-6FC0A613DD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c40ffea6bb23c071d9036451e5684911d5c616f6","datavalue":{"value":{"entity-type":"item","numeric-id":40314,"id":"Q40314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$4B514CE0-7234-4A62-9687-07EC38F4EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$A2D37029-16CD-4A27-A250-3B4A981F9335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f081e6863b0b9d56e3a290722c410872b11e31c6","datavalue":{"value":{"entity-type":"item","numeric-id":40313,"id":"Q40313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$027F7083-73F7-4510-896C-935EA0F9BD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"19a1cbcc476dbd063d0f87a8b1e3e6d8a5676121","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$B003467E-9E8B-4100-A246-5A402DBC5CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$0D78E6D2-1435-4D8F-B09C-D636A0888664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$FEC0B275-0025-443C-878A-80F1124B1077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361756$27914AB8-DC66-487C-9187-CE2D8272289B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relation Algebra (AFP entry Relation Algebra)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relation_Algebra_(AFP_entry_Relation_Algebra)"}}}}}