{"entities":{"Q43928":{"pageid":43984,"ns":120,"title":"Item:Q43928","lastrevid":105428450,"modified":"2026-10-09T10:09:51Z","type":"item","id":"Q43928","labels":{"en":{"language":"en","value":"Algebraic_VCs"}},"descriptions":{"en":{"language":"en","value":"AFP entry Algebraic_VCs"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b28f0fab746e0d4e5ff7df48b6fd54d7dedf2848","datavalue":{"value":"32217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43928$AC21B4C2-0088-439D-8EAC-52E6F9CAFC7E","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":"Q43928$BC73FDC1-6C7B-4B80-A5FC-33065F7A42DC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"45f72cc4cb92d71cdb52c026701e068964fbb78b","datavalue":{"value":"https://www.isa-afp.org/entries/Algebraic_VCs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43928$264C6AC4-B7E0-4467-A3A5-DEA9A168CBA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43928$7ABACADC-0A84-434C-AA24-A0CC6644C4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43928$6319FDBC-C284-4553-993C-D7C2A6F67366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43928$0276F3B0-4DD3-4981-857D-ACBECE41FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43928$C9596273-FB5C-417E-9BBA-152BA5EA2248","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":"Q43928$56AF2F47-4287-4B16-A59C-1AA3B24736D5","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":"Q43928$FA215684-61C4-418E-B411-7BFAC2D89667","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":"Q43928$B1961213-1937-4918-8C69-973E45A50482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$6D791B73-8F91-4AC5-9AA1-50C3800FB921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$D0466DA4-2D68-4326-A0F1-71B30F5A0F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$9D407A7E-B060-45ED-ADEA-0D6E8AA9AD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf16ca8b4217a77a4217a7973bcd79e35c3e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5974121,"id":"Q5974121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$C6268077-5919-4FF5-AE3A-D07D08134905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37aaa72463d35f8933622cc257886a0465bc696","datavalue":{"value":{"entity-type":"item","numeric-id":5972481,"id":"Q5972481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$BDB3A82F-03A7-4CAF-841D-3E38C049A3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1718a76c81b10dcc81cbdbe69fc8fe178db7b09","datavalue":{"value":{"entity-type":"item","numeric-id":16299,"id":"Q16299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$ACE819A4-11CA-47BC-B17A-18D24412EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$7D43EA7D-7FA5-4586-89A7-C3C8403FE59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09e2993cb5d494a347b340b5a9f971135cd04442","datavalue":{"value":{"entity-type":"item","numeric-id":43942,"id":"Q43942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$B331C7BD-F35C-4990-87E6-DFD3A6651DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deb8ff1d94ce91499b3c889ad52e2af0d30c31a1","datavalue":{"value":{"entity-type":"item","numeric-id":43956,"id":"Q43956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$93919338-AC2C-45E5-906B-E753B5E3007B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"411138fa9472ce40b1eaa8986ea45be52fe481ce","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$F6AE4C9E-83BE-4F54-9D53-7880F8B0FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"255d1eab6148b0a0149f5ba251f819f772375a4c","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$FBD25797-F2AD-4E17-9B54-6A0056322B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c2172a64dbcb79ebade4fc487fb160cecff5b410","datavalue":{"value":{"entity-type":"item","numeric-id":43925,"id":"Q43925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$8AA9B91C-D33D-41C0-8C87-EC3FDC8B5F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$C2E398B8-E8AC-4CA6-9013-A1C5CBC19FE2","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":"Q43928$F7E1F692-6DD1-4E8A-BBB7-0599C104A506","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4171002971269ae923bc537465f6d24bfff5f513","datavalue":{"value":"https://isa-afp.org/entries/Algebraic_VCs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43928$8805C5C2-1613-45E1-83AA-FCB20AC48E69","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"cebadfd7b78bd04e93befe8d7c5151d4488b7f71","datavalue":{"value":"Victor B. F. Gomes","type":"string"},"datatype":"string"},"type":"statement","id":"Q43928$03B1AA38-D7A4-472A-914D-79A309E01D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q43928$7B433385-EE86-4750-A4DB-C1E049DB02F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78a4147215f10ab50a1b13bd3d15f0388137ecb5","datavalue":{"value":"Variants of Kleene algebra support program construction and verification by algebraic reasoning. This entry provides a verification component for Hoare logic based on Kleene algebra with tests, verification components for weakest preconditions and strongest postconditions based on Kleene algebra with domain and a component for step-wise refinement based on refinement Kleene algebra with tests. In addition to these components for the partial correctness of while programs, a verification component for total correctness based on divergence Kleene algebras and one for (partial correctness) of recursive programs based on domain quantales are provided. Finally we have integrated memory models for programs with pointers and a program trace semantics into the weakest precondition component.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43928$FF220F9C-3FC8-407F-B93C-35FCE731BD68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42767904ec698e77bf5ad5a5ca09192ebfa305eb","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$033AF982-2232-4806-A73B-9B0E915DD463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$F93E6DD5-5B2E-4A41-95C2-0B681F7D405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$A92A60DC-1282-4AEC-B9A0-5537C1E497CD","rank":"normal"},{"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":"Q43928$5A384597-EAA9-4E59-84AD-60414E904CA8","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":"Q43928$BDF1BBE6-8C74-4FD7-8B00-8B5C41331BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$3F290042-43F7-4295-9DAE-171F2FB7C17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$76AEDF00-98D1-45CA-826E-9E263E0A969A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$4661B777-C7E6-46B6-8739-E0B6A5F84F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$0C455CE5-B75B-4A7B-82B1-114BA09B7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f96bd7644b87078b54e3f53823b650999a057","datavalue":{"value":{"entity-type":"item","numeric-id":3163399,"id":"Q3163399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$6B830FDE-2610-4CAE-AC97-056955C1BE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$7914C8DE-B49D-4144-A4F1-0AD5D01CC9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$43725277-B6F0-4626-9AB2-81E090CE4796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$B643F6B7-DE63-449B-9206-7A740D5F6BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$4A04BAD5-DC81-439E-9CEF-4A228E2127B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8a6a7f4a099b96912e5cba667c8ca70d007bb8","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$D2059196-FCE8-4751-B1CD-1BBAD3CB0D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$DBF499BB-AD6E-40C0-B326-BD1B5F924CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$4C8D0BB2-66BB-4B9C-A3DC-8359DD498CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11015c2590743aa394d6a0295baf2497e9c917c4","datavalue":{"value":{"entity-type":"item","numeric-id":4749182,"id":"Q4749182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$52D2C673-6B14-40A1-97B9-9D160CA6C12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$19F5ED28-AD0B-49C2-9EBB-A12FE1598B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$F155F819-00B3-4F8D-9D82-E178F40F4373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$E1C806F3-D596-4156-A07E-2054142178B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9b6fee7afc6e55aa83396b5c6df38a519c39df","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$5D45140E-1C08-4368-A813-D24E3FC80D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4736b8f52d3360a8824f86f9655f4169ce694d1a","datavalue":{"value":{"entity-type":"item","numeric-id":1931903,"id":"Q1931903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$7E5B5D34-EBB4-4D53-93C8-8C73E3328DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed2be9418a43957af5bd4e04a6d0289797fc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":903368,"id":"Q903368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$212F0FCE-05D6-4857-8FE4-64F29B08071C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"842345d524917a859fbf25bdbec5eafcad9e81bc","datavalue":{"value":{"entity-type":"item","numeric-id":7361028,"id":"Q7361028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$3AE30282-8966-4069-AAC5-43CA0CC8CE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"422342c3fb34631af5f61097819a09568775a669","datavalue":{"value":{"entity-type":"item","numeric-id":7361454,"id":"Q7361454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43928$7FB62374-348C-417E-A590-E4B1FAAE6A94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e096bb73be3cadbf6ab1a4856c3a6e635fcc69f","datavalue":{"value":{"time":"+2016-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43928$02B1E643-20FD-45F2-B590-80A4A4129CFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a0dec5e40f71e9dfe0eb2fe52e5a8ffd1e580c","datavalue":{"value":{"text":"Program Construction and Verification Components Based on Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43928$F1C3298A-1D69-4F55-B25D-DA67A56BAD43","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":"Q43928$737D6045-2523-42D2-AC89-16A041960B24","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":"Q43928$2AB8F98A-3FBB-47D8-BED0-624EC2270D6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic VCs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_VCs"}}}}}