{"entities":{"Q7361036":{"pageid":31518647,"ns":120,"title":"Item:Q7361036","lastrevid":105362471,"modified":"2026-10-07T13:34:13Z","type":"item","id":"Q7361036","labels":{"en":{"language":"en","value":"Relational Disjoint-Set Forests"}},"descriptions":{"en":{"language":"en","value":"AFP entry Relational_Disjoint_Set_Forests"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"820818336ab65512d7df334e43216c18e7fcc54f","datavalue":{"value":"https://isa-afp.org/entries/Relational_Disjoint_Set_Forests.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361036$08520293-886B-4256-A92D-45E0CA180A13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361036$DE31A4FB-2A29-46D4-B0DD-465302FD4DE6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361036$29F9A316-B2AF-4087-BACB-BC6CBB00F22C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89bd4978d856e922cfae5e988b34a8d134c6fecb","datavalue":{"value":{"text":"Relational Disjoint-Set Forests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361036$25F58230-1FFB-4120-B066-8A0E55DD6AAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d20cf2aac70ce3109790fa938749c4030a4e652e","datavalue":{"value":"We give a simple relation-algebraic semantics of read and write operations on associative arrays. The array operations seamlessly integrate with assignments in the Hoare-logic library. Using relation algebras and Kleene algebras we verify the correctness of an array-based implementation of disjoint-set forests with a naive union operation and a find operation with path compression.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361036$DF21CCCB-8156-47F2-9424-7B464D3C9C0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa203dde3f84a5d17d5a07d8dbf7491965626e5","datavalue":{"value":{"entity-type":"item","numeric-id":4060428,"id":"Q4060428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$22618E5A-27D4-4A6D-88ED-CA41B6F154FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$58167C74-A724-49EA-AD5F-5D7BBA3ACA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d70b1f56dcaacb863c291b774b196c7702f4e60","datavalue":{"value":{"entity-type":"item","numeric-id":1961862,"id":"Q1961862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$71EF4F87-93E8-44B5-B3B0-380AB805641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b00fbb135f376803d5eb08d289fdbd34b5c680","datavalue":{"value":{"entity-type":"item","numeric-id":4213376,"id":"Q4213376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$855E883B-7534-45D7-A34D-8AE2A16CD0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff23cbdd03ec4dcc13c456677b8b26e6986d97e","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$F3E3CEAC-9705-4E72-9FBC-94CAA2847FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$3F6B68FC-DB86-4341-9CE6-B4B002D07056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8f0b4240ad43b4400a2b1a7057f13444b1e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5337563,"id":"Q5337563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$6CB1C280-DA76-476D-9CD9-C2C11F6957A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0defc28f2aa03c7cac34bf35e27c08ffec9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2455350,"id":"Q2455350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$ABDEF3C2-7A54-483D-9D36-0DA64DE7EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f1737076dc313cc8310424628d232438f7012e","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$A7905118-9366-498B-8B66-1FB08D567A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e5c0dfc7e88ab399409f5268fee9cebac424c","datavalue":{"value":{"entity-type":"item","numeric-id":5098718,"id":"Q5098718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$1CB17ED5-7E1B-46D2-B763-34C1C2165D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c5b7fb11bb0f6de42d5f916f4f1a5abdfdf3b","datavalue":{"value":{"entity-type":"item","numeric-id":1941863,"id":"Q1941863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$CE9C1466-6C11-4732-ADC9-4887E0A21E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$3ABA73BE-08EB-4568-A763-AF6110967F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208653a27c5247866c82a61a72a3ceafb5832607","datavalue":{"value":{"entity-type":"item","numeric-id":1308632,"id":"Q1308632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$047421C6-5D67-4FF6-AD47-2AF97AAA54B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$89AA72E8-60D1-4F26-A6E3-AE2B302857D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c2b438ff41595a3ca675f4a06f2dbbf97d0cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2585204,"id":"Q2585204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$19CA9D49-753A-4133-B78C-FD4B48B5C089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a757a70ab73b8cf6bc0d295854b298f4e2fc55","datavalue":{"value":{"entity-type":"item","numeric-id":1799114,"id":"Q1799114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$43480244-0DC4-499C-930D-BCE1C4616393","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":"Q7361036$2ADE0E06-32CC-4F02-8C82-CDDC33F70F7F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c20c096c2415e2f34f7a5d929e22545b47ec2840","datavalue":{"value":{"entity-type":"item","numeric-id":7361680,"id":"Q7361680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$CB0F34BF-7C6C-4927-A679-89BE016039AD","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361036$406A901A-1532-4543-B8D2-7CDF1C7B9083","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":"Q7361036$A0440B6B-2419-4DCC-AA0B-9EF13C988469","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Disjoint-Set Forests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_Disjoint-Set_Forests"}}}}}